Reviewed-by: mcimadamore

Reviewed-by: jjh

Reviewed-by: darcy

Reviewed-by: darcy

Reviewed-by: mcimadamore

Reviewed-by: darcy

Summary: Wrong nested loops in Gen.java causes javac to generate bad bytecode
Reviewed-by: jjg

Summary: Types.rewriteQuantifiers() does not work well with recursive type-variable bounds
Reviewed-by: jjg

Summary: resolution of superclass/superinterfaces in extends/implements clause skips local classes
Reviewed-by: jjg

Summary: raw warnings should be disabled in (i) instanceof expressions and (ii) when java.lang.Class is not parameterized
Reviewed-by: jjg

Summary: capture conversion does not work on nested types
Reviewed-by: jjg

Reviewed-by: darcy

Summary: unconstrained type-variables with recursive bounds are not inferred properly
Reviewed-by: jjg

Summary: type annotation should take advantage of recursive annotation checking
Reviewed-by: jjg