d2c795932b
Allow projections to be promoted to constants in MIR. This employs the `LvalueContext` additions by @pcwalton to properly extend the MIR promotion of temporaries to allow projections (field accesses, indexing and dereferences) on said temporaries. It's needed both parity with the old constant qualification logic (for current borrowck) and it fixes #38074. The former is *required for soundness* if we accept the RFC for promoting rvalues to `'static` constants. That is, until we get MIR borrowck and the same source of truth will be used for both checks and codegen. |
||
---|---|---|
.. | ||
back | ||
debuginfo | ||
mir | ||
abi.rs | ||
adt.rs | ||
asm.rs | ||
assert_module_sources.rs | ||
attributes.rs | ||
base.rs | ||
builder.rs | ||
cabi_aarch64.rs | ||
cabi_arm.rs | ||
cabi_asmjs.rs | ||
cabi_mips64.rs | ||
cabi_mips.rs | ||
cabi_msp430.rs | ||
cabi_nvptx64.rs | ||
cabi_nvptx.rs | ||
cabi_powerpc64.rs | ||
cabi_powerpc.rs | ||
cabi_s390x.rs | ||
cabi_sparc64.rs | ||
cabi_sparc.rs | ||
cabi_x86_64.rs | ||
cabi_x86_win64.rs | ||
cabi_x86.rs | ||
callee.rs | ||
Cargo.toml | ||
cleanup.rs | ||
collector.rs | ||
common.rs | ||
consts.rs | ||
context.rs | ||
declare.rs | ||
diagnostics.rs | ||
disr.rs | ||
glue.rs | ||
intrinsic.rs | ||
lib.rs | ||
machine.rs | ||
macros.rs | ||
meth.rs | ||
monomorphize.rs | ||
partitioning.rs | ||
README.md | ||
symbol_map.rs | ||
symbol_names_test.rs | ||
trans_item.rs | ||
tvec.rs | ||
type_.rs | ||
type_of.rs | ||
value.rs |