about summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis/tests
diff options
context:
space:
mode:
authorNoah Lev <camelidcamel@gmail.com>2024-08-05 17:26:46 -0700
committerNoah Lev <camelidcamel@gmail.com>2024-08-05 17:37:12 -0700
commit9479792cb4e6bdb0eba18d91af5ba3096c9007df (patch)
tree63145f73731c50c9f92e2c9d412b195e89c5191d /compiler/rustc_pattern_analysis/tests
parent18906754ccee76cebf92803c487942465c7f79a4 (diff)
downloadrust-9479792cb4e6bdb0eba18d91af5ba3096c9007df.tar.gz
rust-9479792cb4e6bdb0eba18d91af5ba3096c9007df.zip
WF-check struct field types at construction site
Rustc of course already WF-checked the field types at the definition
site, but for error tainting of consts to work properly, there needs to
be an error emitted at the use site. Previously, with no use-site error,
we proceeded with CTFE and ran into ICEs since we are running code with
type errors.

Emitting use-site errors also brings struct-like constructors more in
line with fn-like constructors since they already emit use-site errors
for WF issues.
Diffstat (limited to 'compiler/rustc_pattern_analysis/tests')
0 files changed, 0 insertions, 0 deletions