Florian Diebold a5d85a6356 Add test for #8931 and better checking

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

..

diagnostics

Add last remaining module docstring

2021-05-22 16:39:56 +02:00

infer

Resolve any lifetime variables to 'static after inference

2021-05-22 14:27:22 +02:00

tests

Fix test after rebase

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

autoderef.rs

Profile trait solving for all invocations

2021-04-14 19:11:17 +03:00

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

More cleanups / module docs

2021-04-09 14:40:58 +02:00

display.rs

Add lowering of array lengths in types

2021-05-12 21:22:46 -07:00

infer.rs

Some remaining cleanups

2021-05-21 18:23:03 +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

Rework obligation handling

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

mapping.rs

More moving stuff around

2021-04-09 14:28:04 +02:00

method_resolution.rs

Rework obligation handling

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

op.rs

Implement more precise binary op return type prediction

2021-04-10 16:56:32 +02:00

primitive.rs

More cleanups / module docs

2021-04-09 14:40:58 +02:00

test_db.rs

Create all ModuleIds through a DefMap method

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

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

Remove unused

2021-04-08 14:36:14 +02:00