|
errors
|
Fix elided lifetimes in rustdoc
|
2025-07-04 18:26:09 +00:00 |
|
solve
|
move mod canonical out of eval_ctxt
|
2025-09-18 23:56:20 +02:00 |
|
errors.rs
|
Use tcx.short_string() in more diagnostics
|
2025-08-07 21:18:00 +00:00 |
|
infer.rs
|
optimize CanonicalVarValues::instantiate
|
2025-09-08 14:17:56 +02:00 |
|
opaque_types.rs
|
change non-defining use error message
|
2025-08-25 14:20:18 +02:00 |
|
solve.rs
|
cleanup proof tree implementation and add cache
|
2025-08-29 09:35:37 +02:00 |