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

import "package:expect/expect.dart";

import "helpers/on_object.dart";
import "helpers/on_int.dart" as p1 hide OnInt;

void main() {
  int i = 0;
  Object o = i;
  i.onInt;
  //^^^^^
  // [analyzer] COMPILE_TIME_ERROR.UNDEFINED_GETTER
  // [cfe] The getter 'onInt' isn't defined for the class 'int'.
  i.onObject;
  o.onObject;
}