Hacker News new | ask | show | jobs
by saagarjha 3059 days ago
I believe this is called “type narrowing”, and no, Java doesn’t have this.