// Copyright (c) 2013, 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.

class Foo<T> {}

var a = [new Object(), 42];

main() {
  while (false) { // Comply to inlining heuristics.
    // Use an unresolved prefix.
    var foo = Unresolved.foo( /// 01: static type warning
      // Make dart2js generate a call to setRuntimeTypeInfo.
      new Foo<int>(), /// 01: continued
      // Use a one-shot interceptor.
      a[0].toString()); /// 01: continued

    // Do an is test on `Foo` to require setRuntimeTypeInfo.
    print(foo is Foo<int>); /// 01: continued
  }
}