about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/outlives
AgeCommit message (Expand)AuthorLines
2024-06-20Slightly refactor the dumping of HIR analysis dataLeón Orell Valerian Liehr-33/+30
2024-05-26Give EarlyBinder a tcx parameterMichael Goulet-5/+5
2024-05-21Uplift OutlivesPredicate, remove a bunch of unnecessary associated types from...Michael Goulet-1/+1
2024-05-16Rename ToPredicate for UpcastMichael Goulet-3/+3
2024-05-13Remove `extern crate rustc_middle` from `rustc_hir_analysis`.Nicholas Nethercote-0/+2
2024-03-27Use FxIndexMap instead of BTreeMap to avoid sorting `DefId`sOli Scherer-2/+2
2024-03-11Revert "Auto merge of #122140 - oli-obk:track_errors13, r=davidtwco"Oli Scherer-3/+5
2024-03-11Never bail out early while running all the type check queriesOli Scherer-5/+3
2024-02-15Auto merge of #120931 - chenyukang:yukang-cleanup-hashmap, r=michaelwoeristerbors-8/+8
2024-02-14clean up potential_query_instability with FxIndexMap and UnordMapyukang-8/+8
2024-02-12Dejargnonize substShoyu Vanilla-3/+3
2024-01-17Stop using track_errors for some forever unstable rustc_attr analysesOli Scherer-3/+5
2023-12-28Imply outlives-bounds on lazy type aliasesLeón Orell Valerian Liehr-73/+114
2023-12-26Auto merge of #119146 - nnethercote:rm-DiagCtxt-api-duplication, r=compiler-e...bors-1/+1
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-1/+1
2023-12-23Do not fetch HIR in inferred_outlives_of.Camille GILLOT-39/+25
2023-12-23move rustc_outlives test code from query to dedicated functionLukas Markeffsky-31/+18
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-24 14:26:39 +0000