this post was submitted on 10 Oct 2024
130 points (95.1% liked)

Programmer Humor

19652 readers
2171 users here now

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

founded 1 year ago
MODERATORS
anzo
Feyter
BurningTurtle
pylapp
130
When you manage to break the type system (lemmy.world)
submitted 1 month ago by [email protected] to c/programmer_humor
13 comments fedilink hide all child comments
 
you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 1 points 1 month ago (1 children)

Yes

[–] [email protected] 1 points 1 month ago (1 children)

Interesting. Care to share? I think they fixed a few of those issues with K2. Did you find something new or is it known?

[–] [email protected] 8 points 1 month ago* (last edited 1 month ago) (1 children)

It was about 3 years ago, and I haven't been able to find my old code again. I probably discarded it after finding out it didn't work well. I was able to find this screenshot though:

[–] [email protected] 3 points 1 month ago

Uh. Probably not exactly your case, but I managed to "reproduce" them.

The first case is easy if you just override the setter of a property, and is more a feature of the language rather than a bug.

The second case is more tricky, but by using a generic delegate you can manage to trick it by doing an unchecked cast. Got the same warning in IntelliJ as well.

Link: https://pl.kotl.in/pIt-uHw7d