This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
E.1.5.2 Nil-annotate Notation / rule 1 statEnv |- nil-annotate as Nillable? Type ( Value1 ) => Value2 s/Nillable?/OptNillable/
Fixed as suggested. - Jerome