Anthony Latsis 58fa8bf762 RequirementMachine: Diagnose unsupported value generic parameter definitions properly ...

The flow was such that we recorded subtype constraints regardless of the
subject type's nature. Extract value generics handling out of the
devious `else if` chain, and never record any subtype constraints if the
subject type is a non-type parameter.

While we're here, generalize the diagnostic message for user-written
subtype constraints on value generic parameters and emit it
consistently, not just if the right-hand side contains a protocol type.

2025-10-08 02:13:03 +01:00

14 KiB

Raw Permalink Blame History

View Raw