これがb=aのとこでコンパイルエラーになる理由は何ですか？
AはTestIを継承したもの、TestClassはTestIを実装している。
総称型の限定において継承と実装は区別されてるんですか？
public static interface TestI {}
public static class TestClass implements TestI {}
private <A extends TestI> void f(TestClass a) {
A b = a;
}