https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113644
--- Comment #6 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Patrick Palka <ppa...@gcc.gnu.org>: https://gcc.gnu.org/g:af37bef86199e50368cbfbc97befe0622a07f12f commit r14-8630-gaf37bef86199e50368cbfbc97befe0622a07f12f Author: Patrick Palka <ppa...@redhat.com> Date: Tue Jan 30 10:13:41 2024 -0500 c++: unifying integer parm with type-dep arg [PR113644] Here when trying to unify P=42 A=T::value we ICE due to the latter's empty type, which same_type_p dislikes. PR c++/113644 gcc/cp/ChangeLog: * pt.cc (unify) <case INTEGER_CST>: Handle NULL_TREE type. gcc/testsuite/ChangeLog: * g++.dg/template/nontype30.C: New test.