..
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
Merge #8987
2021-05-25 13:25:15 +00: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
Fix type inference not working for new Try trait
2021-05-25 14:59:54 +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 ModuleId
s 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