Sam Buercklin

`f` does not satisfy the interface for the same reasons above.

No, the interfaces defined by ``` @implement Is{Foo} by f(_, x) ``` vs ``` @implement Is{Foo} by f(_, ::Any) ``` are distinct. If you need a more strict interface than...

Thanks for checking in :) I'm happy to see #52385 is getting resolved, having a bottom type and being able to make `Tuple` types with it is quite useful. Unfortunate...

I can take a shot at this in a day or two, but a potential resolution, at least for the checker, looks like it would be to sort the `pairs`...

I opened an issue for the break on 1.10 on this repo, it's related to a bug in 1.10.0 and there's a stopgap fix in that issue As for replacements...

I just learned that `Negative{TraitType}` is the default trait applied to all types when we implement a new trait. With this in mind, my use-case is satisfied and I am...

It's been long enough and I'm no longer working on the project where I was trying to do this that I don't remember exactly what I was trying to accomplish....