about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/places_conflict.rs
AgeCommit message (Collapse)AuthorLines
2025-09-26ProjectionElem::Subtype -> CastKind::Subtypebeepster4096-2/+0
2025-01-31Implement MIR, CTFE, and codegen for unsafe bindersMichael Goulet-1/+6
2025-01-18Revert "Auto merge of #134330 - scottmcm:no-more-rvalue-len, r=matthewjasper"Rémy Rakic-1/+2
This reverts commit e108481f74ff123ad98a63bd107a18d13035b275, reversing changes made to 303e8bd768526a5812bb1776e798e829ddb7d3ca.
2024-12-22Delete `Rvalue::Len`Scott McMurray-2/+1
Everything's moved to `PtrMetadata` instead.
2024-10-10update `rustc_borrowck::places_conflict` doc-commentonur-ozkan-1/+1
Signed-off-by: onur-ozkan <work@onurozkan.dev>
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_borrowck`.Nicholas Nethercote-0/+1
2024-08-25Avoid taking reference of &TyKindMichael Goulet-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-5/+5
The previous commit updated `rustfmt.toml` appropriately. This commit is the outcome of running `x fmt --all` with the new formatting options.
2024-04-29Remove `extern crate rustc_middle` from numerous crates.Nicholas Nethercote-0/+1
2024-04-20Add a non-shallow fake borrowNadrieril-3/+3
2024-02-06Invert diagnostic lints.Nicholas Nethercote-2/+0
That is, change `diagnostic_outside_of_impl` and `untranslatable_diagnostic` from `allow` to `deny`, because more than half of the compiler has be converted to use translated diagnostics. This commit removes more `deny` attributes than it adds `allow` attributes, which proves that this change is warranted.
2023-11-08rename `BorrowKind::Shallow` to `Fake`lcnr-3/+3
also adds some comments
2023-10-02Add docs, remove code, change subtyper codeouz-a-3/+2
2023-10-02subtyping_projectionsouz-a-0/+3
2023-06-27Extract the local != local case in borrow_conflicts_with_place.Camille GILLOT-76/+67
2023-06-27Auto merge of #112693 - ericmarkmartin:use-more-placeref, r=spastorinobors-20/+7
Use PlaceRef abstractions more often Associated issue: https://github.com/rust-lang/rust/issues/80647 r? `@spastorino`
2023-06-25use PlaceRef abstractions more consistentlyEric Mark Martin-20/+7
2023-06-20merge `BorrowKind::Unique` into `BorrowKind::Mut`Ziru Niu-2/+4
2023-05-23Allow consumers to retrieve borrowck outputJonáš Fiala-2/+2
2023-01-14Removed various double spaces in compiler source comments.André Vennberg-1/+1
2022-11-23OpaqueCast projections are always overlapping, they can't possibly be disjointOli Scherer-10/+4
2022-11-09lint auto passAndyJado-0/+2
Revert "lint auto pass" This reverts commit e58e4466384924c491a932d3f18ef50ffa5a5065.
2022-09-16Revert "Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, ↵Oli Scherer-0/+13
r=estebank"" This reverts commit 4a742a691e7dd2522bad68b86fe2fd5a199d5561.
2022-08-29Various changes to logging of borrowck-related codeJack Huey-10/+5
2022-07-20Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank"Oli Scherer-13/+0
This reverts commit 6f8fb911ad504b77549cf3256a09465621beab9d, reversing changes made to 7210e46dc69a4b197a313d093fe145722c248b7d.
2022-07-15Introduce opaque type to hidden type projectionOli Scherer-0/+13
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-2/+2
2022-02-273 - Make more use of let_chainsCaio-4/+2
Continuation of #94376. cc #53667
2021-09-07Move rustc_mir::borrow_check to new crate rustc_borrowck.Camille GILLOT-0/+539