My brain is fried, I don't understand this, anyone...

# announcements

[Vampire]

My brain is fried, I don't understand this, anyone a quick helping hand?

Unnecessary safe call on a non-null receiver of type Int?

Why is Int? non-null?
Why is it wrong to use ?. on it?

[Nir]

Are you able to show/isolate the code responsible? Off the cuff, it seems strange.

[Vampire]

This is the line where it is shown:

val buildId = buildId.get()?.let { "=$it" } ?: ""

Where the get() returns an Int?

[Vampire]

Hm, and if I remove the ? it says the opposite,

Unsafe use of a nullable receiver of type Int?

[Vampire]

Wtf. I think I'm just going to blame a drunk IntelliJ

[Nir]

is this an error from actually compiling or just the IDE?

[Nir]

probably not related but maybe try changing the varialbe name?

[Jakub Pi]

You have buildId on both the left and right hand side and declaring it as a val. Where's the original definition?

[Nir]

maybe the shadowing isconfusing the IDE

[Vampire]

I know that I have it on left and right side, one is property of the class, the other a local variable 😉

[Vampire]

And changing the variable name is not changing anything as expected

[Vampire]

The error is in the IDE btw. didn't try to compile yet as I wondered about the message

[Nir]

seems like an IDE bug. might be nice to report to the jetbrains team if you can reasonably reproduce without dragging in tons of code. If you have a small repro in your IDE, I'd be cruiosu to paste it into mine and seein'g if i see the same message

[Vampire]

Hm, maybe IJ is just too intelligent this time.
Actually get() will never return null but throw an exception instead, so even though the type is Int? there will never be null returned

[Vampire]

Anyway, no time to build a repro right now, maybe later

[Nir]

interesting