Connected features
Papers
3 · Virtual Jun 2021 → Varna 2023Allows the same attribute to appear more than once in one attribute-list, matching C (DR).
Adds [[assume(expr)]] to tell the optimizer a condition holds without evaluating it.
Specifies that standard attributes must be syntactically valid even when ignored, and what 'ignoring' may mean (DR).