summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/engine.rs
AgeCommit message (Expand)AuthorLines
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
2023-02-21Make hidden type registration opt-in, so that each site can be reviewed on it...Oli Scherer-0/+4
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-2/+1
2023-01-09Rollup merge of #106389 - compiler-errors:no-canonicalized, r=lcnrfee1-dead-2/+2
2023-01-04Rename stock solver to classicMichael Goulet-2/+2
2023-01-04Split `-Zchalk` flag into `-Ztrait-solver=(stock|chalk|next)` flagMichael Goulet-8/+10
2023-01-03Simplify some canonical type alias namesMichael Goulet-2/+2
2022-12-02Use ocx.normalize in report_projection_errorSantiago Pastorino-0/+18
2022-11-28Make ObligationCtxt::normalize take cause by borrowMichael Goulet-3/+2
2022-11-28partially_normalize_... -> At::normalizeMichael Goulet-2/+3
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-1/+1
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-1/+1
2022-11-21Assert that various types have the right amount of generic args and fix the s...Oli Scherer-1/+1
2022-11-15use `ocx` type relation routineslcnr-7/+19
2022-11-09Auto merge of #103723 - CastilloDel:master, r=jackh726bors-3/+3
2022-11-08Reduce the scope of allow(rustc::potential_query_instability) in rustc_trait_...CastilloDel-3/+3
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 02:19:50 +0000