Details
-
Type:
Bug
-
Status:
Open
-
Priority:
Major
-
Resolution: Unresolved
-
Affects Version/s: None
-
Fix Version/s: X10 2.3.2
-
Component/s: X10 Compiler: Front-end Typechecking
-
Labels:None
-
Number of attachments :
Description
public class snoon { class NonNull {self != null} {} class SelfField(p:Int) {self.p == 3} {} }
Both these classes ought to compile, but they currently don't.
ALSO it may well be that the typechecker doesn't check class invariants. However, in the case of NonNull at least, it probably ought to.
Issue Links
- depends upon
-
XTENLANG-1764
Why can't I use this or self in a class invariant?
-
bulk defer of open issues to 2.2.2.