blob: 2ed5814d0c479fe7951034137473c84f4dcd7994 [file] [log] [blame]
// 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.
/// @assertion All types reified in legacy libraries are reified as legacy types.
/// @description Check that runtime type of the function imported from opted to
/// legacy library can be casted correctly in opted-in code.
/// @author
// Requirements=nnbd-weak
import "../../../Utils/expect.dart";
import "type_reification_legacy_lib.dart";
main() {
var f1 = test1;
F1 f2 = f1 as F1;
F3<int> f3 = f2 as F3;
Expect.throws(() { f3 as F2; });