Language/Expressions/Property_Extraction/Getter_Access_and_Method_Extraction/instance_of_type_getter_t02.dart

// Copyright (c) 2015, 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 Otherwise, i is a getter invocation. Let f be the result of
 * looking up getter m in o with respect to L. If o is an instance of Type
 * but e is not a constant type literal, then if f is a getter that forwards
 * to a static getter, getter lookup fails.
 * @description Check that if object is a constant type literal and result of
 * getter lookup forwards to a static getter, then lookup does not fail
 * @author sgrekhov@unipro.ru
 */
import '../../../../Utils/expect.dart';

class C {
  static int get s => 0;
  int get m => 1;
}

main() {
  var i = C.s;
  Expect.equals(0, i);
}