about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/outlives
AgeCommit message (Expand)AuthorLines
2025-02-21Move methods from Map to TyCtxt, part 3.Nicholas Nethercote-1/+1
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-2/+2
2025-01-31Remove an unnecessary loop label.Nicholas Nethercote-2/+2
2024-10-24Implement const effect predicate in new solverMichael Goulet-1/+2
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-1/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_hir_analysis`.Nicholas Nethercote-0/+1
2024-08-27Add `warn(unreachable_pub)` to `rustc_hir_analysis`.Nicholas Nethercote-3/+3
2024-07-29Reformat `use` declarations.Nicholas Nethercote-6/+3
2024-07-19Avoid ref when using format! in compilerYuri Astrakhan-3/+3
2024-07-06Import via rustc_type_ir::outlivesMichael Goulet-1/+1
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