Florian Diebold 6c32bbf3ca Separate Ty and TyKind like in Chalk ... Currently `Ty` just wraps `TyKind`, but this allows us to change most places to already use `intern` / `interned`.		2021-03-13 16:17:15 +01:00
..
diagnostics	Separate Ty and TyKind like in Chalk	2021-03-13 16:17:15 +01:00
infer	Separate Ty and TyKind like in Chalk	2021-03-13 16:17:15 +01:00
tests	Check ancestor maps when computing traits in scope	2021-03-09 18:27:23 +01:00
traits	Separate Ty and TyKind like in Chalk	2021-03-13 16:17:15 +01:00
autoderef.rs	Separate Ty and TyKind like in Chalk	2021-03-13 16:17:15 +01:00
db.rs	Make two calls virtual	2021-03-05 20:25:24 +02:00
diagnostics.rs	Prefer names from outer DefMap over extern prelude	2021-03-10 16:33:18 +01:00
display.rs	Separate Ty and TyKind like in Chalk	2021-03-13 16:17:15 +01:00
infer.rs	Separate Ty and TyKind like in Chalk	2021-03-13 16:17:15 +01:00
lib.rs	Separate Ty and TyKind like in Chalk	2021-03-13 16:17:15 +01:00
lower.rs	Separate Ty and TyKind like in Chalk	2021-03-13 16:17:15 +01:00
method_resolution.rs	Separate Ty and TyKind like in Chalk	2021-03-13 16:17:15 +01:00
op.rs	Separate Ty and TyKind like in Chalk	2021-03-13 16:17:15 +01:00
primitive.rs	Use chalk_ir::Scalar directly	2021-02-28 11:06:37 +01:00
test_db.rs	Create all ModuleIds through a DefMap method	2021-01-25 15:21:33 +01:00
tests.rs	Remove ItemTree::source	2021-03-12 23:54:29 +01:00
traits.rs	Separate Ty and TyKind like in Chalk	2021-03-13 16:17:15 +01:00
utils.rs	Stop using ContainerId in AssocContainerId	2021-03-09 18:27:23 +01:00