pkg/front_end/testcases/inference/type_cast.dart.textual_outline_modelled.expect

library test;

A<num> a = new B<int>();

class A<T> {}

class B<T> extends A<T> {
  foo() {}
}

main() {}

var b = (a as B<int>);