summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/lib.rs
AgeCommit message (Expand)AuthorLines
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
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-3/+3
2023-12-01Auto merge of #118216 - lqd:constraint-generation-non-non, r=matthewjasperbors-13/+9
2023-11-27Address unused tuple struct fields in the compilerJake Goulding-1/+2
2023-11-26Auto merge of #118316 - Mark-Simulacrum:delete-copy-to-upvars, r=cjgillotbors-28/+9
2023-11-26Remove Upvar duplicationMark Rousskov-28/+9
2023-11-26merge NLL "constraint generation" into livenessRémy Rakic-1/+0
2023-11-26extract polonius loan invalidations fact generationRémy Rakic-1/+1