1 files changed, 9 insertions, 0 deletions
diff --git a/tests/untried/pos/t6301.scala b/tests/untried/pos/t6301.scala
new file mode 100644
index 000000000..fa81bbfa7
--- /dev/null
+++ b/tests/untried/pos/t6301.scala
@@ -0,0 +1,9 @@
+trait LoadedOver[@specialized(Int) A] {
+  def foo(x: Any): A
+  def foo(xs: String): A
+}
+
+object Test {
+  def loaded: AnyRef with LoadedOver[Int] = sys.error("")
+  loaded.foo("")
+}