X10 2.2 frontend issues (umbrella)

XTENLANG-614 Ternary expression with void closures fails to typecheck

XTENLANG-747 Entailment rule on inherited method guards not enforced

XTENLANG-989 Failure to verify method constraint correctly

XTENLANG-1234 Method override information not computed correctly in the X10 frontend

XTENLANG-1253 Must switch/case statements all need to have the same integral type?

XTENLANG-1375 Completeness of Reported Errors

XTENLANG-1380 leastCommonAncestorBase handles null in a wrong way (without considering the constraint)

XTENLANG-1383 Compiler should always produce a proper AST after typechecking

XTENLANG-1448 Generic and overriding don't mix well

XTENLANG-1468 Function types should be represented directly (not with Fun_0_x)

XTENLANG-1582 Compiler NPE when typechecking a construct that offers

XTENLANG-1812 front end fails to catch error with missing type parameter

XTENLANG-1816 Inference bug

XTENLANG-1842 Inner (non static member) classes should not have static fields&classes.

XTENLANG-1851 definite assignment is still required if the constructor throws an exception

XTENLANG-1864 Resolution of {{super.field}} is wrong: the qualifier should be the current class (or some enclosing class), but it is the superclass.

XTENLANG-1905 GlobalRef.home() is not equated correctly

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

XTENLANG-1929 {{here}} on a method guard is not "context-sensitive"

XTENLANG-1932 Constraints do not treat "this" of outer instances correctly

XTENLANG-2018 visibility modifier ignored with nested classes

XTENLANG-2162 ICE: java.lang.IndexOutOfBoundsException raised when compiling input program

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

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

XTENLANG-2273 Incorrect return type of the synthetic default constructor

XTENLANG-2277 Incorrect typechecking of operator()X= (e.g., "+=")

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

XTENLANG-2319 Error message does not help resolve problem with construction of dist array entry

XTENLANG-2366 ICE:TYPE DECLARATION caused internal compiler error (java.lang.IndexOutOfBoundsException)

XTENLANG-2370 GENERIC:invocation of operators on type parameter failed to compile

XTENLANG-2387 Recursive local declaration should be prohibited

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

XTENLANG-2401 Context.find should search only by name and erased-signature (i.e., ignore constraints)

XTENLANG-2402 Invariant violations in compiler junit test suite

XTENLANG-2441 Bug in auto-generation of equals methods for struct types

XTENLANG-2485 Remove the syntax for specifying the type of an Array literal

XTENLANG-2503 Remove exceptions that interrupt the flow of typechecking -- report those errors instead

XTENLANG-2509 abstract method impl in subclass with parameter type constrain fails to be recognized

XTENLANG-2535 The compiler reports a type is inconsistent (even though it is), and we shouldn't add constraints to user-specified return types

XTENLANG-2557 ICE: Internal compiler error while typechecking a loop

XTENLANG-2558 ICE: ClassCastException while compiling a file with a syntax error

XTENLANG-2567 Invalid AST created by DYNAMIC_CHECKS for Point rank check in non-Array context.

XTENLANG-2582 front-end: property method is not expanded correctly

XTENLANG-2586 Definite initialization is incorrect for locals and closures

XTENLANG-2587 Compiler generates bad code for Array.map due to variety of problems in dynamic check injection by front-end.

XTENLANG-2592 C++ codegen:DYNAMIC_CHECK:exepcted exception is not thrown on a violation of constraint

XTENLANG-2594 front-end:constraint method call:problems in implicit conversion from Array[Int](1) to Point

XTENLANG-2595 front-end:type checker:operator + on x10.lang.Int in an iteration on element of DistArray[Int](2)

XTENLANG-2603 Constant folding based on constrained type of field leads to incorrect code in presence of dynamic checks.

XTENLANG-2607 Internal compiler error --- ClassCastException

XTENLANG-2610 non-existing annotations should be compilation errors (not ambiguous AST nodes!)

XTENLANG-2612 Compiler incompleteness

XTENLANG-2621 Type variable shadowing doesn't seem to be checked

XTENLANG-2622 null is special in constraints, and is not treated correctly

XTENLANG-2623 Impossible casts need to fail to compile

XTENLANG-2631 getRealXClause returns an inconsistent constraint when using Array as a property

XTENLANG-2635 LCA for two structs that implement the same interface should be that interface (if the structs have no other interface in common)

XTENLANG-2637 DistArray element access:operator+(x10.lang.Int, x10.lang.Int): fails to compile

XTENLANG-2638 Constraint bug - inconsistent environment

XTENLANG-2644 ICE: Java traceback in program with type error

XTENLANG-2645 typechecker bug when using Rail typedef inside of ArrayBuilder

XTENLANG-2646 Closures with bodies that are assignment expressions don't parse

XTENLANG-2652 Reached MAX_RECURSION_DEPTH:compilation ICE reaching max recursion depth

XTENLANG-2661 ICE on CUDAKernelTestTest.x10 at -O

XTENLANG-2662 Post compilation error with duplicate type parameter for m3r.engine.JobRunner.x10

XTENLANG-2667 Explicit casts should be searched both in the source and target types

XTENLANG-2684 Remove the use of exceptions in disambiguation

XTENLANG-2699 Managed backend does not correctly handle nested anonymous classes

XTENLANG-2706 Failed to override method with the same signature

XTENLANG-2709 HeatTransfer samples no longer compile without dynamic checks

XTENLANG-2711 Regression: when having a {T haszero} constraint it interrupts with initialization checks

XTENLANG-2725 The place of method invocation is not computed correctly

XTENLANG-2744 NPE when compiling method guard dynamic checks

XTENLANG-1427 Compiler does not report an error when constructing an instance of a class with a parse error

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

XTENLANG-1939 Typechecker permits "def f() = m()" syntax when m() is a void method

XTENLANG-2022 Inconsistent constraint checking between struct and class

XTENLANG-2156 Equality of unsigned types is broken

XTENLANG-2377 Compiler rejects a legal creation of an inner class (due to non-static inner classes and generics)

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

XTENLANG-2449 Rename STATIC_CALLS and VERBOSE_CALLS to STATIC_CHECKS and VERBOSE_CHECKS

XTENLANG-2456 Constraint system gets confused by the {T haszero} constraints.

XTENLANG-2474 Optimizer:-Optimize compilation throws java.lang.NullPointerException

XTENLANG-2500 Add more operators to X10

XTENLANG-2660 Remove ability for code in an at statement/expr to assign a local variable declared outside the at statement/expr

XTENLANG-1248 Correctly implement constraint lub

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

XTENLANG-2288 The compiler is far too slow to effectively do incremental, test-driven development from the command line

XTENLANG-2483 Performance of name resolution

XTENLANG-2525 'e as T' should print a warning when the built-in cast behavior overrides the user-defined explicit conversion.

XTENLANG-2664 Remove special handling of at's first argument

XTENLANG-2668 Rename error nonterminals in the grammar to have "Error" in the name.

XTENLANG-1564 Extract STATIC_CALLS as a separate phase/stage which removes certain errors from the error queue and inserts dynamic casts

XTENLANG-2458 Typedef definition