about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/outlives
AgeCommit message (Expand)AuthorLines
2023-12-12Move some methods from `tcx.hir()` to `tcx`zetanumbers-1/+1
2023-11-26rustc: `hir().local_def_id_to_hir_id()` -> `tcx.local_def_id_to_hir_id()` cle...Vadim Petrochenkov-1/+1
2023-11-19Make regionck care about placeholders in outlives componentsMichael Goulet-0/+4
2023-11-14finish `RegionKind` renamelcnr-3/+3
2023-11-13rename `ReLateBound` to `ReBound`lcnr-2/+2
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-18/+17
2023-07-03remove TypeWellFormedFromEnvMichael Goulet-2/+1
2023-06-26TypeWellFormedInEnvMichael Goulet-1/+2
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-34/+24
2023-06-22migrate inferred_outlives_of to ClauseMichael Goulet-5/+7
2023-06-19s/Clause/ClauseKindMichael Goulet-15/+14
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-1/+1
2023-06-17Move WF goal to clauseMichael Goulet-1/+1
2023-06-02No more TyCtxt::lazy_normalizationMichael Goulet-1/+2
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-2/+2
2023-05-28Make EarlyBinder's inner value private; and fix all of the resulting errorsKyle Matsuda-21/+27
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-2/+2
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-1/+1
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-0/+3
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-1/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 23:05:32 +0000