this post was submitted on 10 Oct 2024

128 points (95.1% liked)

Programmer Humor

19370 readers

75 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

Keep content in english
No advertisements
Posts must be related to programming or programmer topics

founded 1 year ago

MODERATORS

128

When you manage to break the type system (lemmy.world)

submitted 1 week 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 week 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 week ago* (last edited 6 days 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 week 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