From 4b299afe9b7c323c3a72030a977c50658cad9f8a Mon Sep 17 00:00:00 2001
From: Jiaxiang Chen <jiaxiang@google.com>
Date: Thu, 19 Jan 2023 11:12:13 -0800
Subject: Support Definitely non null type language feature. * Add api for
 definitely non null type element. * Implement definitely non null type
 element for FE1.0.

fixes #1127

(cherry picked from commit c048c6b03374e86379fed40d47be6af5303cb668)
---
 test-utils/testData/api/referenceElement.kt | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'test-utils/testData/api/referenceElement.kt')

diff --git a/test-utils/testData/api/referenceElement.kt b/test-utils/testData/api/referenceElement.kt
index 4f018fb1..513ad429 100644
--- a/test-utils/testData/api/referenceElement.kt
+++ b/test-utils/testData/api/referenceElement.kt
@@ -26,6 +26,7 @@
 // KSClassifierReferenceDescriptorImpl: Qualifier of String is null
 // KSClassifierReferenceDescriptorImpl: Qualifier of Y is X
 // KSClassifierReferenceDescriptorImpl: Qualifier of Z<Int> is X<String>
+// KSDefNonNullReferenceImpl: Enclosed type of T
 // KSClassifierReferenceJavaImpl: Qualifier of H is J<String>
 // KSClassifierReferenceJavaImpl: Qualifier of I is J
 // KSClassifierReferenceJavaImpl: Qualifier of Object is null
@@ -52,6 +53,10 @@ class A<T1> {
     inner class C<T2>
 }
 
+class DefNonNull<T> {
+    val u: T & Any
+}
+
 val x: A.B = A.B()
 val y: A<String>.C<Int> = A<String>().C<Int>()
 
-- 
cgit v1.2.3