Kotlin
Learn Community Try Online
Overview
Kotlin for Server Side
Kotlin for Android
Kotlin for JavaScript
Kotlin for Native
Coroutines
Multiplatform
What's New in 1.1
What's New in 1.2
What's New in 1.3
Getting Started
Basic Syntax
Idioms
Coding Conventions
Basics
Basic Types
Packages and Imports
Control Flow
Returns and Jumps
Classes and Objects
Classes and Inheritance
Properties and Fields
Interfaces
Visibility Modifiers
Extensions
Data Classes
Sealed Classes
Generics
Nested Classes
Enum Classes
Objects
Inline Classes
Delegation
Delegated Properties
Functions and Lambdas
Functions
Lambdas
Inline Functions
Multiplatform Programming
Platform-Specific Declarations
Building with Gradle
Other
Destructuring Declarations
Collections
Ranges
Type Checks and Casts
This expressions
Equality
Operator overloading
Null Safety
Exceptions
Annotations
Reflection
Type-Safe Builders
Type Aliases
Core Libraries
Standard Library
kotlin.test
Reference
Keywords and Operators
Grammar
Java Interop
Calling Java from Kotlin
Calling Kotlin from Java
JavaScript
Dynamic Type
Calling JavaScript from Kotlin
Calling Kotlin from JavaScript
JavaScript Modules
JavaScript Reflection
JavaScript DCE
Native
Concurrency
Immutability
Kotlin Libraries
Platform Libraries
C Interop
Objective-C and Swift Interop
Gradle Plugin
Debugging
FAQ
Coroutines
Coroutines Guide
Basics
Cancellation and Timeouts
Channels
Composing Suspending Functions
Coroutine Context and Dispatchers
Exception Handling
Select Expression
Shared Mutable State and Concurrency
Tools
Documenting Kotlin Code
Using Kapt
Using Gradle
Using Maven
Using Ant
Kotlin and OSGi
Compiler plugins
Coding Conventions
Evolution
Kotlin Evolution
Stability of different components
Compatibility Guide for Kotlin 1.3
FAQ
FAQ
Comparison to Java
kotlin-stdlib / kotlin.contracts / ReturnsNotNull

ReturnsNotNull

Common
JVM
JS
Native
1.3
interface ReturnsNotNull : SimpleEffect

Describes a situation when a function returns normally with any non-null return value.

See Also

ContractBuilder.returnsNotNull

Licensed under the Apache 2 license
Sponsored and developed by JetBrains
esc