matthewjasper

Results 4 comments of matthewjasper

Recursive solver reports ambiguity

This seems to be a general issue with how chalk handles elaborating environment clauses. The second test case here shows this best, there are two different FromEnv traits that are...

Impl auto traits for builtin types

#638 handles opaque types

match lowering: handle or-patterns one layer at a time

Sorry about taking so long on this r? @matthewjasper @bors r+

match lowering: don't collect test alternatives ahead of time

@bors r+