X10 2.2 language design decisions (umbrella)

XTENLANG-1914 Revisit the entire design of property fields and methods in interfaces

XTENLANG-2163 Method and outer class type parameters have to be alpha-renamed before code generation

XTENLANG-2217 Shadowing of type parameters should be disallowed

XTENLANG-2266 Typechecker confused by package, struct, and variable with the same name.

XTENLANG-2305 In-line interface in class doesn't compile in Java back end

XTENLANG-2387 Recursive local declaration should be prohibited

XTENLANG-2389 Constraint system is confused between self, this, and outer this.

XTENLANG-920 Upcast of function types requires wrapping/type conversions due to co/contra variance of arguments/return type

XTENLANG-1415 "for loops" are rejected if the constraint is wrong even for DYNAMIC_CALLS

XTENLANG-1512 Compiler fails to report on illegal overloading with generics

XTENLANG-1923 Formally define the language of legal constraints

XTENLANG-1930 Interface invariants are effectively ignored by the compiler

XTENLANG-2405 X10 currently have no syntax for calling operators of the superclass

XTENLANG-2435 When inferring the return type, we should consider overriding methods and HasType.

XTENLANG-2469 Implement new 'at' and 'athome' constructs.

XTENLANG-1885 Support break/continue/return from at's

XTENLANG-2436 X10 needs top-level type definitions

XTENLANG-2444 Remove co-and contra- variance from the language

XTENLANG-2482 Change (e as T) to not propagate self constraints; introduce (e asalso {c})

XTENLANG-1913 Copying semantics: copying 'at' should not copy 'this'

XTENLANG-1667 Remove the next and resume keywords from the language

XTENLANG-1703 Support "operator#(...)" syntax for invoking operators

XTENLANG-2465 Need to define semantics for STATIC_CALLS/DYNAMIC_CALLS (and possibly rename to STATIC_CHECKS/DYNAMIC_CHECKS)

XTENLANG-2302 Destructuring Points should check their size.

XTENLANG-2458 Typedef definition