// "Convert to record class" "true-preview"
class A {
    public record Nested(int j) { // convert to the record
    }
}