about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/wf.rs
AgeCommit message (Expand)AuthorLines
2022-09-08Create VarValue::EmptyJack Huey-0/+4
2022-09-07Rollup merge of #101503 - spastorino:add-debug-calls, r=compiler-errorsMatthias Krüger-0/+3
2022-09-07Add instrument and debug callsSantiago Pastorino-0/+3
2022-09-05Pack `Term` in the same way as `GenericArg`.Nicholas Nethercote-3/+3
2022-09-01tracing::instrument cleanupOli Scherer-1/+1
2022-08-21Rework point-at-argMichael Goulet-1/+1
2022-08-13wf correctly shallow_resolve constslcnr-9/+7
2022-07-24Instantiate constness in wfcheckDeadbeef-8/+35
2022-07-18Check generators for well formednessOli Scherer-6/+8
2022-07-10Don't pass InferCtxt to WfPredicatesJack Huey-23/+29
2022-07-10Don't try to resolve inference variables in WF computation, just registerJack Huey-35/+17
2022-07-08Auto merge of #98816 - estebank:implicit-sized, r=oli-obkbors-6/+6
2022-07-07Move code from rustc_trait_selection/opaque_types to better placesJack Huey-1/+60
2022-07-07Track `WellFormed` obligations with an appropriate cause, instead of `MiscObl...Esteban Küber-6/+6
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-4/+4
2022-06-01remove an unnecessary `Option`Takayuki Maeda-3/+10
2022-05-17Auto merge of #96892 - oli-obk:🐌_obligation_cause_code_🐌, r=estebankbors-18/+10
2022-05-13Check that closures satisfy their where boundsOli Scherer-8/+16
2022-05-10Move an extension trait method onto the type directly and reuse itOli Scherer-8/+4
2022-05-10Don't lose an obligation causeOli Scherer-2/+0
2022-05-10Remove some unnecessary clonesOli Scherer-19/+17
2022-05-02fix most compiler/ doctestsElliot Roberts-1/+1
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-1/+1
2022-03-019 - Make more use of `let_chains`Caio-22/+16
2022-02-21use `List<Ty<'tcx>>` for tupleslcnr-2/+2
2022-02-15Overhaul `Const`.Nicholas Nethercote-5/+7
2022-02-15Overhaul `PredicateInner` and `Predicate`.Nicholas Nethercote-2/+2
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-4/+0
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-0/+4
2022-01-26Improve selection errors for `~const` trait boundsDeadbeef-3/+2
2022-01-17Update term for use in more placeskadmin-2/+5
2022-01-17Use Term in ProjectionPredicatekadmin-2/+2
2022-01-15nyahggdshjjghsdfhgsfEllen-2/+0
2022-01-15attempt to re-add `ty::Unevaluated` visitor and friendsEllen-7/+7
2022-01-15initial revertEllen-12/+9
2022-01-07Add query to avoid name comparison in `leaf_def`Matthew Jasper-14/+20
2021-12-20Eliminate `ObligationCauseData`.Nicholas Nethercote-6/+5
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-3/+4
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-4/+3
2021-12-01TODO => FIXMEDeadbeef-1/+1
2021-11-29Completely remove ConstnessAndOli Scherer-1/+1
2021-11-29Avoid storing the ImplPolarity and Constness next to a TraitRef and use Trait...Oli Scherer-2/+3
2021-11-20Point at source of trait bound obligations in more placesEsteban Kuber-1/+6
2021-09-24Rollup merge of #89001 - jackh726:binder-cleanup, r=nikomatsakisJubilee-11/+17
2021-09-20Do not store visibility in *ItemRef.Camille GILLOT-1/+1
2021-09-15Remove ToPredicate impls that use Binder::dummyjackh726-11/+17
2021-08-26use `ty::Unevaluated` instead of def substs pairlcnr-4/+7
2021-08-26add `tcx` to `fn walk`lcnr-1/+1
2021-08-26make unevaluated const substs optionallcnr-4/+5
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-04 17:54:55 +0000