https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101620
Patrick Palka <ppalka at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |ppalka at gcc dot gnu.org --- Comment #2 from Patrick Palka <ppalka at gcc dot gnu.org> --- I don't think this is strictly a concepts issue, here's an analogous C++98 accepts-invalid testcase: struct A {}; struct C : A { static C p; int m[sizeof(static_cast<const A&>(p))]; }; Not a regression AFAICT.