about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/outlives
AgeCommit message (Expand)AuthorLines
2025-07-18Auto merge of #143545 - compiler-errors:coroutine-obl, r=oli-obkbors-2/+1
2025-07-15Add alias for ArgOutlivesPredicateMichael Goulet-2/+1
2025-07-15Implement other logicstiif-0/+1
2025-07-03compiler: inline 1-2 query provide fn in hir_analysis and hir_typeckJubilee Young-7/+5
2025-05-27Fix some var namesMichael Goulet-5/+5
2025-05-27Rename unpack to kindMichael Goulet-4/+4
2025-04-24Remove `weak` alias terminologyBoxy-2/+2
2025-04-08Rollup merge of #139509 - xizheyin:issue-139359, r=lcnrMatthias Krüger-1/+1
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-1/+1
2025-04-07Implement overflow for infinite implied lifetime boundsMichael Goulet-4/+17
2025-04-02Move methods from `Map` to `TyCtxt`, part 5.Nicholas Nethercote-1/+1
2025-03-15Stop relying on rustc_type_ir in non-type-system cratesMichael Goulet-1/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-11 15:57:32 +0000