We have some ideas regarding a (limited) support o...

# language-proposals

[dmitry.petrov]

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.