// Another variant of the polymorphic value problem.
// This is perfectly fine
-var tuple1 = (1:[], True:[]);
+tuple1() { return (1:[], True:[]); }
// This should fail.
-var l = [];
-var tuple2 = (1:l, True:l);
+l() { return [];}
+tuple2() { return (1:l, True:l);}
main() { return; }
+
+//result: does not fail!
\ No newline at end of file