// 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 static member of an extension cannot be accessed
/// through an extension override
/// (see https://github.com/dart-lang/language/issues/481 for more details)
/// @author iarkh@unipro.ru


extension MySmart on Object {
  static void smartHelper() {}
}

main() {
  MySmart("12345").smartHelper();
//                 ^
// [analyzer] unspecified
// [cfe] unspecified
}