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

import "package:expect/expect.dart";

class A {
  dynamic foo(a) {
    baz() {
      Expect.fail('Should not be reachable');
    }

    return baz;
  }
}

main() {
  Expect.throws(() {
    dynamic x = A().foo(1);
    x<List>();
  }, (e) => e is NoSuchMethodError);
}