about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2025-02-26Rollup merge of #137201 - estebank:structured-errors-long-ty, r=oli-obkLeón Orell Valerian Liehr-12/+8
2025-02-26Rollup merge of #137529 - klensy:unused3, r=lcnrLeón Orell Valerian Liehr-2/+2
2025-02-25Teach structured errors to display short `Ty`Esteban Küber-12/+8
2025-02-24Don't immediately panic if dropck fails without returning errorsMatthew Jasper-5/+4
2025-02-24cleanup few unused argsklensy-2/+2
2025-02-23Rollup merge of #137334 - compiler-errors:edition-2024-fresh-2, r=saethlin,tr...Jacob Pratt-44/+29
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-44/+29
2025-02-22Fix binding mode problemsMichael Goulet-5/+5
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-21Auto merge of #137397 - matthiaskrgr:rollup-ls2pilo, r=matthiaskrgrbors-22/+16
2025-02-21Rollup merge of #137305 - nnethercote:rustc_middle-2, r=lcnrMatthias Krüger-1/+1
2025-02-21Rollup merge of #137302 - compiler-errors:stray-drop-regions, r=matthewjasperMatthias Krüger-8/+14
2025-02-21Move methods from Map to TyCtxt, part 3.Nicholas Nethercote-22/+16
2025-02-21Make `PassWhere` impl `Copy`.Nicholas Nethercote-1/+1
2025-02-20Don't store a redundant span in user-type projectionsZalathar-6/+5
2025-02-20Flatten the check for ref/non-ref bindingsZalathar-7/+5
2025-02-20Partly flatten the user-type loop in `TypeVerifier::visit_local_decl`Zalathar-30/+33
2025-02-20Use a probe to avoid registering stray region obligations when re-checking dr...Michael Goulet-8/+14
2025-02-20Rollup merge of #137266 - nnethercote:mir-visitor-tweaks, r=compiler-errorsMatthias Krüger-16/+18
2025-02-19Remove `MirVisitable`.Nicholas Nethercote-16/+18
2025-02-19Auto merge of #136539 - matthewjasper:late-normalize-errors, r=compiler-errorsbors-13/+44
2025-02-19Rollup merge of #137216 - amandasystems:cheap-outlives-eval, r=compiler-errorsMatthias Krüger-0/+5
2025-02-19Rollup merge of #137213 - nnethercote:rm-rustc_middle-mir-tcx, r=compiler-errorsMatthias Krüger-7/+3
2025-02-19Remove `rustc_middle::mir::tcx` module.Nicholas Nethercote-7/+3
2025-02-18Rollup merge of #135711 - estebank:issue-135649, r=davidtwcoMatthias Krüger-1/+5
2025-02-18eval_outlives: bail out early if both regions are in the same SCCAmanda Stjerna-0/+5
2025-02-18Move methods from `Map` to `TyCtxt`, part 2.Nicholas Nethercote-29/+25
2025-02-17Clean up dropck code a bitMatthew Jasper-12/+12
2025-02-17Report dropck normalization errors in borrowckMatthew Jasper-13/+44
2025-02-17Rollup merge of #136466 - nnethercote:start-removing-Map, r=cjgillotMatthias Krüger-52/+48
2025-02-17Overhaul the `intravisit::Map` trait.Nicholas Nethercote-15/+15
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-35/+31
2025-02-17Avoid unnecessary use of the `Map` trait.Nicholas Nethercote-2/+2
2025-02-15Rework name_regions to not rely on reverse scc graph for non-member-constrain...Michael Goulet-7/+31
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-13Rollup merge of #136559 - compiler-errors:resolve-regions-for-type-test-failu...Jacob Pratt-2/+5
2025-02-13Improved named region errorsMichael Goulet-2/+5
2025-02-12Auto merge of #135994 - 1c3t3a:rename-unsafe-ptr, r=oli-obkbors-1/+1
2025-02-11Deeply normalize signature in new solverMichael Goulet-6/+72
2025-02-11Deeply normalize in impl headerMichael Goulet-1/+1
2025-02-11Deeply normalize args for implied boundsMichael Goulet-1/+1
2025-02-11Make DeeplyNormalize a real type opMichael Goulet-34/+8
2025-02-10Rename rustc_middle::Ty::is_unsafe_ptr to is_raw_ptrBastian Kersting-1/+1
2025-02-08Rustfmtbjorn3-78/+91
2025-02-06Add opt_alias_variances and use it in outlives codeMichael Goulet-5/+7
2025-02-05Rollup merge of #128045 - pnkfelix:rustc-contracts, r=oli-obkLeón Orell Valerian Liehr-0/+1
2025-02-04fix NLL TLS end of function spansRémy Rakic-1/+13