about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/wf.rs
AgeCommit message (Expand)AuthorLines
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-0/+4
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
2021-08-19introduce a Coerce predicateNiko Matsakis-0/+4
2021-08-13move Constness into TraitPredicateDeadbeef-2/+2
2021-07-17Some perf optimizations and loggingjackh726-0/+1
2021-07-16Add initial implementation of HIR-based WF checking for diagnosticsAaron Hill-2/+2
2021-03-31Add tcx lifetime to BinderJack Huey-2/+2
2021-03-26Use iter::zip in compiler/Josh Stone-5/+1
2021-03-20extract `ConstKind::Unevaluated` into a structlcnr-1/+1
2021-01-16Review changesJack Huey-22/+22
2021-01-12Separate out a `hir::Impl` structJoshua Nelson-2/+4
2020-12-11Move binder for dyn to each list itemJack Huey-2/+2
2020-11-22Thread `Constness` through selectionJonas Schievink-1/+1
2020-11-16compiler: fold by valueBastian Kauschke-1/+1
2020-10-11Replace tuple of infer vars for upvar_tys with single infer varRoxane-4/+2
2020-10-06Fix rebaseMatthew Jasper-1/+1
2020-10-06Fix bugs in evaluating WellFormed predicatesMatthew Jasper-17/+41
2020-10-06Address review commentsMatthew Jasper-1/+19
2020-10-06Fix tests and bootstrapMatthew Jasper-6/+15
2020-10-06Make projection wf check the predicates for the projectionMatthew Jasper-11/+25
2020-09-24assign the correct `DefId` in `nominal_obligations`Bastian Kauschke-4/+16
2020-09-09Remove def_id field from ParamEnvBram van den Heuvel-0/+3
2020-09-04Change ty.kind to a methodLeSeulArtichaut-5/+5
2020-08-30mv compiler to compiler/mark-0/+710
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 03:20:23 +0000