blob: a795447b47381c53459e4761b4e5c43c02efb64f [file] [log] [blame]
// Copyright (c) 2017, 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.
library test;
import 'dart:math';
// T max<T extends num>(T x, T y);
f() {
num x;
dynamic y;
num a = /*@typeArgs=num*/ max(
/*info:DYNAMIC_CAST*/ y);
Object b = /*@typeArgs=num*/ max(
/*info:DYNAMIC_CAST*/ y);
dynamic c = /*error:COULD_NOT_INFER*/ /*@typeArgs=dynamic*/ max(x, y);
var /*@type=dynamic*/ d = /*error:COULD_NOT_INFER*/ /*@typeArgs=dynamic*/ max(
x, y);
main() {}