// 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.

class A<T> {
  method1(T t) => null; //# 01: ok
  method2(T t) => null; //# 02: ok
  method4(T t) => null; //# 04: static type warning
  method5(T t) => null; //# 05: ok
  method7(T t) => null; //# 07: static type warning
}

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

abstract class I<U> {
  method3(U u) => null; //# 03: continued
  method6(U u) => null; //# 06: continued
  method7(U u) => null; //# 07: continued
  method8(U u) => null; //# 08: static type warning
  method9(U u) => null; //# 09: static type warning
  method10(U u) => null; //# 10: static type warning
}

abstract class J<V> {
  method8(V v) => null; //# 08: continued
  method9(V v) => null; //# 09: continued
  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
{
  method3(num i) => null; //# 03: continued
  method5(W w) => null; //# 05: continued
  method6(int i) => null; //# 06: continued
  method7(double d) => null; //# 07: continued
  method8(double d) => null; //# 08: continued
}

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

main() {
  new SubClass();
}