--- /dev/null
+class C {}
+
+extends C {
+ fun void test() { <<< __func__ >>>; }
+}
+
+const C c;
+c.test();
--- /dev/null
+#! [contains] abstract functions in extends
+extends Event {
+ fun void test();
+}
--- /dev/null
+#! [contains] extend final type
+class final C {}
+
+extends C {
+ fun void test() {}
+}
--- /dev/null
+#! [contains] only compound types can be extended
+extends int {
+ fun void test(){}
+}
--- /dev/null
+class C:[A] {}
+
+extends C:[int] {
+ fun void test() { <<< __func__ >>>; }
+}
+
+const C:[int] c;
+c.test();