From ae0efa77e39c3cf65476572de362fc0dd8d36d0f Mon Sep 17 00:00:00 2001
From: Ilya Chernikov <ilya.chernikov@jetbrains.com>
Date: Thu, 19 Dec 2019 16:28:45 +0100
Subject: [PATCH] [minor] updating fir testdata

---
 ...32189returnTypeWithTypealiasSubtitution.fir.kt | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/compiler/testData/diagnostics/tests/inference/substitutions/kt32189returnTypeWithTypealiasSubtitution.fir.kt b/compiler/testData/diagnostics/tests/inference/substitutions/kt32189returnTypeWithTypealiasSubtitution.fir.kt
index 18c5e2a05e2..244f2b98322 100644
--- a/compiler/testData/diagnostics/tests/inference/substitutions/kt32189returnTypeWithTypealiasSubtitution.fir.kt
+++ b/compiler/testData/diagnostics/tests/inference/substitutions/kt32189returnTypeWithTypealiasSubtitution.fir.kt
@@ -20,3 +20,18 @@ fun buildB() {
     B.Builder().<!UNRESOLVED_REFERENCE!>a2<!>()
     B.Builder().<!UNRESOLVED_REFERENCE!>a3<!>()
 }
+
+// additional example from #KT-34820
+
+class R
+class P
+
+typealias F = R.(P) -> Unit
+
+fun guess(): F? = TODO()
+fun consume(f: F) {}
+
+fun problem() {
+    val p = guess()
+    consume(p ?: {})
+}