Florian Diebold e4add45951 Fix #2467 ...

The stand-alone `unify` requires that the type doesn't contain any type
variables. So we can't share the code here for now (without more refactoring)...

2019-12-03 15:01:23 +01:00

..

infer

Fix #2467

2019-12-03 15:01:23 +01:00

tests

Move Ty

2019-11-27 21:16:00 +03:00

traits

Extract built-in trait implementations to separate module

2019-12-03 12:30:50 +01:00

autoderef.rs

Move Ty

2019-11-27 21:16:00 +03:00

db.rs

Add cycle recovery for type aliases

2019-11-30 12:57:32 +01:00

diagnostics.rs

Rename Source -> InFile

2019-11-28 12:50:26 +03:00

display.rs

Move Ty

2019-11-27 21:16:00 +03:00

expr.rs

Move Ty

2019-11-27 21:16:00 +03:00

infer.rs

Make unify pub(crate)

2019-12-03 13:58:02 +01:00

lib.rs

Handle cycles in impl types better

2019-11-30 12:57:32 +01:00

lower.rs

Add cycle recovery for type aliases

2019-11-30 12:57:32 +01:00

marks.rs

Move Ty

2019-11-27 21:16:00 +03:00

method_resolution.rs

Fix #2467

2019-12-03 15:01:23 +01:00

op.rs

Move Ty

2019-11-27 21:16:00 +03:00

primitive.rs

Doc primitives

2019-11-26 15:41:48 +03:00

test_db.rs

Rename module_id -> local_id

2019-11-27 21:31:51 +03:00

tests.rs

Fix #2467

2019-12-03 15:01:23 +01:00

traits.rs

Extract built-in trait implementations to separate module

2019-12-03 12:30:50 +01:00

utils.rs

Move Ty

2019-11-27 21:16:00 +03:00