about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/diagnostics/region_errors.rs
AgeCommit message (Expand)AuthorLines
2025-08-22Region inference: Use outlives-static constraints in constraint searchAmanda Stjerna-9/+12
2025-08-20handle opaque types before region inferencelcnr-41/+0
2025-08-14add commentlcnr-1/+3
2025-08-13also consider HR boundslcnr-3/+17
2025-08-08borrowck: defer opaque type errorslcnr-3/+0
2025-07-04NitsMichael Goulet-1/+1
2025-07-04Remove Symbol for Named LateParam/Bound variantsMichael Goulet-1/+2
2025-06-25Remove some glob imports from the type systemMichael Goulet-2/+3
2025-06-22Init local_names lazily for borrowck diagnosticsKornel-2/+2
2025-04-25Rollup merge of #140257 - amandasystems:housecleaning, r=wesleywiserMatthias Krüger-1/+1
2025-04-24Some drive-by housecleaning in `rustc_borrowck`Amanda Stjerna-1/+1
2025-04-16Rename `LifetimeName` as `LifetimeKind`.Nicholas Nethercote-1/+1
2025-04-08Update compiler/rustc_borrowck/src/diagnostics/region_errors.rsxizheyin-1/+2
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-3/+3
2025-04-02Move methods from `Map` to `TyCtxt`, part 5.Nicholas Nethercote-1/+1
2025-03-28Don't use `kw::Empty` in `hir::Lifetime::ident`.Nicholas Nethercote-3/+3
2025-03-15Squash fold into tyMichael Goulet-2/+1
2025-02-18Move methods from `Map` to `TyCtxt`, part 2.Nicholas Nethercote-2/+1
2025-02-17Rollup merge of #136466 - nnethercote:start-removing-Map, r=cjgillotMatthias Krüger-10/+7
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-10/+7
2025-02-15Rework name_regions to not rely on reverse scc graph for non-member-constrain...Michael Goulet-6/+24
2025-02-14further simplify a matchdianne-12/+11
2025-02-13remove `fr_is_local` and `outlived_fr_is_local` fields from `ErrorConstraintI...dianne-31/+14
2025-02-13Improved named region errorsMichael Goulet-2/+5
2025-02-08Rustfmtbjorn3-6/+9
2025-01-23`visit_x_unambig`Boxy-1/+1
2025-01-23Split hir `TyKind` and `ConstArgKind` in two and update `hir::Visitor`Boxy-2/+2
2025-01-23Make `hir::TyKind::TraitObject` use tagged ptrBoxy-1/+1
2025-01-06only avoid blaming assignments from argument patternsdianne-3/+3
2025-01-06point out unblamed constraints from `Copy`/`Sized` bounds in region errorsdianne-0/+1
2025-01-06make outlives constraints from generic arguments less boringdianne-2/+3
2025-01-06remove the unused `ConstraintCategory::ClosureBounds`dianne-1/+0
2025-01-06`best_blame_constraint`: avoid blaming assignments without user-provided typesdianne-3/+3
2025-01-06cleanup: remove `ExtraConstraintInfo`dianne-12/+5
2024-12-18introduce `LateParamRegionKind`lcnr-1/+1
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-2/+1
2024-12-17small refactor to region error handlinglcnr-11/+13
2024-11-25Refactor `where` predicates, and reserve for attributes supportFrank King-9/+5
2024-11-19Put `param_env` into `infcx`.Nicholas Nethercote-3/+3
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-1/+1
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-1/+1
2024-11-02compiler: Replace rustc_target with _abi in _borrowckJubilee Young-1/+1
2024-10-14Move trait bound modifiers into hir::PolyTraitRefMichael Goulet-2/+2
2024-09-24be even more precise about "cast" vs "coercion"Lukas Markeffsky-2/+2
2024-09-24replace "cast" with "coercion" where applicableLukas Markeffsky-1/+2
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-17/+14
2024-09-09Remove unnecessary lifetimes in dataflow structs.Nicholas Nethercote-1/+1
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_borrowck`.Nicholas Nethercote-0/+1
2024-08-16Add `warn(unreachable_pub)` to `rustc_borrowck`.Nicholas Nethercote-6/+8
2024-08-10rustc_borrowck: fmtPavel Grigorenko-29/+31