| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-18 | support calls on opaque types :< | lcnr | -2/+13 | |
| 2025-09-08 | fixup limit handling code | Jana Dönszelmann | -1/+1 | |
| 2025-08-29 | autoderef final ty is already resolved | lcnr | -8/+4 | |
| 2025-06-03 | `FIXME(-Znext-solver)` triage | lcnr | -8/+8 | |
| Co-authored-by: Michael Goulet <michael@errs.io> | ||||
| 2025-04-16 | respect the tcx's recursion limit when peeling | dianne | -3/+7 | |
| 2025-01-22 | Rename `structurally_normalize` to `structurally_normalize_ty` | Boxy | -4/+4 | |
| 2024-12-11 | Arbitrary self types v2: use Receiver trait | Adrian Taylor | -9/+28 | |
| In this new version of Arbitrary Self Types, we no longer use the Deref trait exclusively when working out which self types are valid. Instead, we follow a chain of Receiver traits. This enables methods to be called on smart pointer types which fundamentally cannot support Deref (for instance because they are wrappers for pointers that don't follow Rust's aliasing rules). This includes: * Changes to tests appropriately * New tests for: * The basics of the feature * Ensuring lifetime elision works properly * Generic Receivers * A copy of the method subst test enhanced with Receiver This is really the heart of the 'arbitrary self types v2' feature, and is the most critical commit in the current PR. Subsequent commits are focused on: * Detecting "shadowing" problems, where a smart pointer type can hide methods in the pointee. * Diagnostics and cleanup. Naming: in this commit, the "Autoderef" type is modified so that it no longer solely focuses on the "Deref" trait, but can now consider the "Receiver" trait instead. Should it be renamed, to something like "TraitFollower"? This was considered, but rejected, because * even in the Receiver case, it still considers built-in derefs * the name Autoderef is short and snappy. | ||||
| 2024-10-12 | Swap Vec<PredicateObligation> to type alias | GnomedDev | -5/+6 | |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -1/+1 | |
| 2024-08-30 | Remove `#[macro_use] extern crate tracing` from `rustc_hir_analysis`. | Nicholas Nethercote | -0/+1 | |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -7/+6 | |
| The previous commit updated `rustfmt.toml` appropriately. This commit is the outcome of running `x fmt --all` with the new formatting options. | ||||
| 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 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |