Inconsistency in null safety

I wanted to say that you should look at KAnnotator, but it has been retired: Could KAnnotator infer @Immutable and @Pure annotations? - #8 by abreslav