about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/wf.rs
AgeCommit message (Expand)AuthorLines
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