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

class A {
  int get foo => 42;
}

extension E on A {
  double get bar => 3.14;
}

test(A a, E e) {
  a.foo; // Ok.
  a.bar; // Ok.
  e.foo; // Error.
  e.bar; // Ok.
}

main() {}