about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/outlives
AgeCommit message (Expand)AuthorLines
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-1/+1
2023-03-21Use local key in providersMichael Goulet-5/+6
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-1/+1
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-0/+1
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-11Auto merge of #107507 - BoxyUwU:deferred_projection_equality, r=lcnrbors-0/+1
2023-02-10add `AliasEq` to `PredicateKind`Boxy-0/+1
2023-02-09Change to `ReError(ErrorGuaranteed)`Esteban Küber-1/+1
2023-02-09Introduce `ReError`Esteban Küber-0/+2
2023-01-19even more unify Projection/Opaque in outlives codeAli MJ Al-Nasrawy-3/+3
2023-01-17Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726Matthias Krüger-5/+5
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-5/+5
2023-01-13Unify Opaque/Projection handling in region outlives codeMichael Goulet-14/+6
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-3/+3
2022-12-13Combine projection and opaque into aliasMichael Goulet-1/+1
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-2/+2
2022-11-29Make inferred_outlives_crate return ClauseSantiago Pastorino-18/+8
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-26/+32
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+1
2022-11-13Store a LocalDefId in hir::GenericParam.Camille GILLOT-1/+1
2022-10-29Rename some `OwnerId` fields.Nicholas Nethercote-4/+4
2022-09-27rustc_typeck to rustc_hir_analysislcnr-0/+705