Re: Potential enhancement to type checking extensions

[MG]

@Both potential tweaks that I looked at did use the more general 
approach: Assumed as much, just wanted to emphasize this, before I 
argued that maybe we don't need this at all.
I think my argument holds for the more general example you (or Scala) 
gives, I don't know if this is worth the effort, it still seems like an 
academic problem to me.

Cheers,
mg

On 01/05/2024 23:37, Paul King wrote:
if this is to be supported, I would still argue for the more general approach.
Both potential tweaks that I looked at did use the more general approach.