Details
-
Type:
Improvement
-
Status:
Open
-
Priority:
Major
-
Resolution: Unresolved
-
Affects Version/s: None
-
Fix Version/s: X10 2.3.2
-
Component/s: Language Specification, X10 Compiler: Front-end Typechecking
-
Labels:None
-
Number of attachments :
Description
Since "this" can never be null in X10, it should have a non-null type. In other words, in an instance method of a class C[T], "this" should have type C[T]
{self != null}.
bulk defer of 2.3.0 open issues to 2.3.1.