summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/statement.rs
AgeCommit message (Collapse)AuthorLines
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-2/+2
the behavior of the type system not only depends on the current assumptions, but also the currentnphase of the compiler. This is mostly necessary as we need to decide whether and how to reveal opaque types. We track this via the `TypingMode`.
2024-09-24be even more precise about "cast" vs "coercion"Lukas Markeffsky-1/+1
2024-09-24unify dyn* coercions with other pointer coercionsLukas Markeffsky-1/+0
2024-08-18rename AddressOf -> RawBorrow inside the compilerRalf Jung-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-1/+2
The previous commit updated `rustfmt.toml` appropriately. This commit is the outcome of running `x fmt --all` with the new formatting options.
2024-06-20Convert some module-level `//` and `///` comments to `//!`.Nicholas Nethercote-1/+2
This makes their intent and expected location clearer. We see some examples where these comments were not clearly separate from `use` declarations, which made it hard to understand what the comment is describing.
2024-05-17Remove `Rvalue::CheckedBinaryOp`Scott McMurray-1/+0
2024-04-20Add a non-shallow fake borrowNadrieril-2/+2
2024-04-20Rework fake borrow calculationNadrieril-0/+5
2024-04-03rename `expose_addr` to `expose_provenance`joboet-1/+1
2024-03-23rename MIR int2ptr casts to match library nameRalf Jung-1/+1
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer ↵Ralf Jung-1/+1
is immutable
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
`x clippy compiler -Aclippy::all -Wclippy::needless_borrow --fix`. Then I had to remove a few unnecessary parens and muts that were exposed now.
2023-11-08rename `BorrowKind::Shallow` to `Fake`lcnr-2/+2
also adds some comments
2023-10-02Add docs, remove code, change subtyper codeouz-a-0/+3
2023-09-21rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::ConstRalf Jung-8/+28
2023-09-19organize mir pretty.rs and move more things into it; move statement-related ↵Ralf Jung-0/+441
things out of mir/mod.rs