On Thu Jul 2, 2026 at 10:38 PM WEST, Jason Merrill wrote:
>> Is can_convert_eh meant be a canonical type-level [except.handle]
>> predicate, or is it diagnostic approximation?
>
> It's only been used for diagnostics, but it's better for it to be
> accurate, I think it just never got updated.
>> Also, I wasn't sure what tests I could add with this patch (maybe some
>> extra caught diagnostics because of the addition?) so I didn't attach
>> any new test.
>
> Yes,
>
> try { throw nullptr; }
> catch (void*) {}
> catch (decltype (nullptr)) {}
>
> should warn in check_handlers_1.
Ok, I'll submit a v2 later.
Egas
