Florian Diebold f126808b2e Fix handling of binders in canonicalization ... I'm looking forward to getting rid of this in favor of Chalk's implementation.		2020-02-22 11:09:21 +01:00
..
coerce.rs	Implement unsize coercion using proper trait solving	2020-02-22 11:09:21 +01:00
expr.rs	More manual clippy fixes	2020-02-18 16:12:37 +02:00
pat.rs	Fix handling of const patterns	2020-02-21 17:01:19 +01:00
path.rs	Run cargo +nightly fix --clippy -Z unstable-options	2020-02-18 16:03:08 +02:00
unify.rs	Fix handling of binders in canonicalization	2020-02-22 11:09:21 +01:00