variance modifiers for type projections are separate modifier nodes, not part of the type name

3 files changed, 15 insertions, 0 deletions

diff --git a/test/data/format/typeProjectionVariance.kt b/test/data/format/typeProjectionVariance.kt
new file mode 100644
index 00000000..85ee344d
--- /dev/null
+++ b/test/data/format/typeProjectionVariance.kt
@@ -0,0 +1 @@
+fun <T> Array<out T>.foo() {}
diff --git a/test/data/format/typeProjectionVariance.md b/test/data/format/typeProjectionVariance.md
new file mode 100644
index 00000000..9812ca3f
--- /dev/null
+++ b/test/data/format/typeProjectionVariance.md
@@ -0,0 +1,8 @@
+[test](test/index) / [Array](test/-array/index)
+
+
+### Extensions for Array
+
+
+| [foo](test/-array/foo) | `fun &lt;T&gt; Array&lt;out&nbsp;T&gt;.foo(): Unit` |
+
diff --git a/test/src/format/MarkdownFormatTest.kt b/test/src/format/MarkdownFormatTest.kt
index b0c254ba..7e379cf9 100644
--- a/test/src/format/MarkdownFormatTest.kt
+++ b/test/src/format/MarkdownFormatTest.kt
@@ -116,4 +116,10 @@ public class MarkdownFormatTest {
             markdownService.appendNodes(tempLocation, output, model.members.single().members)
         }
     }
+
+    Test fun typeProjectionVariance() {
+        verifyOutput("test/data/format/typeProjectionVariance.kt", ".md") { model, output ->
+            markdownService.appendNodes(tempLocation, output, model.members.single().members)
+        }
+    }
 }