blob: cca98f3abdbbaa0db0571c55f9b97bc87f512e9b [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;
void test(List<num> nums) {
for (var /*@type=num*/ x in nums) {
if (x is int) {
var /*@type=int*/ y = /*@promotedType=int*/ x;
main() {}