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

// @dart = 2.9

/// @assertion Static member declarations in the extension declaration can be
/// accessed the same way as static members of a class or mixin declaration: By
/// prefixing with the extension's name.
/// @description Check that non-static member can not be accessed by prefixing
/// with the extension's name
/// @author iarkh@unipro.ru


extension MySmart on Object {
  int getId() => 128;
}

main() {
  MySmart.getId();
//        ^
// [analyzer] unspecified
// [cfe] unspecified
}