Add dependent function type testcase

pikinier20 · pikinier20 · commit f2888c43be50 · 2022-02-15T13:04:42.000+01:00
diff --git a/scaladoc-testcases/src/tests/typesSignatures.scala b/scaladoc-testcases/src/tests/typesSignatures.scala
@@ -37,6 +37,8 @@ class Base
   type I = (Int, String, Int) => (String, Int)
 
   type J = (a: A) => a.type
+
+  type K = [A] => (a: A) => a.type
 }
 
 class Operators

Original file line number	Diff line number	Diff line change
`@@ -37,6 +37,8 @@ class Base`
`37`	`37`	`type I = (Int, String, Int) => (String, Int)`
`38`	`38`
`39`	`39`	`type J = (a: A) => a.type`
	`40`	`+`
	`41`	`+ type K = [A] => (a: A) => a.type`
`40`	`42`	`}`
`41`	`43`
`42`	`44`	`class Operators`