| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-05-09 | Make builtin_deref just return a Ty | Michael Goulet | -21/+20 | |
| 2024-05-02 | Take ocx by move for pending obligations | Michael Goulet | -1/+1 | |
| 2024-05-02 | Use ObligationCtxt in favor of TraitEngine in many places | Michael Goulet | -21/+15 | |
| 2024-02-12 | fix ICE for deref coercions with type errors | Lukas Markeffsky | -4/+4 | |
| 2024-01-23 | Random type checker changes | Michael Goulet | -0/+3 | |
| 2024-01-11 | Remove special-casing around aliaskind in new solver | Michael Goulet | -1/+1 | |
| 2023-12-24 | Remove `Session` methods that duplicate `DiagCtxt` methods. | Nicholas Nethercote | -1/+1 | |
| Also add some `dcx` methods to types that wrap `TyCtxt`, for easier access. | ||||
| 2023-11-21 | Fix `clippy::needless_borrow` in the compiler | Nilstrieb | -1/+1 | |
| `x clippy compiler -Aclippy::all -Wclippy::needless_borrow --fix`. Then I had to remove a few unnecessary parens and muts that were exposed now. | ||||
| 2023-08-07 | Structurally normalize weak and inherent too | Michael Goulet | -1/+1 | |
| 2023-07-05 | Move `TyCtxt::mk_x` to `Ty::new_x` where applicable | Boxy | -2/+5 | |
| 2023-06-29 | change snapshot tracking in fulfillment contexts | lcnr | -1/+1 | |
| 2023-06-06 | Make TraitEngine::new use the right solver, add compare mode | Michael Goulet | -2/+1 | |
| 2023-06-06 | New trait solver is a property of inference context | Michael Goulet | -1/+1 | |
| 2023-05-22 | Structurally normalize in the new solver | Michael Goulet | -22/+54 | |
| 2023-04-25 | Replace `tcx.mk_trait_ref` with `ty::TraitRef::new` | Maybe Waffle | -1/+1 | |
| 2023-02-22 | Remove type-traversal trait aliases | Alan Egerton | -1/+1 | |
| 2023-01-23 | fix: use LocalDefId instead of HirId in trait res | Vincenzo Palazzo | -4/+4 | |
| use LocalDefId instead of HirId in trait resolution to simplify the obligation clause resolution Signed-off-by: Vincenzo Palazzo <vincenzopalazzodev@gmail.com> | ||||
| 2023-01-11 | Move autoderef to rustc_hir_analysis | Michael Goulet | -0/+224 | |
