https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79759
--- Comment #2 from Tom Honermann <tom at honermann dot net> --- This looks to be directly related to the following reports: - Bug 80746 - [concepts] ICE evaluating constraints for concepts with dependent template parameters - Bug 67147 - [concepts] ICE on checking concept with default template arguments