How Kotlin infers Java method parameter nullability?

Question

I'm trying to call Java method org.springframework.data.mongodb.core.query.Update#set from Kotlin code. This method is declared as

public Update set(String key, Object value)

There is no additional annotations or comments about parameters nullability. In fact, it just puts value into HashMap, so effectively value might be null.

However, Kotlin compiler treats value type as Any (instead of expected Any!), and fails when passing null with

Null can not be a value of a non-null type Any

Passing nullable value with !! patently causes KotlinNullPointerException, casting as Any throws TypeCastException.

What is the logic behind such nullability inference? Passing null parameter with reflection actually works well, but is there more natural solution?

github.com/spring-projects/spring-data-mongodb/blob/…

Adamovskiy
– Adamovskiy

2019-09-19 13:11:20 +00:00
Commented Sep 19, 2019 at 13:11 — Adamovskiy
– Adamovskiy, Commented Sep 19, 2019 at 13:11

Alexey Romanov · Accepted Answer · 2019-09-19 14:29:17Z

6

This is caused by the annotation in the package's package-info.java:

@org.springframework.lang.NonNullApi
package org.springframework.data.mongodb.core.query;

which is

A common Spring annotation to declare that parameters and return values are to be considered as non-nullable by default for a given package... used by Kotlin to infer nullability of Spring API

answered Sep 19, 2019 at 14:29

Alexey Romanov

172k38 gold badges329 silver badges509 bronze badges

Sign up to request clarification or add additional context in comments.

Collectives™ on Stack Overflow

How Kotlin infers Java method parameter nullability?

1 Answer 1

Comments

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

1 Answer 1

Comments

Your Answer

Sign up or log in

Post as a guest

Related