aboutsummaryrefslogtreecommitdiff
path: root/tests/disabled/not-representable/pos
diff options
context:
space:
mode:
Diffstat (limited to 'tests/disabled/not-representable/pos')
-rw-r--r--tests/disabled/not-representable/pos/t1803.flags1
-rw-r--r--tests/disabled/not-representable/pos/t1803.scala3
2 files changed, 4 insertions, 0 deletions
diff --git a/tests/disabled/not-representable/pos/t1803.flags b/tests/disabled/not-representable/pos/t1803.flags
new file mode 100644
index 000000000..d1a824416
--- /dev/null
+++ b/tests/disabled/not-representable/pos/t1803.flags
@@ -0,0 +1 @@
+-Yinfer-argument-types \ No newline at end of file
diff --git a/tests/disabled/not-representable/pos/t1803.scala b/tests/disabled/not-representable/pos/t1803.scala
new file mode 100644
index 000000000..94b59a480
--- /dev/null
+++ b/tests/disabled/not-representable/pos/t1803.scala
@@ -0,0 +1,3 @@
+// No parameter type inference in Dotty
+class A { def foo[A](a: A) = a }
+class B extends A { override def foo[A](b) = b }