search

jspecify / jspecify-reference-checker

The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)
https://jspecify.org
Apache License 2.0
26 stars 7 forks source link

Treat Kotlin code as null-unmarked #209

Open cpovirk opened 2 months ago

cpovirk commented 2 months ago

per https://github.com/jspecify/jspecify/issues/611

Obviously it would then be a nice addition to read the nullness information from the @kotlin.Metadata annotation, but it's possible that https://youtrack.jetbrains.com/issue/KT-47417/Emit-jspecify-annotations-for-types-in-Kotlin-binaries will happen before we get around to it, in which case we wouldn't need to.