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

// Regression test for http://dartbug.com/23056/
// Ensure that Mixin prototypes are initialized before first use.

// Mirrors is the only way to have a getter be equipped with metadata.
@MirrorsUsed(targets: 'M', override: '*')
import 'dart:mirrors';

import 'package:expect/expect.dart';

class M {
  @NoInline()
  bool get foo => true;
}

class A extends Object with M {
  @NoInline()
  bool get foo => super.foo;
}

@AssumeDynamic()
@NoInline()
bool hide(bool x) => x;

main() {
  Expect.isTrue((hide(true) ? new A() : new M()).foo);
}