X10 Compiler: Front-end Typechecking

Summary

Front-end bugs related to type-checking.

XTENLANG-2480 2011-02-26T21-11 2013-02-12T07-22 Type bounds do not play nice with coercions
XTENLANG-2643 2011-04-06T09-11 2013-02-12T07-22 The implicit target of an expression may be "self", but that of a call is always "this".
XTENLANG-2823 2011-06-24T09-22 2013-02-12T07-23 A "return" statement in an "at" expression should not be interpreted as the value being computed, but as a return from the enclosing method, and treated accordingly

XTENLANG-3216 2013-05-31T13-46 Last Wednesday 10:35 AM The combination of T isref and T iszero should indicate that null is a valid value of type T
XTENLANG-2376 2011-01-25T16-13 Last Tuesday 11:25 AM Runtime checking a constructor guard for a constructor call (super/this)
XTENLANG-2375 2011-01-25T16-08 Last Tuesday 10:51 AM Allow statements before constructor (super&this) calls, i.e., be more relaxed than java. This affects everything: design, spec, typechecking and codegen.

...and 1 more Show first 5 only