void main () {
	var a = new Example ();
	a.test();
}

class Example:TestOfReturnType {
	public Mismatch test () {
		var a = new Mismatch();
		return a;
	}
}
class Test {
}

class Mismatch {
}

interface TestOfReturnType {
	public abstract Test test ();
}
