openide/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlightingPatternsInSwitch/PatternMatchingWithGuard.java

class Main {
  static int m(Object o) {

    int i1 = switch(<error descr="Incompatible types. Found: 'java.lang.Object', required: 'char, byte, short, int, Character, Byte, Short, Integer, String, or an enum'">o</error>) {
      case String s && s.length() > 0 -> s.length();
      case String s -> s.length();
      default -> 1;
    };

    int i2 = switch(<error descr="Incompatible types. Found: 'java.lang.Object', required: 'char, byte, short, int, Character, Byte, Short, Integer, String, or an enum'">o</error>) {
      case String s && (s.length() > 0) -> s.length();
      case String s -> s.length();
      default -> 1;
    };

    if (o instanceof (String s && s.length() > 0)) {}
    if (o instanceof (String s && (s.length() > 0))) {}

    return i1 + i2;
  }
}