blob: b8ce1a7916fc6be8446c7c0d8200e712506a079a [file] [log] [blame]
// TODO(multitest): This was automatically migrated from a multitest and may
// contain strange or dead code.
// 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 Supertype {
factory Supertype() = X;
}
class X implements Supertype {
X();
}
main() {
X x = new Supertype() as X;
}