// Copyright (c) 2013, 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.

// Test use of more specific in type promotion of interface types.

class A {
  var a;
}

class B extends A {
  var b;
}

class C {
  var c;
}

class D<T> {
  T d;

  D(this.d);
}

class E<T> extends D<T> {
  T e;

  E(e)
      : this.e = e,
        super(e);
}

void main() {
  testInterface();
  testGeneric();
}

void testInterface() {
  var x;
  var y;

  A a = new B();
  if (a is B) {
    // Promotion B << A.
    x = a.b; //# 01: ok
  }
  if (a is C) {
    // No promotion C !<< A.
    x = a.c; //# 02: static type warning
  }
  B b = new B();
  if (b is A) {
    // No promotion B !<< A.
    x = b.b; //# 03: ok
  }
  if (x is A) {
    // No promotion A !<< dynamic.
    y = x.b; //# 04: ok
  }
}

testGeneric() {
  var x;
  var y;

  D d1 = new E<B>(null);
  if (d1 is E) {
    // Promotion: E << D.
    x = d1.e; //# 05: ok
  }
  if (d1 is E<A>) {
    // Promotion: E<A> << D.
    int a = d1.d; //# 06: static type warning
    String b = d1.d; //# 07: static type warning
    x = d1.e; //# 08: ok
  }

  D<A> d2 = new E<B>(null);
  if (d2 is E) {
    // No promotion: E !<< D<A>
    x = d2.e; //# 09: static type warning
    int a = d2.e; //# 10: static type warning
    String b = d2.e; //# 11: static type warning
  }

  D<A> d3 = new E<B>(new B());
  if (d3 is E<B>) {
    // Promotion: E<B> << D<A>
    x = d3.d.b; //# 12: ok
    x = d3.e.b; //# 13: ok
  }
}