#! [contains] 1
+#! [skip] Do to a window bug
class C {
10 => var int i;
}
#! [contains] 1
+#! [skip] due to a window bug
class C {
10 => var int i;
}
--- /dev/null
+typedef int MoreThan10
+ when self > 10;
+
+fun void test(const MoreThan10 i) { <<< "test: ", i >>>; }
+test(11);
--- /dev/null
+typedef int MoreThan10
+ when self > 10;
+
+fun void test(const MoreThan10 i) { <<< "test: ", i >>>; }
+test(1);
--- /dev/null
+typedef int MoreThan10
+ when <<< __func__ >>>;
+
+fun void test(const MoreThan10 i) { <<< "test: ", i >>>; }
+test(1);