aboutsummaryrefslogtreecommitdiff
path: root/core/src
diff options
context:
space:
mode:
authorVadim Mishenev <vad-mishenev@yandex.ru>2022-06-08 01:15:23 +0300
committerGitHub <noreply@github.com>2022-06-08 01:15:23 +0300
commit8c2a79f39377892be44d752d0958efb9b83f1fce (patch)
tree8ee91d4fa05fa31fb82df9ac1639812ff2840d4c /core/src
parent2e4121457a0fbae1a216007aee6c84a01be628f5 (diff)
downloaddokka-8c2a79f39377892be44d752d0958efb9b83f1fce.tar.gz
dokka-8c2a79f39377892be44d752d0958efb9b83f1fce.tar.bz2
dokka-8c2a79f39377892be44d752d0958efb9b83f1fce.zip
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
Diffstat (limited to 'core/src')
-rw-r--r--core/src/main/kotlin/model/Documentable.kt5
1 files changed, 5 insertions, 0 deletions
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<out T : Bound> : Projection() {
abstract val inner: T
}