JavaCompilerCore/resources/bytecode/javFiles/SwitchInfered.jav

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

public record Rec(Object a, Object b) {}



public class SwitchInfered {
    public main(o) {
        return switch (o) {
        case Rec(a, b) -> "asd";
        default -> "cde";
        };
    }
}