blob: 06c863fbca6067181c3831455fcfbf5f00242e29 [file] [log] [blame]
// Copyright (c) 2016, 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 'dart:math' as math;
import 'dart:math' show min; // <-- generic: <T extends num>(T, T) -> T
import 'package:expect/expect.dart';
class C {
T m<T extends num>(T x, T y) => min(x, y);
int m2(int x, int y) => min(x, y);
typedef int Int2Int2Int(int x, int y);
void _test(Int2Int2Int f) {
int y = f(123, 456);
Expect.equals(y, 123);
// `f` doesn't take type args.
Expect.throws(() => (f as dynamic)<int>(123, 456));
void _testParam(T minFn<T extends num>(T x, T y)) {
main() {
// Strong mode infers: `min<int>`
// Test simple/prefixed identifiers and property access
_test(new C().m);
// Test local function, variable, and parameter
T m<T extends num>(T x, T y) => min(x, y);
final f = min;
// A few misc tests for methods
Expect.equals(123, (new C() as dynamic).m<int>(123, 456));
Expect.throws(() => (new C() as dynamic).m2<int>(123, 456));