Claude
bc91b9c8d0
Type, record and primitive patterns, guards, sealed exhaustiveness, MatchException via separate compilation, and eight captured transcripts. Co-Authored-By: Claude Sonnet 5 <[email protected]> Claude-Session: https://claude.ai/code/session_01TF9JWFvJSNm6HVzswzZU5a
7 lines
227 B
Java
7 lines
227 B
Java
public class BoxedToNarrower {
|
|
public static void main(String[] args) {
|
|
Integer boxed = 300;
|
|
if (boxed instanceof byte b) System.out.println("fits a byte: " + b); // Integer to byte is not allowed
|
|
}
|
|
}
|