Replies: 1 comment
-
|
yes yes yes |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Phase1: Not possible to use 'this' (no method calls etc.)
super-call
Phase2: Everything allowed
Also look at Declaring and Checking Non-null Types in an Object-Oriented Language
Manuel Fähndrich and K. Rustan M. Leino, section 3 and section 9
Beta Was this translation helpful? Give feedback.
All reactions