about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2024-10-04Avoid `&Rc<T>` arguments.Nicholas Nethercote-25/+22
2024-10-04Avoid `Rc` in `BodyWithBorrowckFacts`.Nicholas Nethercote-7/+4
2024-10-04Use `Box` instead of `Rc` for `polonius_output`.Nicholas Nethercote-7/+9
2024-10-04Use `Rc` less in `MirBorrowckCtxt`.Nicholas Nethercote-25/+17
2024-10-02Move in_trait into OpaqueTyOriginMichael Goulet-2/+2
2024-10-02Use named fields for OpaqueTyOriginMichael Goulet-2/+2
2024-10-02Remove redundant in_trait from hir::TyKind::OpaqueDefMichael Goulet-1/+1
2024-10-02make `Borrows` dataflow dumps about its loan domainRémy Rakic-11/+1
2024-09-27borrowck: use subtyping instead of equality for ptr-to-ptr castsLukas Markeffsky-1/+1
2024-09-25Stabilize the `map`/`value` methods on `ControlFlow`Scott McMurray-1/+0
2024-09-25Auto merge of #130803 - cuviper:file-buffered, r=joshtriplettbors-2/+3
2024-09-24Dogfood `feature(file_buffered)`Josh Stone-2/+3
2024-09-24be even more precise about "cast" vs "coercion"Lukas Markeffsky-33/+48
2024-09-24replace "cast" with "coercion" where applicableLukas Markeffsky-13/+20
2024-09-24unify dyn* coercions with other pointer coercionsLukas Markeffsky-1/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-162/+149
2024-09-18Begin experimental support for pin reborrowingEric Holk-1/+1
2024-09-14Rollup merge of #130294 - nnethercote:more-lifetimes, r=lcnrLeón Orell Valerian Liehr-73/+73
2024-09-13Rollup merge of #130297 - nnethercote:dataflow-cleanups, r=cjgillotMatthias Krüger-98/+96
2024-09-13Rename `FlowState` as `Domain`.Nicholas Nethercote-98/+96
2024-09-13Rename and reorder lots of lifetimes.Nicholas Nethercote-67/+67
2024-09-13Rename some lifetimes.Nicholas Nethercote-6/+6
2024-09-13Auto merge of #107251 - dingxiangfei2009:let-chain-rescope, r=jieyouxubors-17/+122
2024-09-12Rollup merge of #130235 - compiler-errors:nested-if, r=michaelwoeristerStuart Cook-43/+36
2024-09-11Rollup merge of #130114 - eduardosm:needless-returns, r=compiler-errorsJubilee-2/+2
2024-09-11Also fix if in elseMichael Goulet-8/+4
2024-09-11Simplify some nested if statementsMichael Goulet-35/+32
2024-09-11downgrade borrowck suggestion level due to possible span conflictDing Xiang Fei-14/+29
2024-09-11rescope temp lifetime in let-chain into IfElseDing Xiang Fei-17/+107
2024-09-09Remove needless returns detected by clippy in the compilerEduardo Sánchez Muñoz-2/+2
2024-09-09Rename some lifetimes.Nicholas Nethercote-5/+5
2024-09-09Remove unnecessary lifetimes in dataflow structs.Nicholas Nethercote-111/+101
2024-09-06Rollup merge of #129969 - GrigorenkoPV:boxed-ty, r=compiler-errorsMatthias Krüger-3/+4
2024-09-06Rollup merge of #129021 - compiler-errors:ptr-cast-outlives, r=lcnrMatthias Krüger-7/+64
2024-09-06Make `Ty::boxed_ty` return an `Option`Pavel Grigorenko-3/+4
2024-09-05Check unnormalized signature on pointer castMichael Goulet-7/+64
2024-09-04fix ICE when `asm_const` and `const_refs_to_static` are combinedFolkert de Vries-2/+12
2024-09-04propagate `tainted_by_errors` in `MirBorrowckCtxt::emit_errors`Folkert de Vries-1/+1
2024-09-02chore: Fix typos in 'compiler' (batch 1)Alexander Cyon-2/+2
2024-08-31Rollup merge of #129767 - nnethercote:rm-extern-crate-tracing-4, r=jieyouxuMatthias Krüger-3/+38
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_borrowck`.Nicholas Nethercote-3/+38
2024-08-30add borrows to NLL MIR dumpsRémy Rakic-1/+14
2024-08-30refactor NLL MIR dump entry pointRémy Rakic-15/+23
2024-08-30enable extra comments in NLL MIR dumpsRémy Rakic-21/+40
2024-08-27Rollup merge of #129340 - stephen-lazaro:u/slazaro/issue-129274, r=compiler-e...Matthias Krüger-2/+3
2024-08-27Rollup merge of #126013 - nnethercote:unreachable_pub, r=UrgauMatthias Krüger-68/+74
2024-08-26Rollup merge of #129590 - compiler-errors:ref-tykind, r=fmeaseMatthias Krüger-2/+2
2024-08-25Avoid taking reference of &TyKindMichael Goulet-2/+2
2024-08-22Deduplicate Spans in Uninitialized CheckStephen Lazaro-2/+3
2024-08-19Use subtyping for UnsafeFnPointer coercion, tooMichael Goulet-2/+2