JavaTXCompilerInJavaTX/resources/bytecode/javFiles/Switch.jav

import java.lang.Integer;
import java.lang.Object;
import java.lang.Float;

record Rec(Integer a, Object b) {}

public class Switch {
    main(o) {
        return switch (o) {
        case Rec(Integer a, Integer b) -> a + b;
        case Rec(Integer a, Float b) -> a + 10;
        case Rec(Integer a, Rec(Integer b, Integer c)) -> a + b + c;
        case Integer i -> i;
        default -> 0;
        };
    }
}