about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/diagnostics/bound_region_errors.rs
AgeCommit message (Expand)AuthorLines
2025-08-01Auto merge of #144446 - nnethercote:opt-region-constraints, r=lcnrbors-20/+19
2025-07-31Overhaul `Constraint`.Nicholas Nethercote-20/+19
2025-07-31Remove `ParamEnvAnd::into_parts`.Nicholas Nethercote-2/+2
2025-04-25Rollup merge of #140257 - amandasystems:housecleaning, r=wesleywiserMatthias Krüger-21/+18
2025-04-24Some drive-by housecleaning in `rustc_borrowck`Amanda Stjerna-21/+18
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-07rm `RegionInferenceContext::var_infos`lcnr-2/+2
2025-02-11Deeply normalize signature in new solverMichael Goulet-2/+57
2025-02-08Rustfmtbjorn3-18/+19
2025-01-25Pass spans to perform_locally_in_new_solverMichael Goulet-1/+1
2024-11-19Put `param_env` into `infcx`.Nicholas Nethercote-1/+1
2024-11-04Remove `ToUniverseInfo` impl for `CanonicalQueryInput<CustomTypeOp>`.Nicholas Nethercote-9/+0
2024-11-04Merge `UniverseInfo` and `UniverseInfoInner`.Nicholas Nethercote-25/+13
2024-11-04Tidy up comments and some formatting.Nicholas Nethercote-2/+2
2024-10-24Plumb through param_env to note_type_errMichael Goulet-6/+6
2024-10-17move `defining_opaque_types` out of `Canonical`lcnr-15/+14
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-22/+21
2024-09-09Remove unnecessary lifetimes in dataflow structs.Nicholas Nethercote-7/+7
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_borrowck`.Nicholas Nethercote-0/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-15/+13
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-1/+2
2024-07-15Move rustc_infer::infer::error_reporting to rustc_infer::error_reporting::inferMichael Goulet-1/+1
2024-06-27Rename `'cx` to `'infcx`Oli Scherer-15/+15
2024-06-26Restrict diagnostic context lifetime of InferCtxt to itself instead of TyCtxtOli Scherer-24/+45
2024-06-24Separate the mir body lifetime from the other lifetimesOli Scherer-7/+7
2024-06-24Separate the lifetimes of the `BorrowckInferCtxt` from the other borrowed itemsOli Scherer-7/+7
2024-05-24Remove `DefId` from `EarlyParamRegion` (tedium/diagnostics)Boxy-14/+22
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-13/+13
2024-02-06Invert diagnostic lints.Nicholas Nethercote-3/+0
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-5/+5
2023-12-23Give `DiagnosticBuilder` a default type.Nicholas Nethercote-33/+13
2023-12-17fix diagnostic regresssionAli MJ Al-Nasrawy-7/+12
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-1/+1
2023-09-24Try to use approximate placeholder regions when outputting an AscribeUserType...Jack Huey-12/+38
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-20/+21
2023-05-24Use ObligationCtxt in custom type opsMichael Goulet-1/+1
2023-04-06Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR...Jack Huey-2/+2
2023-02-22Remove type-traversal trait aliasesAlan Egerton-2/+2
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-6/+6
2022-12-06`rustc_borrowck`: remove `ref` patternsMaybe Waffle-6/+6
2022-11-28Make ObligationCtxt::normalize take cause by borrowMichael Goulet-1/+1
2022-11-28partially_normalize_... -> At::normalizeMichael Goulet-3/+3
2022-11-09lint auto passAndyJado-0/+3
2022-11-07Add an optional Span to BrAnon and use it to print better error for HRTB erro...Jack Huey-0/+3
2022-10-27(almost) Always use ObligationCtxt when dealing with canonical queriesMichael Goulet-23/+18
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-60/+28
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-2/+2
2022-10-07Introduce TypeErrCtxtCameron Steffen-32/+28
2022-08-14TypeError can be CopyMichael Goulet-3/+1