jdk-24/langtools/test/tools/javac/generics/diamond/neg/Neg06.java

/*
 * @test /nodynamiccopyright/
 * @bug 6939620 7020044
 *
 * @summary  Check that diamond works where LHS is supertype of RHS (nilary constructor)
 * @author mcimadamore
 * @compile/fail/ref=Neg06.out Neg06.java -XDrawDiagnostics
 *
 */

class Neg06 {

   static class CSuperFoo<X> {}
   static class CFoo<X extends Number> extends CSuperFoo<X> {}

   CSuperFoo<String> csf1 = new CFoo<>();
}
6939620: Switch to 'complex' diamond inference scheme Implement new inference scheme for diamond operator that takes into account type of actual arguments supplied to constructor Reviewed-by: jjg, darcy 2010-04-14 12:31:55 +01:00			`/*`
			`* @test /nodynamiccopyright/`
7020044: Project Coin: diamond erroneous allowed on some anonymous inner classes Disallow diamond on anonymous innner class creation expression (as per JSR 334's EDR) Reviewed-by: jjg 2011-03-07 14:31:50 +00:00			`* @bug 6939620 7020044`
6939620: Switch to 'complex' diamond inference scheme Implement new inference scheme for diamond operator that takes into account type of actual arguments supplied to constructor Reviewed-by: jjg, darcy 2010-04-14 12:31:55 +01:00			`*`
7020044: Project Coin: diamond erroneous allowed on some anonymous inner classes Disallow diamond on anonymous innner class creation expression (as per JSR 334's EDR) Reviewed-by: jjg 2011-03-07 14:31:50 +00:00			`* @summary Check that diamond works where LHS is supertype of RHS (nilary constructor)`
6939620: Switch to 'complex' diamond inference scheme Implement new inference scheme for diamond operator that takes into account type of actual arguments supplied to constructor Reviewed-by: jjg, darcy 2010-04-14 12:31:55 +01:00			`* @author mcimadamore`
			`* @compile/fail/ref=Neg06.out Neg06.java -XDrawDiagnostics`
			`*`
			`*/`

			`class Neg06 {`

			`static class CSuperFoo<X> {}`
			`static class CFoo<X extends Number> extends CSuperFoo<X> {}`

			`CSuperFoo<String> csf1 = new CFoo<>();`
			`}`