about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/universal_regions.rs
AgeCommit message (Expand)AuthorLines
2025-08-08borrowck: move error tainting earlierlcnr-5/+5
2025-07-30Make sure to account for the right item universal regions in borrowckMichael Goulet-6/+21
2025-07-04Remove Symbol for Named LateParam/Bound variantsMichael Goulet-3/+3
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-4/+4
2025-04-11remove redundant fieldslcnr-0/+4
2025-04-08update if let to match in universal_regions.rsxizheyin-11/+11
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-2/+2
2025-03-15Auto merge of #138532 - matthiaskrgr:rollup-mgcynqu, r=matthiaskrgrbors-0/+14
2025-03-15Squash fold into tyMichael Goulet-2/+1
2025-03-14Check type of const param correctly in MIR typeckMichael Goulet-0/+14
2025-02-23Rollup merge of #137334 - compiler-errors:edition-2024-fresh-2, r=saethlin,tr...Jacob Pratt-4/+4
2025-02-23Rollup merge of #137180 - compiler-errors:sym-regions, r=oli-obkMatthias Krüger-5/+24
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-4/+4
2025-02-22Make a fake body to store typeck results for global_asmMichael Goulet-5/+24
2025-02-22Fix overcapturing, unsafe extern blocks, and new unsafe opsMichael Goulet-1/+1
2025-02-18Rollup merge of #135711 - estebank:issue-135649, r=davidtwcoMatthias Krüger-1/+5
2025-02-18Move methods from `Map` to `TyCtxt`, part 2.Nicholas Nethercote-1/+1
2025-02-08Rustfmtbjorn3-4/+4
2025-01-18Do not ICE on default_field_value const with lifetimesEsteban Küber-1/+5
2025-01-14mir borrowck: cleanup late-bound region handlinglcnr-39/+26
2024-12-29address review commentsRémy Rakic-1/+1
2024-12-21Auto merge of #134501 - lcnr:member-constraints-yeet, r=oli-obkbors-0/+4
2024-12-20remove non-borrowck member constraintslcnr-0/+4
2024-12-18introduce `LateParamRegionKind`lcnr-8/+10
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-2/+1
2024-12-03Rollup merge of #133545 - clubby789:symbol-intern-lit, r=jieyouxuMatthias Krüger-6/+4
2024-11-28Replace `Symbol::intern` calls with preinterned symbolsclubby789-6/+4
2024-11-28uplift fold_regions to rustc_type_irlcnr-3/+3
2024-11-19Put `param_env` into `infcx`.Nicholas Nethercote-8/+3
2024-11-19Clean up `UniversalRegions`.Nicholas Nethercote-2/+2
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-12/+9
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-6/+6
2024-09-09Rename some lifetimes.Nicholas Nethercote-2/+2
2024-09-04fix ICE when `asm_const` and `const_refs_to_static` are combinedFolkert de Vries-2/+12
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-21/+21
2024-07-29Reformat `use` declarations.Nicholas Nethercote-4/+6
2024-05-29Stop proving outlives constraints on regions we already reported errors onOli Scherer-3/+17
2024-05-06BorrowckInferCtxt: infcx by valuelcnr-3/+3
2024-04-29Remove `extern crate rustc_middle` from numerous crates.Nicholas Nethercote-0/+1
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-2/+2
2024-02-19Prefer `DiagnosticBuilder` over `Diagnostic` in diagnostic modifiers.Nicholas Nethercote-2/+2
2024-02-16Move trait into attr so it's greppableMichael Goulet-2/+2
2024-02-16Use extension trait deriveMichael Goulet-20/+2
2024-02-14clean up potential_query_instability with FxIndexMap and UnordMapyukang-5/+2
2024-02-09Rollup merge of #120693 - nnethercote:invert-diagnostic-lints, r=davidtwcoMatthias Krüger-0/+3
2024-02-06More comments, final tweaksMichael Goulet-0/+8
2024-02-06Bless tests, add commentsMichael Goulet-1/+4
2024-02-06Teach typeck/borrowck/solvers how to deal with async closuresMichael Goulet-1/+57
2024-02-06Invert diagnostic lints.Nicholas Nethercote-0/+3