From 8c2a79f39377892be44d752d0958efb9b83f1fce Mon Sep 17 00:00:00 2001 From: Vadim Mishenev Date: Wed, 8 Jun 2022 01:15:23 +0300 Subject: Support definitely non-nullable types (#2520) * Support definitely non-nullable types [Definitely non-nullable types](https://github.com/Kotlin/KEEP/blob/c72601cf35c1e95a541bb4b230edb474a6d1d1a8/proposals/definitely-non-nullable-types.md) are enabled since Kotlin 1.7 --- core/src/main/kotlin/model/Documentable.kt | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'core/src/main') diff --git a/core/src/main/kotlin/model/Documentable.kt b/core/src/main/kotlin/model/Documentable.kt index 0f73c8e1..73ab35d4 100644 --- a/core/src/main/kotlin/model/Documentable.kt +++ b/core/src/main/kotlin/model/Documentable.kt @@ -459,6 +459,11 @@ data class UnresolvedBound( // The following Projections are not AnnotationTargets; they cannot be annotated. data class Nullable(val inner: Bound) : Bound() +/** + * It introduces [definitely non-nullable types](https://github.com/Kotlin/KEEP/blob/c72601cf35c1e95a541bb4b230edb474a6d1d1a8/proposals/definitely-non-nullable-types.md) + */ +data class DefinitelyNonNullable(val inner: Bound) : Bound() + sealed class Variance : Projection() { abstract val inner: T } -- cgit