JavaCompilerCore/resources/bytecode/javFiles/SwitchNestedValue.jav

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

public record R(Integer i) {}

public class SwitchNestedValue {
    public main(r) {
        return switch(r) {
            case R(10) -> 1;
            case R(20) -> 2;
            case R(i) -> 3;
        };
    }
}