Java のパターン変数のスコープを理解する

if (user instanceof Administrator admin) {
    // Here we can access the properties and methods of the admin user.
    admin.addNewUser();
} else if (user instanceof RegularUser regUser) {
    // Here we can only access the properties and methods of a regular user.
    regUser.editProfile();
}

public static boolean bigEnoughRect(Shape s) {
    if (!(s instanceof Rectangle r)) {
        // Here the pattern variable 'r' cannot be used as the instance of Rectangle is false.
        return false;
    }
    // However, we can access the properties and methods of the rectangle 'r' here.
    return r.length() > 5; 
}

if (shape instanceof Rectangle r && r.length() > 5) {
    // Here we can use the pattern variable 'r' to access the properties of a rectangle only if the instance of Rectangle is true.
    System.out.println("This rectangle is big enough!");
}

if (shape instanceof Rectangle r || r.length() > 0) { // error
    // Here we cannot use the pattern variable 'r' as it may or may not exist depending on the instance of Rectangle.
    System.out.println("This is a rectangle with a length greater than 0");
}