// The empty list [] usually has polymorphic type forall a.[a], but you
// cannot give the variable l this type. See below what can go wrong.
-var l = [];
f()
{
+ var l = [];
// If l has polymorphic type forall a . [a], the next two lines are possible.
l = 1:l;
l = True:l;
return;
}
+main() {return;}
\ No newline at end of file