class Test {
  test<A, B extends A, R>(a: A, b: B): R {}
}