| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-26 | allow method calls on opaques | lcnr | -9/+0 | |
| 2025-09-26 | use `try_structurally_resolve_type` for method receiver | lcnr | -2/+2 | |
| We'll still error due to the `opt_bad_ty` of `method_autoderef_steps`. This slightly worsens the span of `infer_var.method()` which is now the same as for `Box::new(infer_var).method()`. Unlike `structurally_resolve_type`, `probe_op` does not check whether the infcx is already tainted, so this results in 2 previously not emitted errors. | ||||
| 2024-10-15 | Register a dummy candidate for failed structural normalization during ↵ | Michael Goulet | -22/+3 | |
| candiate assembly | ||||
| 2024-10-15 | Be better at reporting alias errors | Michael Goulet | -31/+5 | |
| 2024-10-15 | Make sure the alias is actually rigid | Michael Goulet | -9/+41 | |
| 2024-06-13 | Add some tests | Oli Scherer | -0/+22 | |
