JavaCompilerCore/resources/bytecode/javFiles/PatternMatchingSpecificity.jav

import java.lang.Integer;
import java.lang.Number;

public record R(Number n) {}

public class PatternMatchingSpecificity {
    public m(R(Number n)) { return 0; }
    public m(R(Integer i)) { return 1; }
}