summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect/predicates_of.rs
AgeCommit message (Expand)AuthorLines
2023-05-23Don't ICE on RPITIT when promoting trait preds to associated type boundsMichael Goulet-0/+2
2023-05-12Require `impl Trait` in associated types to appear in method signaturesOli Scherer-1/+1
2023-05-08Rollup merge of #111211 - compiler-errors:negative-bounds-super, r=TaKO8KiYuki Okushi-5/+6
2023-05-04Don't compute trait super bounds unless they're positiveMichael Goulet-5/+6
2023-05-03Rename things to reflect that they're not item specificMichael Goulet-3/+3
2023-05-01Don't use implied trait predicates in gather_explicit_predicates_ofMichael Goulet-6/+11
2023-05-01Do not consider associated type bounds for super_predicates_that_define_assoc...Michael Goulet-7/+11
2023-05-01Simplify type_parameter_bounds_in_genericsMichael Goulet-42/+28
2023-04-15fix clippy::{clone_on_copy, useless_conversion}Matthias Krüger-3/+2
2023-04-11Split implied and super predicate queriesMichael Goulet-32/+81
2023-03-21IdentitySubsts::identity_for_item takes Into<DefId>Michael Goulet-1/+1
2023-03-21Use LocalDefId in ItemCtxtMichael Goulet-61/+60
2023-03-21Use local key in providersMichael Goulet-13/+15
2023-02-17add predicate evaluation logicBoxy-5/+52
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-1/+1
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-1/+1
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-2/+2
2023-01-28Remove `HirId -> LocalDefId` map from HIR.Camille GILLOT-1/+1
2023-01-20Auto merge of #106090 - WaffleLapkin:dereffffffffff, r=Nilstriebbors-25/+25
2023-01-17Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726Matthias Krüger-1/+1
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-1/+1
2023-01-17`rustc_hir_analysis`: remove `ref` patternsMaybe Waffle-25/+25
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-4/+3
2023-01-14change usages of impl_trait_ref to bound_impl_trait_refKyle Matsuda-2/+4
2023-01-11Add `AstConv::astconv` method to remove `<dyn AstConv>::` callsMaybe Waffle-19/+7
2023-01-08Auto merge of #106235 - compiler-errors:rework-bounds-collection, r=davidtwcobors-4/+5
2023-01-04rename get_parent_node to parent_idMichael Goulet-1/+1
2022-12-28Rework hir Bounds collectionMichael Goulet-4/+5
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-3/+3
2022-12-14Auto merge of #104986 - compiler-errors:opaques, r=oli-obkbors-2/+2
2022-12-13Combine projection and opaque into aliasMichael Goulet-1/+1
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-1/+1
2022-12-13Clarify explicit_predicates_of is_assoc_item_ty commentSantiago Pastorino-3/+4
2022-12-12Join match arms since they do the same thingSantiago Pastorino-5/+1
2022-12-12Fix typoSantiago Pastorino-1/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-11 11:29:46 +0000