summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/fulfill.rs
AgeCommit message (Expand)AuthorLines
2022-10-18change `ConstEvaluatable` to use `ty::Const`lcnr-3/+1
2022-10-17Rollup merge of #102945 - compiler-errors:placeholder-region-outlives, r=lcnrMatthias Krüger-1/+1
2022-10-17Rollup merge of #102466 - lcnr:const-equate-uwu, r=BoxyUwUMatthias Krüger-12/+13
2022-10-12Do not register placeholder region outlives when considering_regions is falseMichael Goulet-1/+1
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-7/+4
2022-10-04It's not about types or consts, but the lack of regionsOli Scherer-4/+4
2022-09-29only allow `ConstEquate` with `feature(gce)`lcnr-12/+13
2022-09-27Tweak `FulfillProcessor`.Nicholas Nethercote-12/+12
2022-09-22Rollup merge of #102037 - jyn514:normalize-docs, r=lcnrDylan DPC-4/+6
2022-09-19Make cycle errors recoverableJoshua Nelson-4/+5
2022-09-19Make `OUT` an associated type instead of a generic parameterJoshua Nelson-0/+1
2022-09-17Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnrbors-5/+1
2022-09-15Don't throw away information just to recompute it againOli Scherer-14/+10
2022-09-13use ty::Unevaluated<'tcx, ()> in type systemb-naber-5/+1
2022-09-01Directly use the `instrument` macro instead of its full pathOli Scherer-1/+1
2022-07-29never inline the only thing that calls a query, which could hit the instrumen...Oli Scherer-0/+1
2022-07-21`region_outlives_predicate` no snapshotlcnr-8/+3
2022-07-21move `considering_regions` to the infcxlcnr-38/+13
2022-07-18Check generators for well formednessOli Scherer-3/+2
2022-07-15remove tcx from ObligationCauseCode::spanMichael Goulet-1/+1
2022-07-12Move abstract const to rustc_middle::tykadmin-1/+1
2022-07-06Auto merge of #98206 - eggyal:align-to-chalk-folding-api, r=jackh726bors-1/+1
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-07-05refactor: remove a redundant mutable variableTakayuki Maeda-4/+3
2022-06-20Auto merge of #97674 - nnethercote:oblig-forest-tweaks, r=nikomatsakisbors-60/+38
2022-06-14rebaseb-naber-1/+1
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-13/+15
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-2/+2
2022-06-06Split `process_obligation` in two.Nicholas Nethercote-41/+30
2022-06-06Handle stalling within `ObligationForest`.Nicholas Nethercote-19/+8
2022-03-31Rollup merge of #95497 - nyurik:compiler-spell-comments, r=compiler-errorsDylan DPC-1/+1
2022-03-30Add the generic_associated_types_extended featureJack Huey-5/+7
2022-03-30Spellchecking compiler commentsYuri Astrakhan-1/+1
2022-03-25Rollup merge of #95179 - b-naber:eval-in-try-unify, r=lcnrDylan DPC-1/+5
2022-03-22fix previous failures and address reviewb-naber-1/+5
2022-03-16rustc_error: make ErrorReported impossible to constructmark-9/+6
2022-03-07Try to normalize associated types before processing obligationsJack Huey-0/+17
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-7/+9
2022-02-21obligation forest docslcnr-2/+2
2022-02-15Overhaul `Const`.Nicholas Nethercote-4/+4
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-17/+0
2022-02-02Eagerly merge hidden types.Oli Scherer-1/+1
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-0/+17
2022-01-28Remove generalization over projectionkadmin-1/+1
2022-01-15attempt to re-add `ty::Unevaluated` visitor and friendsEllen-5/+6
2022-01-15initial revertEllen-12/+10
2021-12-20Eliminate `ObligationCauseData`.Nicholas Nethercote-1/+1
2021-12-18Re-introduce concept of projection cache 'completion'Aaron Hill-0/+17
2021-12-15Remove `in_band_lifetimes` from `rustc_trait_selection`Sylvan Bowdler-1/+1
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-37/+2