class A {}

class B extends A {}

class C {
  B get y => throw '';
  void set x(A value) {}
}

class D extends C {
  get y => throw '';
  void set x(value) {}
}

class E extends D {
  B get y => throw '';
  void set x(A value) {}
}

class F extends D {
  A get y => throw '';
  void set x(B value) {}
}

main() {}