Florian Diebold c33ee36d2a Minor test fixes / new tests

2021-05-25 13:07:18 +02:00

..

diagnostics

Record method call substs and use them in call info

2021-05-23 18:24:21 +02:00

infer

Fix type mismatch caused by macros

2021-05-25 11:15:02 +02:00

tests

Minor test fixes / new tests

2021-05-25 13:07:18 +02:00

autoderef.rs

…

builder.rs

Fix warnings & format

2021-05-21 17:48:34 +02:00

chalk_db.rs

Remove our unification code, use Chalk's instead

2021-05-21 17:48:33 +02:00

chalk_ext.rs

Rewrite coercion using the new unification

2021-05-21 17:48:33 +02:00

consteval.rs

Address final feedback

2021-05-15 18:51:18 -07:00

db.rs

Rework obligation handling

2021-05-21 17:48:34 +02:00

diagnostics.rs

…

display.rs

internal: intern TypeBounds

2021-05-24 15:13:23 +02:00

infer.rs

Record method call substs and use them in call info

2021-05-23 18:24:21 +02:00

interner.rs

Improve debug printing without TLS

2021-05-21 17:48:34 +02:00

lib.rs

Add test for #8931 and better checking

2021-05-23 12:52:41 +02:00

lower.rs

internal: rename hypothetical -> speculative

2021-05-24 22:21:25 +03:00

mapping.rs

…

method_resolution.rs

Rework obligation handling

2021-05-21 17:48:34 +02:00

op.rs

…

primitive.rs

…

test_db.rs

…

tests.rs

internal: Record mismatches of pattern types.

2021-05-19 11:08:59 +05:00

tls.rs

Improve debug printing without TLS

2021-05-21 17:48:34 +02:00

traits.rs

Rework obligation handling

2021-05-21 17:48:34 +02:00

utils.rs

Rewrite all_super_trait_refs as an iterator

2021-04-29 20:18:41 +02:00

walk.rs

…