https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108542
--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The trunk branch has been updated by Jason Merrill <ja...@gcc.gnu.org>: https://gcc.gnu.org/g:68c5d92a1390ecccb61d3600a95eeff6caf7ccdf commit r13-6568-g68c5d92a1390ecccb61d3600a95eeff6caf7ccdf Author: Jason Merrill <ja...@redhat.com> Date: Thu Mar 9 17:22:46 2023 -0500 c++: overloaded fn in contract [PR108542] PR c++/108542 gcc/cp/ChangeLog: * class.cc (instantiate_type): Strip location wrapper. gcc/testsuite/ChangeLog: * g++.dg/contracts/contracts-err1.C: New test.