about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/fulfill.rs
AgeCommit message (Expand)AuthorLines
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
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-2/+37
2021-11-29Use the constness from the param env instead of having a separate dimension f...Oli Scherer-37/+2
2021-11-08fmtDeadbeef-20/+4
2021-11-08Make select_* methods return Vec for TraitEngineDeadbeef-14/+22
2021-09-24Rollup merge of #89001 - jackh726:binder-cleanup, r=nikomatsakisJubilee-1/+2
2021-09-17Add another case of fallback to () avoid breakageMark Rousskov-0/+13
2021-09-15Remove ToPredicate impls that use Binder::dummyjackh726-1/+2
2021-09-09rename mir -> thir around abstract constsEllen-1/+1
2021-08-30rename const_evaluatable_checked to generic_const_exprsEllen-1/+1
2021-08-26shrink `ty::PredicateKind` againlcnr-1/+1
2021-08-26use `ty::Unevaluated` instead of def substs pairlcnr-4/+5
2021-08-26update `TypeFlags` to deal with missing ct substslcnr-2/+2
2021-08-26add `tcx` to `fn walk`lcnr-2/+3
2021-08-26make unevaluated const substs optionallcnr-2/+3
2021-08-22Auto merge of #88166 - BoxyUwU:const-equate-canon, r=lcnrbors-5/+1
2021-08-19introduce a Coerce predicateNiko Matsakis-0/+26
2021-08-19move code to `InferCtxt` methodEllen-8/+1
2021-08-19canonicalize const equate predicatesEllen-5/+8
2021-08-13make check less conservative and add explanationDeadbeef-2/+12
2021-08-13Pass constness to SelectionContextDeadbeef-0/+26
2021-08-13move Constness into TraitPredicateDeadbeef-2/+2
2021-07-21Improve caching during trait evaluationAaron Hill-0/+14
2021-07-17Some perf optimizations and loggingjackh726-2/+1
2021-07-16Add initial implementation of HIR-based WF checking for diagnosticsAaron Hill-2/+6
2021-05-19deal with `const_evaluatable_checked` in `ConstEquate`lcnr-2/+11
2021-03-31Track bound varsJack Huey-1/+1
2021-03-21Rollup merge of #83040 - lcnr:unused-ct-substs, r=oli-obkDylan DPC-10/+7
2021-03-21Rollup merge of #82707 - BoxyUwU:errooaaar, r=oli-obkDylan DPC-9/+15
2021-03-20update `const_eval_resolve`lcnr-10/+4
2021-03-20extract `ConstKind::Unevaluated` into a structlcnr-6/+9
2021-03-06Change x64 size checks to not apply to x32.Harald van Dijk-1/+1
2021-03-03Fix tidy err and reviewEllen-10/+6
2021-03-02errooaaar~Ellen-9/+19
2021-02-23Small optimizations to obligation forestkadmin-19/+24
2021-02-18Rollup merge of #82066 - matthewjasper:trait-ref-fix, r=jackh726Dylan DPC-10/+10
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-24 16:35:56 +0000