Details
-
Improvement
-
Status: Open
-
Minor
-
Resolution: Unresolved
-
3.1.0
-
None
-
None
Description
An AttributeReference effectively caches the nullability of its referent when it is created. Some optimization rules can transform a nullable attribute into a non-nullable one, but the references to it are not updated.
We could add a transformation rule that visits every AttributeReference and fixes its nullability after optimization.