// "Convert to record class" "true-preview"

import org.jetbrains.annotations.NotNull;

record Problem(int myColumn, int myLine, @NotNull String code) {
    // Notice: order of parameters differs from order of instance fields 

    static Problem make() {
        int columnArg = 42;
        int lineArg = 0;
        return new Problem(columnArg, lineArg, "");
    }
}
