about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/traits/engine.rs
AgeCommit message (Expand)AuthorLines
2023-08-02Remove constness from `TraitPredicate`Deadbeef-1/+1
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-1/+1
2023-04-13Rollup merge of #110220 - lcnr:regionzz, r=compiler-errorsMatthias Krüger-0/+2
2023-04-12`#[must_use]` for fns returning a list of errorslcnr-0/+2
2023-04-10Report overflows gracefully with new solverMichael Goulet-2/+2
2023-01-27Pacify tidy.Camille GILLOT-1/+1
2023-01-27Compute generator saved locals on MIR.Camille GILLOT-0/+8
2023-01-27Separate trait selection from ambiguity reporting.Camille GILLOT-2/+13
2023-01-22Store relationships on InherentSantiago Pastorino-3/+0
2022-11-24Remove normalize_projection_typeSantiago Pastorino-8/+0
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-10-07Remove TypeckResults from InferCtxtCameron Steffen-8/+7
2021-12-13Remove `in_band_lifetimes` from `rustc_infer`LegionMammal978-1/+1
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-19/+1
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-1/+19
2021-11-29Reformat everythingDeadbeef-4/+2
2021-11-29Completely remove ConstnessAndOli Scherer-1/+1
2021-11-29Use the constness from the param env instead of having a separate dimension f...Oli Scherer-18/+2
2021-11-08fmtDeadbeef-8/+3
2021-11-08Make select_* methods return Vec for TraitEngineDeadbeef-4/+4
2021-09-24Rollup merge of #89001 - jackh726:binder-cleanup, r=nikomatsakisJubilee-1/+1
2021-09-17Add another case of fallback to () avoid breakageMark Rousskov-0/+3
2021-09-15Remove ToPredicate impls that use Binder::dummyjackh726-1/+1
2021-08-14Assign FIXMEs to me and remove obsolete onesDeadbeef-1/+1
2021-08-13Pass constness to SelectionContextDeadbeef-0/+18
2020-08-30mv compiler to compiler/mark-0/+78