// TODO(multitest): This was automatically migrated from a multitest and may
// contain strange or dead code.

// Copyright (c) 2011, 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.
//
// Unresolved imported symbols are errors.
// In this test, the function myFunc contains malformed types because
// lib12.Library13 is not resolved.

import "package:expect/expect.dart";
import "../library12.dart" as lib12;

typedef

    myFunc(

        param);
typedef

    myFunc2(

        param, int i);

main() {
  Expect.isTrue(((Object? x) => x) is myFunc);
  Expect.isTrue(((Object? x, int y) => x) is myFunc2);
  Expect.isFalse(((Object? x, String y) => x) is myFunc2);
}