| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-09 | erase_regions to erase_and_anonymize_regions | Boxy | -1/+1 | |
| 2025-07-02 | Remove fast path from codegen_select, since Sized has no methods | Michael Goulet | -9/+2 | |
| 2025-06-25 | Remove some glob imports from the type system | Michael Goulet | -2/+2 | |
| 2025-06-03 | `FIXME(-Znext-solver)` triage | lcnr | -1/+0 | |
| Co-authored-by: Michael Goulet <michael@errs.io> | ||||
| 2025-04-09 | re-use sized fast path | David Wood | -2/+9 | |
| There's an existing fast path for the `type_op_prove_predicate` predicate, checking for trivially `Sized` types, which can be re-used when evaluating obligations within queries. This should improve performance, particularly in anticipation of new sizedness traits being added which can take advantage of this. | ||||
| 2025-03-12 | remove unnecessary variant | lcnr | -1/+1 | |
| 2025-02-21 | don't leave assoc const unnormalized due to unconstrained params | Lukas Markeffsky | -9/+7 | |
| 2024-11-23 | Delay a bug when encountering an impl with unconstrained generics in ↵ | Michael Goulet | -6/+15 | |
| codegen_select | ||||
| 2024-11-18 | use `TypingEnv` when no `infcx` is available | lcnr | -4/+5 | |
| the behavior of the type system not only depends on the current assumptions, but also the currentnphase of the compiler. This is mostly necessary as we need to decide whether and how to reveal opaque types. We track this via the `TypingMode`. | ||||
| 2024-10-29 | TypingMode :thinking: | lcnr | -2/+2 | |
| 2024-09-03 | Add `warn(unreachable_pub)` to `rustc_traits`. | Nicholas Nethercote | -1/+1 | |
| 2024-07-21 | Move all error reporting into rustc_trait_selection | Michael Goulet | -1/+1 | |
| 2024-07-09 | Split out overflow handling into its own module | Michael Goulet | -1/+1 | |
| 2024-07-08 | Move trait selection error reporting to its own top-level module | Michael Goulet | -1/+1 | |
| 2024-06-03 | Add cycle errors to ScrubbedTraitError to remove a couple more calls to ↵ | Michael Goulet | -4/+4 | |
| new_with_diagnostics | ||||
| 2024-06-03 | Move FulfillmentErrorCode to rustc_trait_selection too | Michael Goulet | -2/+2 | |
| 2024-06-03 | Opt-in diagnostics reporting to avoid doing extra work in the new solver | Michael Goulet | -1/+2 | |
| 2024-05-02 | Use ObligationCtxt in favor of TraitEngine in many places | Michael Goulet | -7/+6 | |
| 2024-04-30 | Remove `extern crate tracing` from numerous crates. | Nicholas Nethercote | -0/+1 | |
| 2024-04-29 | Remove `extern crate rustc_middle` from numerous crates. | Nicholas Nethercote | -0/+1 | |
| 2024-03-07 | Merge `check_mod_impl_wf` and `check_mod_type_wf` | Oli Scherer | -1/+8 | |
| 2024-01-12 | Remove redundant Code from FulfillmentErrorCode variants | Michael Goulet | -1/+1 | |
| 2023-07-06 | get rid of a bit more calls to poly_select | Michael Goulet | -2/+2 | |
| 2023-07-06 | Separate select calls that don't need a binder | Michael Goulet | -1/+1 | |
| 2023-06-27 | Remove unnecessary DefineOpaqueTypes::Bubble from codegen | Michael Goulet | -13/+2 | |
| 2023-06-06 | Make TraitEngine::new use the right solver, add compare mode | Michael Goulet | -1/+1 | |
| 2023-05-25 | Move DefiningAnchor | Michael Goulet | -2/+2 | |
| 2023-01-27 | Separate trait selection from ambiguity reporting. | Camille GILLOT | -1/+1 | |
| 2023-01-17 | Remove double spaces after dots in comments | Maybe Waffle | -1/+1 | |
| 2023-01-09 | Assert defining anchor is set in take_opaque_types | Michael Goulet | -1/+1 | |
| 2022-12-08 | Move codegen_select_candidate to a rustc_traits | Michael Goulet | -0/+88 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |