about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/engine.rs
AgeCommit message (Expand)AuthorLines
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
2022-11-08selection failure: recompute applicable implslcnr-8/+9
2022-10-27remove _types from ocx method namesMichael Goulet-2/+2
2022-10-27Address some more nitsMichael Goulet-3/+20
2022-10-27(almost) Always use ObligationCtxt when dealing with canonical queriesMichael Goulet-0/+22
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-3/+3
2022-08-30Rollup merge of #100473 - compiler-errors:normalize-the-fn-def-sig-plz, r=lcnrDylan DPC-0/+13
2022-08-26Add and use ObligationCtxt::new_in_snapshotMichael Goulet-0/+13
2022-08-25no unnormalized types for implied boundslcnr-1/+12
2022-08-17dedup some codelcnr-1/+22
2022-07-21move `considering_regions` to the infcxlcnr-10/+0
2022-07-15hir typeck: `fulfillment_cx` ignore regionslcnr-0/+10
2022-07-15try to avoid `FnCtxt` during wflcnr-1/+95
2022-07-13Rename `debugging_opts` to `unstable_opts`Joshua Nelson-1/+1
2020-08-30mv compiler to compiler/mark-0/+18
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-15 20:17:06 +0000