| // 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. |
| |
| // @dart = 2.7 |
| // |
| // dart2jsOptions=--experiment-new-rti |
| |
| import "package:expect/expect.dart"; |
| |
| @pragma('dart2js:noInline') |
| dynamic makeFunction(x) { |
| // Return a local function since that does not require any tear-off code. |
| dynamic foo<U extends V, V extends num>() { |
| // Returning x ensures this is a local function and will not be optimized to |
| // a static tear-off. |
| return x; |
| } |
| |
| return foo; |
| } |
| |
| @pragma('dart2js:noInline') |
| void test(dynamic action, bool expectThrows) { |
| // Don't use Expect.throws because it is hard to call without implicit type |
| // checks. |
| try { |
| // There is no type check here, just a dynamic 'call' selector. |
| action(); |
| } catch (e, st) { |
| if (expectThrows) return; |
| Expect.fail('Should throw'); |
| return; |
| } |
| if (expectThrows) { |
| Expect.fail('Did not throw'); |
| } |
| } |
| |
| main() { |
| dynamic f = makeFunction(123); |
| |
| test(() => f<String, int>(), true); |
| test(() => f<num, num>(), false); |
| } |