https://kotlinlang.org logo
#language-proposals
Title
# language-proposals
d

dmitry.petrov

02/29/2016, 9:25 AM
We have some ideas regarding a (limited) support of
@Contract
annotations (defining some basic nullability-related contracts, possibly extended to more general smartcasts). No design yet.