blob: b0f38bea915ca01a58430548bd0d7e4a67024055 [file] [log] [blame]
// TODO(multitest): This was automatically migrated from a multitest and may
// contain strange or dead code.
// @dart = 2.9
// Copyright (c) 2018, 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 Thing {}
class SubThing extends Thing {
void sub() {}
}
class A {
Thing get thing => new Thing();
}
abstract class B implements A {
@override
SubThing get thing;
}
class C extends A //
{}
main() {
new C()
.thing //
;
}