about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/lib.rs
AgeCommit message (Expand)AuthorLines
2024-06-27Rename `'cx` to `'infcx`Oli Scherer-23/+23
2024-06-26Restrict diagnostic context lifetime of mir borrowck to InferCtxt instead of ...Oli Scherer-19/+19
2024-06-26Split lifetimes on mir borrowck dataflowOli Scherer-19/+19
2024-06-24Separate the mir body lifetime from the other lifetimesOli Scherer-34/+39
2024-06-24Separate the lifetimes of the `BorrowckInferCtxt` from the other borrowed itemsOli Scherer-12/+14
2024-06-14make uninitialized_error_reported a set of localsbeepster4096-1/+1
2024-06-12Use `tidy` to sort crate attributes for all compiler crates.Nicholas Nethercote-1/+3
2024-05-17Remove `Rvalue::CheckedBinaryOp`Scott McMurray-2/+1
2024-05-06borrowck: more eagerly prepopulate opaqueslcnr-0/+28
2024-05-06BorrowckInferCtxt: infcx by valuelcnr-19/+15
2024-05-01Step bootstrap cfgsMark Rousskov-1/+0
2024-04-29Remove `extern crate rustc_middle` from numerous crates.Nicholas Nethercote-2/+1
2024-04-23Rollup merge of #122598 - Nadrieril:full-derefpats, r=matthewjasperLeón Orell Valerian Liehr-13/+16
2024-04-21Add `AggregateKind::RawPtr` and enough support to compileScott McMurray-1/+2
2024-04-20Add a non-shallow fake borrowNadrieril-13/+16
2024-04-08Auto merge of #122077 - oli-obk:eager_opaque_checks4, r=lcnrbors-2/+1
2024-04-08Eliminate `DefiningAnchor` now that is just a single-variant enumOli Scherer-2/+1
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+2
2024-03-22Make RawPtr take Ty and Mutbl separatelyMichael Goulet-2/+2
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-1/+1
2024-03-19Auto merge of #122055 - compiler-errors:stabilize-atb, r=oli-obkbors-1/+1
2024-03-11Make `DefiningAnchor::Bind` only store the opaque types that may be constrain...Oli Scherer-4/+1
2024-03-08Stabilize associated type boundsMichael Goulet-1/+1
2024-03-08Rollup merge of #121563 - Jarcho:use_cf, r=petrochenkovMatthias Krüger-0/+1
2024-03-08Rollup merge of #119365 - nbdd0121:asm-goto, r=AmanieuMatthias Krüger-2/+3
2024-03-05Use `ControlFlow` in HIR visitorsJason Newcomb-0/+1
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-22/+18
2024-02-24Implement asm goto in MIR and MIR loweringGary Guo-1/+2
2024-02-24Change InlineAsm to allow multiple targets insteadGary Guo-1/+1
2024-02-20Reduce capabilities of `Diagnostic`.Nicholas Nethercote-0/+2
2024-02-13Bump `indexmap`clubby789-1/+2
2024-02-12remove a bunch of dead parameters in fnyukang-2/+1
2024-02-08Taint borrowck results without running any borrowck if the MIR body was alrea...Oli Scherer-4/+5
2024-02-06Teach typeck/borrowck/solvers how to deal with async closuresMichael Goulet-0/+1
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-2/+8
2024-02-02Rename `BorrowckErrors` as `BorrowckDiags`.Nicholas Nethercote-24/+24
2024-02-02Remove `BorrowckErrors::tainted_by_errors`.Nicholas Nethercote-39/+46
2024-02-02Remove `BorrowckErrors::set_tainted_by_errors`.Nicholas Nethercote-5/+0
2024-02-02Rename `buffer_non_error_diag` as `buffer_non_error`.Nicholas Nethercote-3/+3
2024-01-25Remove unused featuresclubby789-3/+0
2024-01-23Rename `TyCtxt::emit_spanned_lint` as `TyCtxt::emit_node_span_lint`.Nicholas Nethercote-1/+1
2024-01-15compiler: Lower fn call arg spans down to MIRMartin Nordholts-1/+1
2024-01-11Stop using `DiagnosticBuilder::buffer` in `BorrowckErrors`.Nicholas Nethercote-9/+10
2023-12-28Movability doesn't need to be a query anymoreMichael Goulet-1/+1
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-6/+7
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-3/+4
2023-12-23Give `DiagnosticBuilder` a default type.Nicholas Nethercote-13/+8
2023-12-18Rename `Session::span_diagnostic` as `Session::dcx`.Nicholas Nethercote-1/+1
2023-12-15Split `Handler::emit_diagnostic` in two.Nicholas Nethercote-2/+2
2023-12-02Auto merge of #118470 - nnethercote:cleanup-error-handlers, r=compiler-errorsbors-3/+3