94c359f7a1
All checks were successful
Build and Test with Maven / Build-and-test-with-Maven (push) Successful in 6m7s
17 lines
300 B
Java
17 lines
300 B
Java
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";
|
|
};
|
|
}
|
|
} |