@Stephane Most likely your case can be emulated with General type projections through match types though I think it would be a good idea to make general type projection syntax type check as if such a match type was used.
1 Like