about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/engine.rs
AgeCommit message (Expand)AuthorLines
2025-05-21eagerly check nested obligations when coercing fndefslcnr-0/+14
2025-04-30Use less rustc_type_ir in the compiler codebaseRomain Perier-1/+1
2025-01-28Consolidate OutlivesEnv construction with resolve_regionsMichael Goulet-7/+9
2025-01-22Rename `structurally_normalize` to `structurally_normalize_ty`Boxy-2/+2
2025-01-22Use `structurally_normalize` instead of manual `normalizes-to` goalsBoxy-0/+11
2024-10-19Fix transmute goalMichael Goulet-0/+11
2024-10-16Auto merge of #131422 - GnomedDev:smallvec-predicate-obligations, r=compiler-...bors-1/+2
2024-10-15stabilize `-Znext-solver=coherence`lcnr-3/+1
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-1/+2
2024-09-30Extract trait_refs_are_compatible, make it instantiate bindersMichael Goulet-1/+16
2024-09-11Revert 'Stabilize -Znext-solver=coherence'Michael Goulet-1/+3
2024-09-05stabilize `-Znext-solver=coherence`lcnr-3/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-16/+12
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-1/+1
2024-07-08Move trait selection error reporting to its own top-level moduleMichael Goulet-1/+1
2024-06-03Nits and formattingMichael Goulet-16/+16
2024-06-03Add cycle errors to ScrubbedTraitError to remove a couple more calls to new_w...Michael Goulet-11/+2
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-45/+69
2024-06-03Make TraitEngines generic over errorMichael Goulet-6/+16
2024-06-03Remove unnecessary extension traitMichael Goulet-3/+1
2024-05-16Remove trivial Binder::dummy callsMichael Goulet-1/+1
2024-05-16Rename ToPredicate for UpcastMichael Goulet-2/+2
2024-05-02Take ocx by move for pending obligationsMichael Goulet-1/+8
2024-05-02Use ObligationCtxt in favor of TraitEngine in many placesMichael Goulet-0/+30
2024-04-29Remove `extern crate rustc_macros` from numerous crates.Nicholas Nethercote-0/+1
2024-03-01Get rid of some sub_exp and eq_expMichael Goulet-18/+0
2024-02-28Deeply normalize obligations in refining_impl_traitMichael Goulet-0/+9
2024-02-16Move trait into attr so it's greppableMichael Goulet-2/+2
2024-02-16Use extension trait deriveMichael Goulet-5/+2
2024-01-30Deeply normalize when processing registered region obligationsMichael Goulet-0/+1
2023-12-14rename `-Ztrait-solver` to `-Znext-solver`lcnr-13/+10
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-2/+2
2023-10-23nitsMichael Goulet-1/+1
2023-10-23Make things work by using the new solverMichael Goulet-1/+1
2023-10-04Reorder fullfillment errors to keep more interesting ones firstEsteban Küber-1/+1
2023-10-02change is_subtype to relate_typesouz-a-0/+15
2023-08-02Remove constness from `TraitPredicate`Deadbeef-1/+1
2023-07-03Remove chalk from the compilerMichael Goulet-2/+1
2023-07-03`deeply_normalize` pass in fulfill cx for old solverlcnr-1/+5
2023-07-03use `deeply_normalize` for `assumed_wf_types`lcnr-9/+21
2023-06-29change snapshot tracking in fulfillment contextslcnr-25/+3
2023-06-06Make TraitEngine::new use the right solver, add compare modeMichael Goulet-16/+32
2023-06-06Add -Ztrait-solver=next-coherenceMichael Goulet-0/+2
2023-05-25Fallible<_> -> Result<_, NoSolution>Michael Goulet-2/+2
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-1/+1
2023-04-12`#[must_use]` for fns returning a list of errorslcnr-0/+2
2023-04-12region error cleanuplcnr-0/+19
2023-03-15always make `define_opaque_types` explicitlcnr-9/+5
2023-03-04sub is not supMichael Goulet-1/+1
2023-02-22Remove type-traversal trait aliasesAlan Egerton-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-13 21:36:41 +0000