about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/outlives/verify.rs
AgeCommit message (Expand)AuthorLines
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-2/+2
2025-05-02Use less rustc_type_ir in the compiler codebaseRomain Perier-1/+1
2025-02-06Add opt_alias_variances and use it in outlives codeMichael Goulet-4/+4
2025-01-28Make item self/non-self bound naming less whackMichael Goulet-1/+1
2025-01-02Simplify declared_generic_bounds_from_envMichael Goulet-32/+23
2024-10-07Reduce visibilities some more.Nicholas Nethercote-6/+6
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_infer`.Nicholas Nethercote-0/+1
2024-08-11Use assert_matches around the compilerMichael Goulet-1/+3
2024-07-29Reformat `use` declarations.Nicholas Nethercote-4/+4
2024-07-07Make push_outlives_components into a visitorMichael Goulet-6/+1
2024-07-06Don't track visited outlives bounds when decomposing verify for aliasMichael Goulet-21/+13
2024-07-06Import via rustc_type_ir::outlivesMichael Goulet-1/+1
2024-07-06Uplift push_outlives_componentsMichael Goulet-2/+2
2024-05-21Uplift OutlivesPredicate, remove a bunch of unnecessary associated types from...Michael Goulet-3/+3
2024-03-20Split item bounds and item super predicatesMichael Goulet-1/+1
2024-02-14Use fewer delayed bugs.Nicholas Nethercote-4/+4
2024-02-12Dejargnonize substShoyu Vanilla-1/+1
2024-01-30Apply suggestions from reviewMichael Goulet-22/+5
2024-01-30Normalize caller boundsMichael Goulet-5/+5
2024-01-10Add `DiagCtxt::delayed_bug`.Nicholas Nethercote-4/+3
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-1/+1
2023-12-20Auto merge of #119096 - compiler-errors:yeet-unnecessary-param-envs, r=lcnrbors-7/+1
2023-12-19Auto merge of #119084 - aliemjay:perf-env-bounds, r=compiler-errorsbors-2/+12
2023-12-19fast path for declared_generic_bounds_from_envAli MJ Al-Nasrawy-2/+12
2023-12-19Remove unnecessary param-env from lexical region resolution and fully structu...Michael Goulet-7/+1
2023-12-15NFC don't convert types to identical typesMatthias Krüger-6/+1
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-1/+1
2023-11-19Make regionck care about placeholders in outlives componentsMichael Goulet-6/+9
2023-10-13Format all the let chains in compilerMichael Goulet-14/+14
2023-07-30inline format!() args up to and including rustc_codegen_llvmMatthias Krüger-1/+1
2023-07-17Rename arg_iter to iter_instantiatedMichael Goulet-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-1/+1
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-4/+4
2023-06-22Migrate item_bounds to ty::ClauseMichael Goulet-1/+1
2023-05-28Make EarlyBinder's inner value private; and fix all of the resulting errorsKyle Matsuda-1/+1
2023-05-08Auto merge of #106621 - ozkanonur:enable-elided-lifetimes-for-doctests, r=Mar...bors-1/+1
2023-05-07enable `rust_2018_idioms` for doctestsozkanonur-1/+1
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-1/+1
2023-04-16Account for variance in outlives verification.Camille GILLOT-2/+7
2023-02-09Cleanup free_region_relations a bitJack Huey-0/+1
2023-01-19even more unify Projection/Opaque in outlives codeAli MJ Al-Nasrawy-37/+25
2023-01-17change item_bounds query to return EarlyBinder; remove bound_item_bounds queryKyle Matsuda-1/+1
2023-01-13Unify Opaque/Projection handling in region outlives codeMichael Goulet-10/+4
2022-12-19Auto merge of #103600 - compiler-errors:early-binder-nits, r=spastorinobors-6/+5
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-1/+1
2022-12-13EarlyBinder nitsMichael Goulet-6/+5
2022-09-21Inline substitution logic into `declared_region_bounds`Oli Scherer-27/+8
2022-09-21Also collect bounds from the ParamEnv for opaque typesOli Scherer-44/+25
2022-09-21Neither require nor imply lifetime bounds on opaque type for well formednessOli Scherer-0/+16
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 05:03:57 +0000