Unify post-inference sanity check with Attr.checkMethod Reviewed-by: jjg, dlsmith
Reviewed-by: darcy
Added constructor's actual type info to NewClass AST node Reviewed-by: jjg