https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120049
--- Comment #26 from anlauf at gcc dot gnu.org --- Have you tried to move some of the checks *after* the resolution stage? The checks in check.cc are invoked rather early. Maybe look into trans-intrinsic.cc (conv_isocbinding_function)?