fork download

copy

/* package whatever; // don't place package name! */
 
import java.util.*;
import java.lang.*;
import java.io.*;
 
/* Name of the class has to be "Main" only if the class is public. */
class GenericClass<T> {
}
 
abstract class AbstractClass<T, G extends GenericClass<T>> {
    public AbstractClass(Class<G> generic, T something) { }
}
 
class GeneralClass<T> extends AbstractClass<T, GenericClass<T>> {
    public GeneralClass(Class<GenericClass> generic, T something) {
        super(generic, something);    // !error, asking for Class<GenericClass<T>>
    }
}
 
public class Main {
	public static void main(String[] args){
		GeneralClass<GenericClass<String>> foo = new GeneralClass<>(new Class<GenericClass<String>>(), "foo");
	}
}

Main.java:17: error: constructor AbstractClass in class AbstractClass<T#2,G> cannot be applied to given types;
        super(generic, something);    // !error, asking for Class<GenericClass<T>>
        ^
  required: Class<GenericClass<T#1>>,T#1
  found: Class<GenericClass>,T#1
  reason: actual argument Class<GenericClass> cannot be converted to Class<GenericClass<T#1>> by method invocation conversion
  where T#1,T#2,G are type-variables:
    T#1 extends Object declared in class GeneralClass
    T#2 extends Object declared in class AbstractClass
    G extends GenericClass<T#2> declared in class AbstractClass
Main.java:23: error: Class() has private access in Class
		GeneralClass<GenericClass<String>> foo = new GeneralClass<>(new Class<GenericClass<String>>(), "foo");
		                                                            ^
Main.java:23: error: cannot infer type arguments for GeneralClass<>;
		GeneralClass<GenericClass<String>> foo = new GeneralClass<>(new Class<GenericClass<String>>(), "foo");
		                                         ^
  reason: no instance(s) of type variable(s) T exist so that argument type Class<GenericClass<String>> conforms to formal parameter type Class<GenericClass>
  where T is a type-variable:
    T extends Object declared in class GeneralClass
3 errors

Standard output is empty