Repository navigation
Tracking issue for Lazy Normalization of Constants #72219
Description
As a subpart of #60471, this tracks the work around normalizing constants that began with #71973.
Background and links to reading material
There is a hackmd that sketched out some notes and a basic plan, though it's evolved some since then.
FIXMEs and issues to be resolved
- Detection of illegal regions in opaque types for constants
- Diagnostics for mismatched types
- Post lazy normalization for consts cleanup (#71973) #72129 misc cleanup
Activity
lcnr commentedon May 15, 2020
lcnr commentedon Jul 6, 2020
Lazy normalization of constants can be experimented with by either using
#![feature(const_generics)]or just#![feature(lazy_normalization_consts)].Rollup merge of rust-lang#78365 - lcnr:const-eval-obj-safety, r=oli-obk
Auto merge of rust-lang#79135 - lcnr:the-paleogenesis-of-generic-germ…
lcnr commentedon Jun 24, 2022
the nature and our understanding of lazy normalization for constants has considerably evolved over the last 2 years and I don't think this issue has a purpose anymore. Going to close this.