annotate test/tools/javac/generics/inference/6638712/T6638712b.out @ 316:22872b24d38c

6638712: Inference with wildcard types causes selection of inapplicable method Summary: Added global sanity check in order to make sure that return type inference does not violate bounds constraints Reviewed-by: jjg
author mcimadamore
date Tue, 16 Jun 2009 10:46:37 +0100
parents
children ed31953ca025
rev   line source
mcimadamore@316 1 T6638712b.java:37:21: compiler.err.invalid.inferred.types: T, (compiler.misc.inferred.do.not.conform.to.bounds: T6638712b<java.lang.Integer>, T6638712b<java.lang.String>)
mcimadamore@316 2 1 error