// Copyright (c) 2014, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

// @dart = 2.9

class A<T> {
  void method1(T t) => null; //# 01: ok
  void method2(T t) => null; //# 02: compile-time error
  void method4(T t) => null; //# 04: compile-time error
  void method5(T t) => null; //# 05: ok
  void method7(T t) => null; //# 07: compile-time error
}

class B<S> extends A
<S> //# 01: continued
<num> //# 02: continued
<S> //# 04: continued
<S> //# 05: continued
{
  void method1(S s) => null; //# 01: continued
  void method2(int i) => null; //# 02: continued
  void method3(S s) => null; //# 03: ok
  void method4(int i) => null; //# 04: continued
  void method6(S s) => null; //# 06: compile-time error
}

abstract class I<U> {
  void method3(U u) => null; //# 03: continued
  void method6(U u) => null; //# 06: continued
  void method7(U u) => null; //# 07: continued
  void method8(U u) => null; //# 08: compile-time error
  void method9(U u) => null; //# 09: compile-time error
  void method10(U u) => null; //# 10: compile-time error
}

abstract class J<V> {
  void method8(V v) => null; //# 08: continued
  void method9(V v) => null; //# 09: continued
  void method10(V v) => null; //# 10: continued
}

abstract class Class<W> extends B
<double> //# 03: continued
<W> //# 05: continued
<W> //# 06: continued
<int> //# 07: continued
    implements
        I
<int> //# 03: continued
<num> //# 06: continued
<String> //# 07: continued
<int> //# 08: continued
<int> //# 09: continued
<int> //# 10: continued
        ,
        J
<String> //# 08: continued
<num> //# 09: continued
<num> //# 10: continued
{
  void method3(num i) => null; //# 03: continued
  void method5(W w) => null; //# 05: continued
  void method6(int i) => null; //# 06: continued
  void method7(double d) => null; //# 07: continued
  void method8(double d) => null; //# 08: continued
}

class SubClass extends Class {
  void method9(double d) => null; //# 09: continued
  void method10(String s) => null; //# 10: continued
}

main() {
  new SubClass();
}