I see that `checkNotNull` s implementation has this nifty Co kotlinlang #getting-started

I see that `checkNotNull`'s implementation has thi...

kevinmost

02/16/2018, 9:33 PM

I see that `checkNotNull`'s implementation has this nifty Contract DSL in it now:

Copy code

contract {
        returns() implies (value != null)
    }

I wonder if that's being used in any way by the compiler/lint tools?

2 Views