https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95675
--- Comment #4 from Patrick Palka <ppalka at gcc dot gnu.org> --- Here's a non-template testcase that ICEs from the same assert in build_over_call (with -std=c++17, --enable-checking=yes): struct b {}; b operator|(b, b) { return {}; } b e, f, g; using h = decltype(e | f | g);