https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124381
--- Comment #1 from Alex <waffl3x at gcc dot gnu.org> --- I believe we should do a minimal fix while we wait for final wording. It is clear that annotations will not become a part of the immediate context, we shouldn't be treating them as such at the moment. Specifically, I propose that in the above example we should be calling f<char>(char) instead of f(int). This is surprising behavior, and the spec is clear that this is wrong. I don't think we should do the wrong thing because we aren't sure when an error will be emitted.
