| .. |
|
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
|
Consider trait to be in scope for trait-impl
|
2021-05-25 16:16:29 +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
|
Hide -> () in Fn traits
|
2021-05-25 15:23:52 +02:00 |
|
infer.rs
|
Consider trait to be in scope for trait-impl
|
2021-05-25 16:16:29 +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
|
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 |
