2 files changed, 39 insertions, 0 deletions
diff --git a/test/scaladoc/run/SI-3448.check b/test/scaladoc/run/SI-3448.check
new file mode 100644
index 0000000000..619c56180b
--- /dev/null
+++ b/test/scaladoc/run/SI-3448.check
@@ -0,0 +1 @@
+Done.
diff --git a/test/scaladoc/run/SI-3448.scala b/test/scaladoc/run/SI-3448.scala
new file mode 100644
index 0000000000..a2d3f59596
--- /dev/null
+++ b/test/scaladoc/run/SI-3448.scala
@@ -0,0 +1,38 @@
+import scala.tools.nsc.doc.model._
+import scala.tools.partest.ScaladocModelTest
+
+object Test extends ScaladocModelTest {
+
+  // Working around the fact that usecases have the form Coll[T] and not Coll[T, U], as required by Map
+  override def code = """
+      /**
+       * @define Coll C[T]
+       */
+      class C[T] {
+        /**
+         * @usecase def foo[T]: $Coll[T]
+         */
+        def foo[T: Numeric]: C[T]
+      }
+
+
+      /**
+       * @define Coll D1[T]
+       */
+      class D[U, T] extends C[T] {
+        protected type D1[Z] = D[U, Z]
+      }
+  """
+
+  // no need for special settings
+  def scaladocSettings = ""
+
+  def testModel(rootPackage: Package) = {
+    // get the quick access implicit defs in scope (_package(s), _class(es), _trait(s), object(s) _method(s), _value(s))
+    import access._
+
+    // just need to check the member exists, access methods will throw an error if there's a problem
+    assert(rootPackage._class("D")._method("foo").resultType.name == "D[U, T]",
+           rootPackage._class("D")._method("foo").resultType.name + " == D[U, T]")
+  }
+}
+\ No newline at end of file