roc/crates/compiler/solve
Folkert de Vries 860df057dc
Merge pull request #3600 from rtfeldman/i3298
Various improvements to is-open constraints/catch-all branches in patterns
2022-07-23 12:49:35 +02:00
..
docs Use strict unification of vars in unspecialized lambda sets right now 2022-07-06 13:08:58 -04:00
src Merge pull request #3600 from rtfeldman/i3298 2022-07-23 12:49:35 +02:00
tests Apply is-open constraints to nested types 2022-07-22 12:57:27 -04:00
Cargo.toml Use insta for inferred queried tests 2022-07-18 17:55:02 -04:00