summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/lib.rs
AgeCommit message (Expand)AuthorLines
2024-08-31Rollup merge of #129767 - nnethercote:rm-extern-crate-tracing-4, r=jieyouxuMatthias Krüger-3/+1
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_borrowck`.Nicholas Nethercote-3/+1
2024-08-30add borrows to NLL MIR dumpsRémy Rakic-1/+1
2024-08-30refactor NLL MIR dump entry pointRémy Rakic-1/+1
2024-08-27Rollup merge of #126013 - nnethercote:unreachable_pub, r=UrgauMatthias Krüger-11/+15
2024-08-18rename AddressOf -> RawBorrow inside the compilerRalf Jung-1/+1
2024-08-16Add `warn(unreachable_pub)` to `rustc_borrowck`.Nicholas Nethercote-11/+15
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-2/+2
2024-07-29Stop using MoveDataParamEnv for places that don't need a param-envMichael Goulet-9/+7
2024-07-29Reformat `use` declarations.Nicholas Nethercote-21/+19
2024-07-11Revert accidental comment deletionGiacomo Stevanato-0/+2
2024-07-08Auto merge of #113128 - WaffleLapkin:become_trully_unuwuable, r=oli-obk,RalfJungbors-2/+7
2024-07-07Support tail calls in mir via `TerminatorKind::TailCall`Maybe Waffle-2/+7
2024-07-04Auto merge of #127170 - bjorn3:no_specialize_index_borrowck, r=michaelwoeristerbors-1/+0
2024-06-30Remove usage of specialization from rustc_borrowckbjorn3-1/+0
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