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

/// @assertion Instance variables are variables whose declarations are
/// immediately contained within a class declaration and that are not declared
/// static. The instance variables of a class C are those instance variables
/// declared by C and the instance variables inherited by C from its superclass.
/// @description Checks that class instance variables may be inherited from a
/// superclass. Test type alias
/// @author sgrekhov@unipro.ru

// SharedOptions=--enable-experiment=nonfunction-type-aliases
import '../../../Utils/expect.dart';

class A {
    var a = 1;
}
class B extends A {
    var b = 2;
}
class C extends B {
    var c = 3;
}
typedef CAlias = C;

main() {
  CAlias c = new CAlias();
  Expect.equals(1, c.a);
  Expect.equals(2, c.b);
  Expect.equals(3, c.c);
}