Rémy Rakic
79d761d93c
remove allow_two_phase_borrow
...
it's been simplified over the years, but now it's no longer useful.
- document its replacement in `BorrowKind`
- use that everywhere instead
2025-01-01 12:13:33 +00:00
Scott McMurray
5ba54c9e31
Delete Rvalue::Len
...
Everything's moved to `PtrMetadata` instead.
2024-12-22 06:12:39 -08:00
lcnr
9cba14b95b
use TypingEnv when no infcx is available
...
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-11-18 10:38:56 +01:00
Lukas Markeffsky
bd31e3ed70
be even more precise about "cast" vs "coercion"
2024-09-24 23:12:02 +02:00
Lukas Markeffsky
46ecb23198
unify dyn* coercions with other pointer coercions
2024-09-24 22:17:55 +02:00
Ralf Jung
35709be02d
rename AddressOf -> RawBorrow inside the compiler
2024-08-18 19:46:53 +02:00
Nicholas Nethercote
84ac80f192
Reformat use declarations.
...
The previous commit updated `rustfmt.toml` appropriately. This commit is
the outcome of running `x fmt --all` with the new formatting options.
2024-07-29 08:26:52 +10:00
Nicholas Nethercote
09006d6a88
Convert some module-level // and /// comments to //!.
...
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-06-20 09:23:18 +10:00
Scott McMurray
95c0e5c6a8
Remove Rvalue::CheckedBinaryOp
2024-05-17 20:33:02 -07:00
Nadrieril
50531806ee
Add a non-shallow fake borrow
2024-04-20 16:01:35 +02:00
Nadrieril
511bd78863
Rework fake borrow calculation
2024-04-20 16:01:35 +02:00
joboet
989660c3e6
rename expose_addr to expose_provenance
2024-04-03 16:00:38 +02:00
Ralf Jung
038e7c6c38
rename MIR int2ptr casts to match library name
2024-03-23 13:18:33 +01:00
Ralf Jung
cb86303342
ctfe interpreter: extend provenance so that it can track whether a pointer is immutable
2023-12-07 17:46:36 +01:00
Nilstrieb
21a870515b
Fix clippy::needless_borrow in the compiler
...
`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-21 20:13:40 +01:00
lcnr
992d93f687
rename BorrowKind::Shallow to Fake
...
also adds some comments
2023-11-08 22:55:28 +01:00
ouz-a
cd7f471931
Add docs, remove code, change subtyper code
2023-10-02 23:39:44 +03:00
Ralf Jung
c94410c145
rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::Const
2023-09-21 08:12:30 +02:00
Ralf Jung
be8f5f6e7f
organize mir pretty.rs and move more things into it; move statement-related things out of mir/mod.rs
2023-09-19 11:06:32 +02:00
