New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[K2] Properties inherited from Java fields/synthetic properties with types that can be nullable shown as nullable #3675

Open

atyrin opened this issue Jul 5, 2024 · 0 comments

Labels

Contributor

atyrin commented Jul 5, 2024 •

edited

Loading

// Java:
public class Parent {
    public String parentField;
}

// Kotlin:
class Child: Parent()

In K1 the parentField on Child page shown as a String

In K2 in it String?

Probably it is a good practice to consider Java code as nullable, but formally it is not a correct type.

NB: on Parent page Dokka shows a non-nullable type String

Dokka version: 2.0.0

The text was updated successfully, but these errors were encountered:

atyrin added bug topic: K2 labels

atyrin mentioned this issue

[K2] Regression testing of K2 analysis, second iteration [Kotlin/JVM] #3550

Open

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment