Jonas Schievink 5c241b0766 Create all ModuleIds through a DefMap method ...

`ModuleId` needs to be able to represent blocks, and only the
associated `DefMap` will know how to construct that `ModuleId`

2021-01-25 15:21:33 +01:00

..

diagnostics

Update tests to register the required standard library types

2021-01-23 07:40:25 +00:00

infer

Handle box with allocator

2021-01-22 13:50:23 +01:00

tests

Handle box with allocator

2021-01-22 13:50:23 +01:00

traits

Make ModuleId's krate field private

2021-01-22 18:09:55 +01:00

autoderef.rs

…

db.rs

Remove map module from la-arena public API

2021-01-15 11:14:04 +11:00

diagnostics.rs

Update tests to register the required standard library types

2021-01-23 07:40:25 +00:00

display.rs

Make ModuleId's krate field private

2021-01-22 18:09:55 +01:00

infer.rs

Remove map module from la-arena public API

2021-01-15 11:14:04 +11:00

lib.rs

Make ModuleId's krate field private

2021-01-22 18:09:55 +01:00

lower.rs

Make ModuleId's krate field private

2021-01-22 18:09:55 +01:00

method_resolution.rs

Make ModuleId's krate field private

2021-01-22 18:09:55 +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