Laurențiu Nicola d03cfe141c Add test from #7273		2021-02-21 19:22:14 +02:00
..
diagnostics	Update fixed tests	2021-02-10 14:48:52 +01:00
infer	Put the old resolver back	2021-02-10 15:12:45 +01:00
tests	Add test from #7273	2021-02-21 19:22:14 +02:00
traits	Update crates	2021-02-08 11:38:51 -05:00
autoderef.rs
db.rs	Remove map module from la-arena public API	2021-01-15 11:14:04 +11:00
diagnostics.rs	Add test	2021-02-20 12:43:52 +02:00
display.rs	Don't write trailing whitespace when formatting empty GenericPredicates	2021-02-20 20:43:04 +01:00
infer.rs	Make ModPath's representation private	2021-02-04 20:49:24 +01:00
lib.rs	Wrap BuiltinType in code model	2021-02-11 19:52:33 +01:00
lower.rs	Don't lower TypeBound::Lifetime as GenericPredicate::Error	2021-02-20 19:08:20 +01:00
method_resolution.rs	Check for dyn impls in method resolution	2021-02-08 19:13:54 +01:00
op.rs
primitive.rs
test_db.rs	Create all ModuleIds through a DefMap method	2021-01-25 15:21:33 +01:00
tests.rs	Make ModuleId's krate field private	2021-01-22 18:09:55 +01:00
traits.rs	Upgrade Chalk	2020-12-07 11:48:58 +01:00
utils.rs	Higher-ranked trait bounds for where clauses	2020-12-17 22:01:42 +01:00