summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect/predicates_of.rs
AgeCommit message (Expand)AuthorLines
2022-11-27Auto merge of #104048 - cjgillot:split-lifetime, r=compiler-errorsbors-1/+1
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-13/+15
2022-11-23Separate lifetime ident from resolution in HIR.Camille GILLOT-1/+1
2022-11-21Auto merge of #103491 - cjgillot:self-rpit, r=oli-obkbors-52/+71
2022-11-13Store a LocalDefId in hir::AnonConst.Camille GILLOT-3/+2
2022-11-13Store a LocalDefId in hir::GenericParam.Camille GILLOT-8/+6
2022-11-13Create bidirectional bounds between original and duplicated parameters.Camille GILLOT-32/+71
2022-11-12Verify predicates on RPIT and async opaques.Camille GILLOT-20/+0
2022-11-01fix(generic_const_exprs): Fix predicate inheritance for children of opaque typesZhixing Zhang-2/+29
2022-10-18change `ConstEvaluatable` to use `ty::Const`lcnr-2/+2
2022-09-29Split collect.rsOli Scherer-0/+707