Florian Diebold 96c2b9c41d Simplifications / cleanup from review

2019-06-16 12:25:04 +02:00

..

infer

Fix crash with int vars in canonicalization

2019-05-21 20:40:29 +02:00

traits

Some more cleanup

2019-06-15 18:36:58 +02:00

autoderef.rs

Simplifications / cleanup from review

2019-06-16 12:25:04 +02:00

display.rs

…

infer.rs

Implement * operation using Deref trait

2019-06-15 18:21:23 +02:00

lower.rs

Add basic infrastructure for assoc type projection

2019-06-15 18:21:23 +02:00

method_resolution.rs

Implement autoderef using the Deref trait

2019-06-15 18:21:23 +02:00

op.rs

…

primitive.rs

add tests for primitive types

2019-05-30 15:14:11 +03:00

tests.rs

Simplifications / cleanup from review

2019-06-16 12:25:04 +02:00

traits.rs

Simplifications / cleanup from review

2019-06-16 12:25:04 +02:00