[Bug c++/97995] [8/9/10/11 Regression] ICE tree check: expected tree that contains 'typed' structure, have 'deferred_noexcept' in unify, at cp/pt.c:23473 since r7-4383-g51dc660315ef83dc

[rguenth at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97995

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
> clang++ t.ii
t.ii:5:16: error: no matching function for call to 'bar'
static_assert (bar (foo<S>);
               ^~~
t.ii:4:6: note: candidate template ignored: couldn't infer template argument
'b'
void bar (void (A...) noexcept (b));
     ^
1 error generated.