From c8995f3cc8278e95fe304888e11786d9538fe2e4 Mon Sep 17 00:00:00 2001
From: Mikhail Pyltsin <Mikhail.Pyltsin@jetbrains.com>
Date: Fri, 19 Apr 2024 16:21:33 +0200
Subject: [PATCH] [java-highlighting] IDEA-352187 Support JEP 455: highlighting
 for instanceof with primitives

GitOrigin-RevId: cbd688d0945b03bffb05af85825c610889383fc4
---
 .../daemon/impl/analysis/HighlightUtil.java   |   15 +-
 .../analysis/PatternHighlightingModel.java    |   17 +-
 .../messages/JavaPsiBundle.properties         |    1 +
 .../com/intellij/pom/java/JavaFeature.java    |    4 +
 .../InstanceofPrimitivesNotAllowed.java       |   81 ++
 .../RecordPrimitiveInstanceOfPattern.java     | 1137 +++++++++++++++++
 ...dPrimitiveInstanceOfPatternNotAllowed.java | 1137 +++++++++++++++++
 .../SimplePrimitiveInstanceOf.java            | 1068 ++++++++++++++++
 .../SimplePrimitiveInstanceOfPattern.java     | 1068 ++++++++++++++++
 .../daemon/LightPatternsHighlightingTest.java |   10 +-
 ...ightPrimitivePatternsHighlightingTest.java |   38 +
 11 files changed, 4566 insertions(+), 10 deletions(-)
 create mode 100644 java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlightingPatterns/InstanceofPrimitivesNotAllowed.java
 create mode 100644 java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlightingPatterns/RecordPrimitiveInstanceOfPattern.java
 create mode 100644 java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlightingPatterns/RecordPrimitiveInstanceOfPatternNotAllowed.java
 create mode 100644 java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlightingPatterns/SimplePrimitiveInstanceOf.java
 create mode 100644 java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlightingPatterns/SimplePrimitiveInstanceOfPattern.java
 create mode 100644 java/java-tests/testSrc/com/intellij/java/codeInsight/daemon/LightPrimitivePatternsHighlightingTest.java

diff --git a/java/java-analysis-impl/src/com/intellij/codeInsight/daemon/impl/analysis/HighlightUtil.java b/java/java-analysis-impl/src/com/intellij/codeInsight/daemon/impl/analysis/HighlightUtil.java
index 50db617a56b6..69069993ba62 100644
--- a/java/java-analysis-impl/src/com/intellij/codeInsight/daemon/impl/analysis/HighlightUtil.java
+++ b/java/java-analysis-impl/src/com/intellij/codeInsight/daemon/impl/analysis/HighlightUtil.java
@@ -206,19 +206,26 @@ public final class HighlightUtil {
     PsiType checkType = typeElement.getType();
     PsiType operandType = operand.getType();
     if (operandType == null) return;
-    if (TypeConversionUtil.isPrimitiveAndNotNull(operandType)
-        || TypeConversionUtil.isPrimitiveAndNotNull(checkType)
-        || !TypeConversionUtil.areTypesConvertible(operandType, checkType)) {
+    boolean operandIsPrimitive = TypeConversionUtil.isPrimitiveAndNotNull(operandType);
+    boolean checkIsPrimitive = TypeConversionUtil.isPrimitiveAndNotNull(checkType);
+    boolean convertible = TypeConversionUtil.areTypesConvertible(operandType, checkType);
+    boolean primitiveInPatternsEnabled = JavaFeature.PRIMITIVE_TYPES_IN_PATTERNS.isSufficient(PsiUtil.getLanguageLevel(expression));
+    if (((operandIsPrimitive || checkIsPrimitive) && !primitiveInPatternsEnabled) || !convertible) {
       String message = JavaErrorBundle.message("inconvertible.type.cast", JavaHighlightUtil.formatType(operandType), JavaHighlightUtil
         .formatType(checkType));
       HighlightInfo.Builder info =
         HighlightInfo.newHighlightInfo(HighlightInfoType.ERROR).range(expression).descriptionAndTooltip(message);
-      if (TypeConversionUtil.isPrimitiveAndNotNull(checkType)) {
+      if (checkIsPrimitive) {
         IntentionAction action = getFixFactory().createReplacePrimitiveWithBoxedTypeAction(operandType, typeElement);
         if (action != null) {
           info.registerFix(action, null, null, null, null);
         }
       }
+
+      if (((operandIsPrimitive || checkIsPrimitive) && !primitiveInPatternsEnabled) && convertible) {
+        registerIncreaseLanguageLevelFixes(expression, JavaFeature.PRIMITIVE_TYPES_IN_PATTERNS, info);
+      }
+
       errorSink.accept(info);
       return;
     }
diff --git a/java/java-analysis-impl/src/com/intellij/codeInsight/daemon/impl/analysis/PatternHighlightingModel.java b/java/java-analysis-impl/src/com/intellij/codeInsight/daemon/impl/analysis/PatternHighlightingModel.java
index 65d9f55d2f5f..2b59306c4f81 100644
--- a/java/java-analysis-impl/src/com/intellij/codeInsight/daemon/impl/analysis/PatternHighlightingModel.java
+++ b/java/java-analysis-impl/src/com/intellij/codeInsight/daemon/impl/analysis/PatternHighlightingModel.java
@@ -12,6 +12,8 @@ import com.intellij.codeInsight.intention.QuickFixFactory;
 import com.intellij.modcommand.ModCommandAction;
 import com.intellij.openapi.diagnostic.Logger;
 import com.intellij.openapi.util.TextRange;
+import com.intellij.pom.java.JavaFeature;
+import com.intellij.pom.java.LanguageLevel;
 import com.intellij.psi.*;
 import com.intellij.psi.PsiClassType.ClassResolveResult;
 import com.intellij.psi.util.*;
@@ -66,12 +68,16 @@ final class PatternHighlightingModel {
       PsiType recordComponentType = recordComponents[i].getType();
       PsiType substitutedRecordComponentType = substitutor.substitute(recordComponentType);
       PsiType deconstructionComponentType = JavaPsiPatternUtil.getPatternType(deconstructionComponent);
-      if (!isApplicable(substitutedRecordComponentType, deconstructionComponentType)) {
+      if (!isApplicable(substitutedRecordComponentType, deconstructionComponentType, PsiUtil.getLanguageLevel(deconstructionPattern))) {
         hasMismatchedPattern = true;
         if (recordComponents.length == deconstructionComponents.length) {
           HighlightInfo.Builder
             builder = HighlightUtil.createIncompatibleTypeHighlightInfo(substitutedRecordComponentType, deconstructionComponentType,
                                                                         deconstructionComponent.getTextRange(), 0);
+          if (isApplicable(substitutedRecordComponentType, deconstructionComponentType,
+                           JavaFeature.PRIMITIVE_TYPES_IN_PATTERNS.getMinimumLevel())) {
+            HighlightUtil.registerIncreaseLanguageLevelFixes(deconstructionComponent, JavaFeature.PRIMITIVE_TYPES_IN_PATTERNS, builder);
+          }
           errorSink.accept(builder);
           reported = true;
         }
@@ -121,8 +127,9 @@ final class PatternHighlightingModel {
     return HighlightInfo.newHighlightInfo(HighlightInfoType.ERROR).range(pattern).descriptionAndTooltip(message);
   }
 
-  private static boolean isApplicable(@NotNull PsiType recordType, @Nullable PsiType patternType) {
-    if (recordType instanceof PsiPrimitiveType || patternType instanceof PsiPrimitiveType) {
+  private static boolean isApplicable(@NotNull PsiType recordType, @Nullable PsiType patternType, @NotNull LanguageLevel languageLevel) {
+    if ((recordType instanceof PsiPrimitiveType || patternType instanceof PsiPrimitiveType) &&
+        !JavaFeature.PRIMITIVE_TYPES_IN_PATTERNS.isSufficient(languageLevel)) {
       return recordType.equals(patternType);
     }
     return patternType != null && TypeConversionUtil.areTypesConvertible(recordType, patternType);
@@ -921,8 +928,8 @@ final class PatternHighlightingModel {
   }
 
   static class RecordExhaustivenessResult {
-    private boolean isExhaustive;
-    private boolean canBeAdded;
+    private final boolean isExhaustive;
+    private final boolean canBeAdded;
 
     final Map<PsiType, Set<List<PsiType>>> missedBranchesByType = new HashMap<>();
 
diff --git a/java/java-frontback-psi-api/resources/messages/JavaPsiBundle.properties b/java/java-frontback-psi-api/resources/messages/JavaPsiBundle.properties
index b8f6308df613..5db75bd5016c 100644
--- a/java/java-frontback-psi-api/resources/messages/JavaPsiBundle.properties
+++ b/java/java-frontback-psi-api/resources/messages/JavaPsiBundle.properties
@@ -105,6 +105,7 @@ feature.patterns.in.switch=Patterns in switch
 feature.javadoc.snippets=@snippet in Javadoc
 feature.pattern.guard.and.record.patterns=Pattern guards and record patterns
 feature.record.patterns.in.for.each=Record patterns in for-each loops
+feature.primitive.types.in.patterns=Primitive types in patterns, instanceof and switch
 feature.enum.qualified.name.in.switch=Qualified enum as a constant in switch
 feature.string.templates=String templates
 feature.unnamed.vars=Unnamed patterns and variables
diff --git a/java/java-frontback-psi-api/src/com/intellij/pom/java/JavaFeature.java b/java/java-frontback-psi-api/src/com/intellij/pom/java/JavaFeature.java
index 2a49398650a9..c15008d72061 100644
--- a/java/java-frontback-psi-api/src/com/intellij/pom/java/JavaFeature.java
+++ b/java/java-frontback-psi-api/src/com/intellij/pom/java/JavaFeature.java
@@ -97,6 +97,10 @@ public enum JavaFeature {
    */
   RECORD_PATTERNS_IN_FOR_EACH(LanguageLevel.JDK_X, "feature.record.patterns.in.for.each",
                               LanguageLevel.JDK_20_PREVIEW),
+  /**
+   * Implementation for java 23
+   */
+  PRIMITIVE_TYPES_IN_PATTERNS(LanguageLevel.JDK_X, "feature.primitive.types.in.patterns"),
   ;
 
   private final @NotNull LanguageLevel myLevel;
diff --git a/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlightingPatterns/InstanceofPrimitivesNotAllowed.java b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlightingPatterns/InstanceofPrimitivesNotAllowed.java
new file mode 100644
index 000000000000..6eb6c0d9cfe7
--- /dev/null
+++ b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlightingPatterns/InstanceofPrimitivesNotAllowed.java
@@ -0,0 +1,81 @@
+package dfa;
+
+public class InstanceofPrimitivesNotAllowed {
+    public static void main(String[] args) {
+        testPrimitiveToPrimitive();
+        testPrimitiveToObject();
+        testObjectToPrimitive();
+    }
+
+    private static void testObjectToPrimitive() {
+        Integer i = 1;
+        Object l = 1;
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'double'">i instanceof double</error>) { //error
+            System.out.println("double");
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'int'">i instanceof int</error>) { //error
+            System.out.println("int");
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'int'">i instanceof int ii</error>) { //error
+            System.out.println("int pattern");
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Object' to 'double'">l instanceof double</error>) { //error
+            System.out.println("double");
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Object' to 'int'">l instanceof int</error>) { //error
+            System.out.println("int");
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Object' to 'int'">l instanceof int ii</error>) { //error
+            System.out.println("int pattern");
+        }
+    }
+
+    private static void testPrimitiveToPrimitive() {
+        int i = 1;
+        long l = 1;
+        if (<error descr="Inconvertible types; cannot cast 'int' to 'double'">i instanceof double</error>) { //error
+            System.out.println("double");
+        }
+        if (<error descr="Inconvertible types; cannot cast 'int' to 'int'">i instanceof int</error>) { //error
+            System.out.println("int");
+        }
+        if (<error descr="Inconvertible types; cannot cast 'int' to 'int'">i instanceof int ii</error>) { //error
+            System.out.println("int pattern");
+        }
+        if (<error descr="Inconvertible types; cannot cast 'long' to 'double'">l instanceof double</error>) { //error
+            System.out.println("double");
+        }
+        if (<error descr="Inconvertible types; cannot cast 'long' to 'int'">l instanceof int</error>) { //error
+            System.out.println("int");
+        }
+        if (<error descr="Inconvertible types; cannot cast 'long' to 'int'">l instanceof int ii</error>) { //error
+            System.out.println("int pattern");
+        }
+    }
+
+    private static void testPrimitiveToObject() {
+        int i = 1;
+        long l = 1;
+        if (<error descr="Inconvertible types; cannot cast 'int' to 'java.lang.Double'">i instanceof Double</error>) { //error
+            System.out.println("Double");
+        }
+        if (<error descr="Inconvertible types; cannot cast 'int' to 'java.lang.Integer'">i instanceof Integer</error>) { //error
+            System.out.println("Integer");
+        }
+        if (<error descr="Inconvertible types; cannot cast 'int' to 'java.lang.Object'">i instanceof Object</error>) { //error
+            System.out.println("Object");
+        }
+        if (<error descr="Inconvertible types; cannot cast 'int' to 'java.lang.Integer'">i instanceof Integer ii</error>) { //error
+            System.out.println("Integer ii");
+        }
+        if (<error descr="Inconvertible types; cannot cast 'long' to 'java.lang.Double'">l instanceof Double</error>) { //error
+            System.out.println("Double");
+        }
+        if (<error descr="Inconvertible types; cannot cast 'long' to 'java.lang.Integer'">l instanceof Integer</error>) { //error
+            System.out.println("Integer");
+        }
+        if (<error descr="Inconvertible types; cannot cast 'long' to 'java.lang.Object'">l instanceof Object</error>) { //error
+            System.out.println("Object");
+        }
+    }
+}
diff --git a/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlightingPatterns/RecordPrimitiveInstanceOfPattern.java b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlightingPatterns/RecordPrimitiveInstanceOfPattern.java
new file mode 100644
index 000000000000..1b1333810ba7
--- /dev/null
+++ b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlightingPatterns/RecordPrimitiveInstanceOfPattern.java
@@ -0,0 +1,1137 @@
+public class RecordPrimitiveInstanceOfPattern {
+
+    record RecordBool(boolean source) {
+    }
+
+    record RecordInt(int source) {
+    }
+
+    record RecordLong(long source) {
+    }
+
+    record RecordDouble(double source) {
+    }
+
+    record RecordFloat(float source) {
+    }
+
+    record RecordByte(byte source) {
+    }
+
+    record RecordChar(char source) {
+    }
+
+    record RecordShort(short source) {
+    }
+
+    record RecordBoolObj(Boolean source) {
+    }
+
+    record RecordIntObj(Integer source) {
+    }
+
+    record RecordLongObj(Long source) {
+    }
+
+    record RecordDoubleObj(Double source) {
+    }
+
+    record RecordFloatObj(Float source) {
+    }
+
+    record RecordByteObj(Byte source) {
+    }
+
+    record RecordCharObj(Character source) {
+    }
+
+    record RecordShortObj(Short source) {
+    }
+
+    record RecordNumber(Number source) {
+    }
+
+    record RecordObject(Object source) {
+    }
+
+    record RecordRecordInt(RecordInt source) {
+    }
+
+    public static void main(String[] args) {
+        testForRecordBool(new RecordBool(true));
+        testForRecordInt(new RecordInt(1));
+        testForRecordLong(new RecordLong(1L));
+        testForRecordDouble(new RecordDouble(2));
+        testForRecordFloat(new RecordFloat(1.0f));
+        testForRecordByte(new RecordByte((byte) 1));
+        testForRecordChar(new RecordChar('1'));
+        testForRecordShort(new RecordShort((short) 1));
+
+        testForRecordBoolObject(new RecordBoolObj(true));
+        testForRecordIntObject(new RecordIntObj(1));
+        testForRecordLongObject(new RecordLongObj(1L));
+        testForRecordDoubleObject(new RecordDoubleObj(1.0));
+        testForRecordFloatObject(new RecordFloatObj(1.0f));
+        testForRecordByteObject(new RecordByteObj((byte) 1));
+        testForRecordCharObject(new RecordCharObj('a'));
+        testForRecordShortObject(new RecordShortObj((short) 1));
+
+        testForRecordObject(new RecordObject(1));
+        testForRecordNumber(new RecordNumber(1));
+
+        testForRecordRecordInt(new RecordRecordInt(new RecordInt(1)));
+    }
+
+    private static void testForRecordRecordInt(RecordRecordInt source) {
+        if (source instanceof RecordRecordInt(RecordInt(<error descr="Incompatible types. Found: 'boolean', required: 'int'">boolean target</error>))) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordRecordInt(RecordInt(int target))) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForRecordBool(RecordBool source) {
+        if (source instanceof RecordBool(boolean target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'int', required: 'boolean'">int target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'long', required: 'boolean'">long target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'double', required: 'boolean'">double target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'float', required: 'boolean'">float target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'byte', required: 'boolean'">byte target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'char', required: 'boolean'">char target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'short', required: 'boolean'">short target</error>)) { //error
+            System.out.println(target);
+        }
+
+        if (source instanceof RecordBool(Boolean target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'boolean'">Integer target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'boolean'">Long target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'boolean'">Double target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'boolean'">Float target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'boolean'">Byte target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'boolean'">Character target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'boolean'">Short target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBool(Object target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'java.lang.Number', required: 'boolean'">Number target</error>)) { //error
+            System.out.println(target);
+        }
+    }
+
+    private static void testForRecordInt(RecordInt source) {
+        if (source instanceof RecordInt(<error descr="Incompatible types. Found: 'boolean', required: 'int'">boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordInt(int target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordInt(long target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordInt(double target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordInt(float target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordInt(byte target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordInt(char target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordInt(short target)) {
+            System.out.println(target);
+        }
+
+        if (source instanceof RecordInt(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'int'">Boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordInt(Integer target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordInt(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'int'">Long target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordInt(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'int'">Double target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordInt(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'int'">Float target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordInt(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'int'">Byte target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordInt(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'int'">Character target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordInt(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'int'">Short target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordInt(Object target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordInt(Number target)) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForRecordLong(RecordLong source) {
+        if (source instanceof RecordLong(<error descr="Incompatible types. Found: 'boolean', required: 'long'">boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordLong(int target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordLong(long target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordLong(double target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordLong(float target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordLong(byte target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordLong(char target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordLong(short target)) {
+            System.out.println(target);
+        }
+
+        if (source instanceof RecordLong(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'long'">Boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordLong(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'long'">Integer target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordLong(Long target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordLong(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'long'">Double target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordLong(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'long'">Float target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordLong(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'long'">Byte target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordLong(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'long'">Character target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordLong(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'long'">Short target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordLong(Object target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordLong(Number target)) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForRecordDouble(RecordDouble source) {
+        if (source instanceof RecordDouble(<error descr="Incompatible types. Found: 'boolean', required: 'double'">boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordDouble(int target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordDouble(long target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordDouble(double target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordDouble(float target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordDouble(byte target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordDouble(char target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordDouble(short target)) {
+            System.out.println(target);
+        }
+
+        if (source instanceof RecordDouble(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'double'">Boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordDouble(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'double'">Integer target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordDouble(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'double'">Long target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordDouble(Double target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordDouble(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'double'">Float target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordDouble(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'double'">Byte target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordDouble(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'double'">Character target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordDouble(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'double'">Short target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordDouble(Object target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordDouble(Number target)) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForRecordFloat(RecordFloat source) {
+        if (source instanceof RecordFloat(<error descr="Incompatible types. Found: 'boolean', required: 'float'">boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloat(int target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloat(long target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloat(double target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloat(float target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloat(byte target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloat(char target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloat(short target)) {
+            System.out.println(target);
+        }
+
+        if (source instanceof RecordFloat(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'float'">Boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloat(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'float'">Integer target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloat(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'float'">Long target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloat(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'float'">Double target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloat(Float target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloat(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'float'">Byte target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloat(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'float'">Character target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloat(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'float'">Short target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloat(Object target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloat(Number target)) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForRecordByte(RecordByte source) {
+        if (source instanceof RecordByte(<error descr="Incompatible types. Found: 'boolean', required: 'byte'">boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordByte(int target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordByte(long target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordByte(double target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordByte(float target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordByte(byte target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordByte(char target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordByte(short target)) {
+            System.out.println(target);
+        }
+
+        if (source instanceof RecordByte(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'byte'">Boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordByte(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'byte'">Integer target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordByte(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'byte'">Long target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordByte(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'byte'">Double target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordByte(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'byte'">Float target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordByte(Byte target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordByte(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'byte'">Character target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordByte(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'byte'">Short _</error>)) { //error
+            System.out.println();
+        }
+        if (source instanceof RecordByte(Object target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordByte(Number _)) {
+            System.out.println();
+        }
+    }
+
+    private static void testForRecordChar(RecordChar source) {
+        if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'boolean', required: 'char'">boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordChar(int target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordChar(long target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordChar(double target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordChar(float target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordChar(byte target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordChar(char target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordChar(short target)) {
+            System.out.println(target);
+        }
+
+        if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'char'">Boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'char'">Integer target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'char'">Long target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'char'">Double target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'char'">Float target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'char'">Byte target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordChar(Character target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'char'">Short target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordChar(Object target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'java.lang.Number', required: 'char'">Number target</error>)) { //error
+            System.out.println(target);
+        }
+    }
+
+    private static void testForRecordShort(RecordShort source) {
+        if (source instanceof RecordShort(<error descr="Incompatible types. Found: 'boolean', required: 'short'">boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordShort(int target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordShort(long target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordShort(double target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordShort(float target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordShort(byte target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordShort(char target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordShort(short target)) {
+            System.out.println(target);
+        }
+
+        if (source instanceof RecordShort(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'short'">Boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordShort(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'short'">Integer target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordShort(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'short'">Long target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordShort(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'short'">Double target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordShort(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'short'">Float target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordShort(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'short'">Byte target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordShort(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'short'">Character target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordShort(Short target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordShort(Object target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordShort(Number target)) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForRecordBoolObject(RecordBoolObj source) {
+        if (source instanceof RecordBoolObj(boolean target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'int', required: 'java.lang.Boolean'">int target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'long', required: 'java.lang.Boolean'">long target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'double', required: 'java.lang.Boolean'">double target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'float', required: 'java.lang.Boolean'">float target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'byte', required: 'java.lang.Boolean'">byte target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'char', required: 'java.lang.Boolean'">char target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'short', required: 'java.lang.Boolean'">short target</error>)) { //error
+            System.out.println(target);
+        }
+
+        if (source instanceof RecordBoolObj(Boolean target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'java.lang.Boolean'">Integer target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'java.lang.Boolean'">Long target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'java.lang.Boolean'">Double target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'java.lang.Boolean'">Float target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'java.lang.Boolean'">Byte target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'java.lang.Boolean'">Character target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'java.lang.Boolean'">Short target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordBoolObj(Object target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'java.lang.Number', required: 'java.lang.Boolean'">Number target</error>)) { //error
+            System.out.println(target);
+        }
+    }
+
+    private static void testForRecordIntObject(RecordIntObj source) {
+        if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'boolean', required: 'java.lang.Integer'">boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordIntObj(int target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordIntObj(long target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordIntObj(double target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordIntObj(float target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'byte', required: 'java.lang.Integer'">byte target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'char', required: 'java.lang.Integer'">char target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'short', required: 'java.lang.Integer'">short target</error>)) { //error
+            System.out.println(target);
+        }
+
+        if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'java.lang.Integer'">Boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordIntObj(Integer target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'java.lang.Integer'">Long target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'java.lang.Integer'">Double target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'java.lang.Integer'">Float target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'java.lang.Integer'">Byte target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'java.lang.Integer'">Character target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'java.lang.Integer'">Short target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordIntObj(Object target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordIntObj(Number target)) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForRecordLongObject(RecordLongObj source) {
+        if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'boolean', required: 'java.lang.Long'">boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'int', required: 'java.lang.Long'">int target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordLongObj(long target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordLongObj(double target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordLongObj(float target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'byte', required: 'java.lang.Long'">byte target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'char', required: 'java.lang.Long'">char target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'short', required: 'java.lang.Long'">short target</error>)) { //error
+            System.out.println(target);
+        }
+
+        if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'java.lang.Long'">Boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'java.lang.Long'">Integer target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordLongObj(Long target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'java.lang.Long'">Double target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'java.lang.Long'">Float target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'java.lang.Long'">Byte target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'java.lang.Long'">Character target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'java.lang.Long'">Short target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordLongObj(Object target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordLongObj(Number target)) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForRecordDoubleObject(RecordDoubleObj source) {
+        if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'boolean', required: 'java.lang.Double'">boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'int', required: 'java.lang.Double'">int target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'long', required: 'java.lang.Double'">long target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordDoubleObj(double target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'float', required: 'java.lang.Double'">float target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'byte', required: 'java.lang.Double'">byte target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'char', required: 'java.lang.Double'">char target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'short', required: 'java.lang.Double'">short target</error>)) { //error
+            System.out.println(target);
+        }
+
+        if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'java.lang.Double'">Boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'java.lang.Double'">Integer target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'java.lang.Double'">Long target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordDoubleObj(Double target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'java.lang.Double'">Float target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'java.lang.Double'">Byte target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'java.lang.Double'">Character target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'java.lang.Double'">Short target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordDoubleObj(Object target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordDoubleObj(Number target)) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForRecordFloatObject(RecordFloatObj source) {
+        if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'boolean', required: 'java.lang.Float'">boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'int', required: 'java.lang.Float'">int target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'long', required: 'java.lang.Float'">long target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloatObj(double target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloatObj(float target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'byte', required: 'java.lang.Float'">byte target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'char', required: 'java.lang.Float'">char target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'short', required: 'java.lang.Float'">short target</error>)) { //error
+            System.out.println(target);
+        }
+
+        if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'java.lang.Float'">Boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'java.lang.Float'">Integer target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'java.lang.Float'">Long target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'java.lang.Float'">Double target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloatObj(Float target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'java.lang.Float'">Byte target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'java.lang.Float'">Character target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'java.lang.Float'">Short target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloatObj(Object target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordFloatObj(Number target)) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForRecordByteObject(RecordByteObj source) {
+        if (source instanceof RecordByteObj(<error descr="Incompatible types. Found: 'boolean', required: 'java.lang.Byte'">boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordByteObj(int target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordByteObj(long target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordByteObj(double target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordByteObj(float target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordByteObj(byte target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordByteObj(<error descr="Incompatible types. Found: 'char', required: 'java.lang.Byte'">char target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordByteObj(short target)) {
+            System.out.println(target);
+        }
+
+        if (source instanceof RecordByteObj(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'java.lang.Byte'">Boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordByteObj(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'java.lang.Byte'">Integer target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordByteObj(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'java.lang.Byte'">Long target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordByteObj(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'java.lang.Byte'">Double target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordByteObj(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'java.lang.Byte'">Float target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordByteObj(Byte target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordByteObj(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'java.lang.Byte'">Character target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordByteObj(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'java.lang.Byte'">Short target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordByteObj(Object target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordByteObj(Number target)) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForRecordCharObject(RecordCharObj source) {
+        if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'boolean', required: 'java.lang.Character'">boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordCharObj(int target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordCharObj(long target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordCharObj(double target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordCharObj(float target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'byte', required: 'java.lang.Character'">byte target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordCharObj(char target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'short', required: 'java.lang.Character'">short target</error>)) { //error
+            System.out.println(target);
+        }
+
+        if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'java.lang.Character'">Boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'java.lang.Character'">Integer target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'java.lang.Character'">Long target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'java.lang.Character'">Double target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'java.lang.Character'">Float target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'java.lang.Character'">Byte target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordCharObj(Character target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'java.lang.Character'">Short target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordCharObj(Object target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'java.lang.Number', required: 'java.lang.Character'">Number target</error>)) { //error
+            System.out.println(target);
+        }
+    }
+
+    private static void testForRecordShortObject(RecordShortObj source) {
+        if (source instanceof RecordShortObj(<error descr="Incompatible types. Found: 'boolean', required: 'java.lang.Short'">boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordShortObj(int target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordShortObj(long target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordShortObj(double target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordShortObj(float target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordShortObj(<error descr="Incompatible types. Found: 'byte', required: 'java.lang.Short'">byte target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordShortObj(<error descr="Incompatible types. Found: 'char', required: 'java.lang.Short'">char target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordShortObj(short target)) {
+            System.out.println(target);
+        }
+
+        if (source instanceof RecordShortObj(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'java.lang.Short'">Boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordShortObj(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'java.lang.Short'">Integer target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordShortObj(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'java.lang.Short'">Long target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordShortObj(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'java.lang.Short'">Double target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordShortObj(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'java.lang.Short'">Float target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordShortObj(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'java.lang.Short'">Byte target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordShortObj(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'java.lang.Short'">Character target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordShortObj(Short target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordShortObj(Object target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordShortObj(Number target)) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForRecordObject(RecordObject source) {
+        if (source instanceof RecordObject(boolean target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordObject(int target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordObject(long target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordObject(double target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordObject(float target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordObject(byte target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordObject(char target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordObject(short target)) {
+            System.out.println(target);
+        }
+
+        if (source instanceof RecordObject(Boolean target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordObject(Integer target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordObject(Long target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordObject(Double target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordObject(Float target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordObject(Byte target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordObject(Character target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordObject(Short target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordObject(Object target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordObject(Number target)) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForRecordNumber(RecordNumber source) {
+        if (source instanceof RecordNumber(<error descr="Incompatible types. Found: 'boolean', required: 'java.lang.Number'">boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordNumber(int target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordNumber(long target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordNumber(double target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordNumber(float target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordNumber(byte target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordNumber(<error descr="Incompatible types. Found: 'char', required: 'java.lang.Number'">char target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordNumber(short target)) {
+            System.out.println(target);
+        }
+
+        if (source instanceof RecordNumber(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'java.lang.Number'">Boolean target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordNumber(Integer target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordNumber(Long target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordNumber(Double target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordNumber(Float target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordNumber(Byte target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordNumber(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'java.lang.Number'">Character target</error>)) { //error
+            System.out.println(target);
+        }
+        if (source instanceof RecordNumber(Short target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordNumber(Object target)) {
+            System.out.println(target);
+        }
+        if (source instanceof RecordNumber(Number target)) {
+            System.out.println(target);
+        }
+    }
+}
diff --git a/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlightingPatterns/RecordPrimitiveInstanceOfPatternNotAllowed.java b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlightingPatterns/RecordPrimitiveInstanceOfPatternNotAllowed.java
new file mode 100644
index 000000000000..8a631c28ed88
--- /dev/null
+++ b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlightingPatterns/RecordPrimitiveInstanceOfPatternNotAllowed.java
@@ -0,0 +1,1137 @@
+public class RecordPrimitiveInstanceOfPatternNotAllowed {
+
+  record RecordBool(boolean source) {
+  }
+
+  record RecordInt(int source) {
+  }
+
+  record RecordLong(long source) {
+  }
+
+  record RecordDouble(double source) {
+  }
+
+  record RecordFloat(float source) {
+  }
+
+  record RecordByte(byte source) {
+  }
+
+  record RecordChar(char source) {
+  }
+
+  record RecordShort(short source) {
+  }
+
+  record RecordBoolObj(Boolean source) {
+  }
+
+  record RecordIntObj(Integer source) {
+  }
+
+  record RecordLongObj(Long source) {
+  }
+
+  record RecordDoubleObj(Double source) {
+  }
+
+  record RecordFloatObj(Float source) {
+  }
+
+  record RecordByteObj(Byte source) {
+  }
+
+  record RecordCharObj(Character source) {
+  }
+
+  record RecordShortObj(Short source) {
+  }
+
+  record RecordNumber(Number source) {
+  }
+
+  record RecordObject(Object source) {
+  }
+
+  record RecordRecordInt(RecordInt source) {
+  }
+
+  public static void main(String[] args) {
+    testForRecordBool(new RecordBool(true));
+    testForRecordInt(new RecordInt(1));
+    testForRecordLong(new RecordLong(1L));
+    testForRecordDouble(new RecordDouble(2));
+    testForRecordFloat(new RecordFloat(1.0f));
+    testForRecordByte(new RecordByte((byte) 1));
+    testForRecordChar(new RecordChar('1'));
+    testForRecordShort(new RecordShort((short) 1));
+
+    testForRecordBoolObject(new RecordBoolObj(true));
+    testForRecordIntObject(new RecordIntObj(1));
+    testForRecordLongObject(new RecordLongObj(1L));
+    testForRecordDoubleObject(new RecordDoubleObj(1.0));
+    testForRecordFloatObject(new RecordFloatObj(1.0f));
+    testForRecordByteObject(new RecordByteObj((byte) 1));
+    testForRecordCharObject(new RecordCharObj('a'));
+    testForRecordShortObject(new RecordShortObj((short) 1));
+
+    testForRecordObject(new RecordObject(1));
+    testForRecordNumber(new RecordNumber(1));
+
+    testForRecordRecordInt(new RecordRecordInt(new RecordInt(1)));
+  }
+
+  private static void testForRecordRecordInt(RecordRecordInt source) {
+    if (source instanceof RecordRecordInt(RecordInt(<error descr="Incompatible types. Found: 'boolean', required: 'int'">boolean target</error>))) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordRecordInt(RecordInt(int target))) {
+      System.out.println(target);
+    }
+  }
+
+  private static void testForRecordBool(RecordBool source) {
+    if (source instanceof RecordBool(boolean target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'int', required: 'boolean'">int target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'long', required: 'boolean'">long target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'double', required: 'boolean'">double target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'float', required: 'boolean'">float target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'byte', required: 'boolean'">byte target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'char', required: 'boolean'">char target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'short', required: 'boolean'">short target</error>)) {  //error
+      System.out.println(target);
+    }
+
+    if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'boolean'">Boolean target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'boolean'">Integer target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'boolean'">Long target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'boolean'">Double target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'boolean'">Float target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'boolean'">Byte target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'boolean'">Character target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'boolean'">Short target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'java.lang.Object', required: 'boolean'">Object target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBool(<error descr="Incompatible types. Found: 'java.lang.Number', required: 'boolean'">Number target</error>)) {  //error
+      System.out.println(target);
+    }
+  }
+
+  private static void testForRecordInt(RecordInt source) {
+    if (source instanceof RecordInt(<error descr="Incompatible types. Found: 'boolean', required: 'int'">boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordInt(int target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordInt(<error descr="Incompatible types. Found: 'long', required: 'int'">long target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordInt(<error descr="Incompatible types. Found: 'double', required: 'int'">double target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordInt(<error descr="Incompatible types. Found: 'float', required: 'int'">float target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordInt(<error descr="Incompatible types. Found: 'byte', required: 'int'">byte target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordInt(<error descr="Incompatible types. Found: 'char', required: 'int'">char target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordInt(<error descr="Incompatible types. Found: 'short', required: 'int'">short target</error>)) { //error
+      System.out.println(target);
+    }
+
+    if (source instanceof RecordInt(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'int'">Boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordInt(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'int'">Integer target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordInt(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'int'">Long target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordInt(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'int'">Double target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordInt(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'int'">Float target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordInt(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'int'">Byte target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordInt(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'int'">Character target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordInt(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'int'">Short target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordInt(<error descr="Incompatible types. Found: 'java.lang.Object', required: 'int'">Object target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordInt(<error descr="Incompatible types. Found: 'java.lang.Number', required: 'int'">Number target</error>)) { //error
+      System.out.println(target);
+    }
+  }
+
+  private static void testForRecordLong(RecordLong source) {
+    if (source instanceof RecordLong(<error descr="Incompatible types. Found: 'boolean', required: 'long'">boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLong(<error descr="Incompatible types. Found: 'int', required: 'long'">int target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLong(long target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordLong(<error descr="Incompatible types. Found: 'double', required: 'long'">double target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLong(<error descr="Incompatible types. Found: 'float', required: 'long'">float target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLong(<error descr="Incompatible types. Found: 'byte', required: 'long'">byte target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLong(<error descr="Incompatible types. Found: 'char', required: 'long'">char target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLong(<error descr="Incompatible types. Found: 'short', required: 'long'">short target</error>)) { //error
+      System.out.println(target);
+    }
+
+    if (source instanceof RecordLong(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'long'">Boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLong(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'long'">Integer target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLong(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'long'">Long target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLong(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'long'">Double target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLong(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'long'">Float target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLong(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'long'">Byte target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLong(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'long'">Character target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLong(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'long'">Short target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLong(<error descr="Incompatible types. Found: 'java.lang.Object', required: 'long'">Object target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLong(<error descr="Incompatible types. Found: 'java.lang.Number', required: 'long'">Number target</error>)) { //error
+      System.out.println(target);
+    }
+  }
+
+  private static void testForRecordDouble(RecordDouble source) {
+    if (source instanceof RecordDouble(<error descr="Incompatible types. Found: 'boolean', required: 'double'">boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDouble(<error descr="Incompatible types. Found: 'int', required: 'double'">int target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDouble(<error descr="Incompatible types. Found: 'long', required: 'double'">long target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDouble(double target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordDouble(<error descr="Incompatible types. Found: 'float', required: 'double'">float target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDouble(<error descr="Incompatible types. Found: 'byte', required: 'double'">byte target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDouble(<error descr="Incompatible types. Found: 'char', required: 'double'">char target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDouble(<error descr="Incompatible types. Found: 'short', required: 'double'">short target</error>)) { //error
+      System.out.println(target);
+    }
+
+    if (source instanceof RecordDouble(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'double'">Boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDouble(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'double'">Integer target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDouble(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'double'">Long target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDouble(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'double'">Double target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDouble(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'double'">Float target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDouble(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'double'">Byte target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDouble(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'double'">Character target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDouble(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'double'">Short target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDouble(<error descr="Incompatible types. Found: 'java.lang.Object', required: 'double'">Object target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDouble(<error descr="Incompatible types. Found: 'java.lang.Number', required: 'double'">Number target</error>)) { //error
+      System.out.println(target);
+    }
+  }
+
+  private static void testForRecordFloat(RecordFloat source) {
+    if (source instanceof RecordFloat(<error descr="Incompatible types. Found: 'boolean', required: 'float'">boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloat(<error descr="Incompatible types. Found: 'int', required: 'float'">int target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloat(<error descr="Incompatible types. Found: 'long', required: 'float'">long target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloat(<error descr="Incompatible types. Found: 'double', required: 'float'">double target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloat(float target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloat(<error descr="Incompatible types. Found: 'byte', required: 'float'">byte target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloat(<error descr="Incompatible types. Found: 'char', required: 'float'">char target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloat(<error descr="Incompatible types. Found: 'short', required: 'float'">short target</error>)) { //error
+      System.out.println(target);
+    }
+
+    if (source instanceof RecordFloat(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'float'">Boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloat(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'float'">Integer target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloat(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'float'">Long target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloat(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'float'">Double target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloat(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'float'">Float target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloat(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'float'">Byte target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloat(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'float'">Character target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloat(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'float'">Short target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloat(<error descr="Incompatible types. Found: 'java.lang.Object', required: 'float'">Object target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloat(<error descr="Incompatible types. Found: 'java.lang.Number', required: 'float'">Number target</error>)) { //error
+      System.out.println(target);
+    }
+  }
+
+  private static void testForRecordByte(RecordByte source) {
+    if (source instanceof RecordByte(<error descr="Incompatible types. Found: 'boolean', required: 'byte'">boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByte(<error descr="Incompatible types. Found: 'int', required: 'byte'">int target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByte(<error descr="Incompatible types. Found: 'long', required: 'byte'">long target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByte(<error descr="Incompatible types. Found: 'double', required: 'byte'">double target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByte(<error descr="Incompatible types. Found: 'float', required: 'byte'">float target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByte(byte target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordByte(<error descr="Incompatible types. Found: 'char', required: 'byte'">char target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByte(<error descr="Incompatible types. Found: 'short', required: 'byte'">short target</error>)) { //error
+      System.out.println(target);
+    }
+
+    if (source instanceof RecordByte(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'byte'">Boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByte(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'byte'">Integer target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByte(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'byte'">Long target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByte(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'byte'">Double target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByte(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'byte'">Float target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByte(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'byte'">Byte target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByte(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'byte'">Character target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByte(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'byte'">Short _</error>)) {  //error
+      System.out.println();
+    }
+    if (source instanceof RecordByte(<error descr="Incompatible types. Found: 'java.lang.Object', required: 'byte'">Object target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByte(<error descr="Incompatible types. Found: 'java.lang.Number', required: 'byte'">Number _</error>)) { //error
+      System.out.println();
+    }
+  }
+
+  private static void testForRecordChar(RecordChar source) {
+    if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'boolean', required: 'char'">boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'int', required: 'char'">int target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'long', required: 'char'">long target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'double', required: 'char'">double target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'float', required: 'char'">float target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'byte', required: 'char'">byte target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordChar(char target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'short', required: 'char'">short target</error>)) { //error
+      System.out.println(target);
+    }
+
+    if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'char'">Boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'char'">Integer target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'char'">Long target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'char'">Double target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'char'">Float target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'char'">Byte target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'char'">Character target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'char'">Short target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'java.lang.Object', required: 'char'">Object target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordChar(<error descr="Incompatible types. Found: 'java.lang.Number', required: 'char'">Number target</error>)) {  //error
+      System.out.println(target);
+    }
+  }
+
+  private static void testForRecordShort(RecordShort source) {
+    if (source instanceof RecordShort(<error descr="Incompatible types. Found: 'boolean', required: 'short'">boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShort(<error descr="Incompatible types. Found: 'int', required: 'short'">int target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShort(<error descr="Incompatible types. Found: 'long', required: 'short'">long target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShort(<error descr="Incompatible types. Found: 'double', required: 'short'">double target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShort(<error descr="Incompatible types. Found: 'float', required: 'short'">float target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShort(<error descr="Incompatible types. Found: 'byte', required: 'short'">byte target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShort(<error descr="Incompatible types. Found: 'char', required: 'short'">char target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShort(short target)) {
+      System.out.println(target);
+    }
+
+    if (source instanceof RecordShort(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'short'">Boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShort(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'short'">Integer target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShort(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'short'">Long target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShort(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'short'">Double target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShort(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'short'">Float target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShort(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'short'">Byte target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShort(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'short'">Character target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShort(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'short'">Short target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShort(<error descr="Incompatible types. Found: 'java.lang.Object', required: 'short'">Object target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShort(<error descr="Incompatible types. Found: 'java.lang.Number', required: 'short'">Number target</error>)) { //error
+      System.out.println(target);
+    }
+  }
+
+  private static void testForRecordBoolObject(RecordBoolObj source) {
+    if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'boolean', required: 'java.lang.Boolean'">boolean target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'int', required: 'java.lang.Boolean'">int target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'long', required: 'java.lang.Boolean'">long target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'double', required: 'java.lang.Boolean'">double target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'float', required: 'java.lang.Boolean'">float target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'byte', required: 'java.lang.Boolean'">byte target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'char', required: 'java.lang.Boolean'">char target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'short', required: 'java.lang.Boolean'">short target</error>)) {  //error
+      System.out.println(target);
+    }
+
+    if (source instanceof RecordBoolObj(Boolean target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'java.lang.Boolean'">Integer target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'java.lang.Boolean'">Long target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'java.lang.Boolean'">Double target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'java.lang.Boolean'">Float target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'java.lang.Boolean'">Byte target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'java.lang.Boolean'">Character target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'java.lang.Boolean'">Short target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordBoolObj(Object target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordBoolObj(<error descr="Incompatible types. Found: 'java.lang.Number', required: 'java.lang.Boolean'">Number target</error>)) {  //error
+      System.out.println(target);
+    }
+  }
+
+  private static void testForRecordIntObject(RecordIntObj source) {
+    if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'boolean', required: 'java.lang.Integer'">boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'int', required: 'java.lang.Integer'">int target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'long', required: 'java.lang.Integer'">long target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'double', required: 'java.lang.Integer'">double target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'float', required: 'java.lang.Integer'">float target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'byte', required: 'java.lang.Integer'">byte target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'char', required: 'java.lang.Integer'">char target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'short', required: 'java.lang.Integer'">short target</error>)) {  //error
+      System.out.println(target);
+    }
+
+    if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'java.lang.Integer'">Boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordIntObj(Integer target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'java.lang.Integer'">Long target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'java.lang.Integer'">Double target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'java.lang.Integer'">Float target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'java.lang.Integer'">Byte target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'java.lang.Integer'">Character target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordIntObj(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'java.lang.Integer'">Short target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordIntObj(Object target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordIntObj(Number target)) {
+      System.out.println(target);
+    }
+  }
+
+  private static void testForRecordLongObject(RecordLongObj source) {
+    if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'boolean', required: 'java.lang.Long'">boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'int', required: 'java.lang.Long'">int target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'long', required: 'java.lang.Long'">long target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'double', required: 'java.lang.Long'">double target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'float', required: 'java.lang.Long'">float target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'byte', required: 'java.lang.Long'">byte target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'char', required: 'java.lang.Long'">char target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'short', required: 'java.lang.Long'">short target</error>)) {  //error
+      System.out.println(target);
+    }
+
+    if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'java.lang.Long'">Boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'java.lang.Long'">Integer target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLongObj(Long target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'java.lang.Long'">Double target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'java.lang.Long'">Float target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'java.lang.Long'">Byte target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'java.lang.Long'">Character target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLongObj(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'java.lang.Long'">Short target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordLongObj(Object target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordLongObj(Number target)) {
+      System.out.println(target);
+    }
+  }
+
+  private static void testForRecordDoubleObject(RecordDoubleObj source) {
+    if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'boolean', required: 'java.lang.Double'">boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'int', required: 'java.lang.Double'">int target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'long', required: 'java.lang.Double'">long target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'double', required: 'java.lang.Double'">double target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'float', required: 'java.lang.Double'">float target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'byte', required: 'java.lang.Double'">byte target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'char', required: 'java.lang.Double'">char target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'short', required: 'java.lang.Double'">short target</error>)) {  //error
+      System.out.println(target);
+    }
+
+    if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'java.lang.Double'">Boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'java.lang.Double'">Integer target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'java.lang.Double'">Long target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDoubleObj(Double target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'java.lang.Double'">Float target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'java.lang.Double'">Byte target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'java.lang.Double'">Character target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDoubleObj(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'java.lang.Double'">Short target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordDoubleObj(Object target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordDoubleObj(Number target)) {
+      System.out.println(target);
+    }
+  }
+
+  private static void testForRecordFloatObject(RecordFloatObj source) {
+    if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'boolean', required: 'java.lang.Float'">boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'int', required: 'java.lang.Float'">int target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'long', required: 'java.lang.Float'">long target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'double', required: 'java.lang.Float'">double target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'float', required: 'java.lang.Float'">float target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'byte', required: 'java.lang.Float'">byte target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'char', required: 'java.lang.Float'">char target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'short', required: 'java.lang.Float'">short target</error>)) {  //error
+      System.out.println(target);
+    }
+
+    if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'java.lang.Float'">Boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'java.lang.Float'">Integer target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'java.lang.Float'">Long target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'java.lang.Float'">Double target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloatObj(Float target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'java.lang.Float'">Byte target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'java.lang.Float'">Character target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloatObj(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'java.lang.Float'">Short target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloatObj(Object target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordFloatObj(Number target)) {
+      System.out.println(target);
+    }
+  }
+
+  private static void testForRecordByteObject(RecordByteObj source) {
+    if (source instanceof RecordByteObj(<error descr="Incompatible types. Found: 'boolean', required: 'java.lang.Byte'">boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByteObj(<error descr="Incompatible types. Found: 'int', required: 'java.lang.Byte'">int target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByteObj(<error descr="Incompatible types. Found: 'long', required: 'java.lang.Byte'">long target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByteObj(<error descr="Incompatible types. Found: 'double', required: 'java.lang.Byte'">double target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByteObj(<error descr="Incompatible types. Found: 'float', required: 'java.lang.Byte'">float target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByteObj(<error descr="Incompatible types. Found: 'byte', required: 'java.lang.Byte'">byte target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByteObj(<error descr="Incompatible types. Found: 'char', required: 'java.lang.Byte'">char target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByteObj(<error descr="Incompatible types. Found: 'short', required: 'java.lang.Byte'">short target</error>)) { //error
+      System.out.println(target);
+    }
+
+    if (source instanceof RecordByteObj(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'java.lang.Byte'">Boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByteObj(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'java.lang.Byte'">Integer target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByteObj(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'java.lang.Byte'">Long target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByteObj(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'java.lang.Byte'">Double target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByteObj(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'java.lang.Byte'">Float target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByteObj(Byte target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordByteObj(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'java.lang.Byte'">Character target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByteObj(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'java.lang.Byte'">Short target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordByteObj(Object target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordByteObj(Number target)) {
+      System.out.println(target);
+    }
+  }
+
+  private static void testForRecordCharObject(RecordCharObj source) {
+    if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'boolean', required: 'java.lang.Character'">boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'int', required: 'java.lang.Character'">int target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'long', required: 'java.lang.Character'">long target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'double', required: 'java.lang.Character'">double target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'float', required: 'java.lang.Character'">float target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'byte', required: 'java.lang.Character'">byte target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'char', required: 'java.lang.Character'">char target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'short', required: 'java.lang.Character'">short target</error>)) {  //error
+      System.out.println(target);
+    }
+
+    if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'java.lang.Character'">Boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'java.lang.Character'">Integer target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'java.lang.Character'">Long target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'java.lang.Character'">Double target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'java.lang.Character'">Float target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'java.lang.Character'">Byte target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordCharObj(Character target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'java.lang.Short', required: 'java.lang.Character'">Short target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordCharObj(Object target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordCharObj(<error descr="Incompatible types. Found: 'java.lang.Number', required: 'java.lang.Character'">Number target</error>)) {  //error
+      System.out.println(target);
+    }
+  }
+
+  private static void testForRecordShortObject(RecordShortObj source) {
+    if (source instanceof RecordShortObj(<error descr="Incompatible types. Found: 'boolean', required: 'java.lang.Short'">boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShortObj(<error descr="Incompatible types. Found: 'int', required: 'java.lang.Short'">int target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShortObj(<error descr="Incompatible types. Found: 'long', required: 'java.lang.Short'">long target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShortObj(<error descr="Incompatible types. Found: 'double', required: 'java.lang.Short'">double target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShortObj(<error descr="Incompatible types. Found: 'float', required: 'java.lang.Short'">float target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShortObj(<error descr="Incompatible types. Found: 'byte', required: 'java.lang.Short'">byte target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShortObj(<error descr="Incompatible types. Found: 'char', required: 'java.lang.Short'">char target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShortObj(<error descr="Incompatible types. Found: 'short', required: 'java.lang.Short'">short target</error>)) { //error
+      System.out.println(target);
+    }
+
+    if (source instanceof RecordShortObj(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'java.lang.Short'">Boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShortObj(<error descr="Incompatible types. Found: 'java.lang.Integer', required: 'java.lang.Short'">Integer target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShortObj(<error descr="Incompatible types. Found: 'java.lang.Long', required: 'java.lang.Short'">Long target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShortObj(<error descr="Incompatible types. Found: 'java.lang.Double', required: 'java.lang.Short'">Double target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShortObj(<error descr="Incompatible types. Found: 'java.lang.Float', required: 'java.lang.Short'">Float target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShortObj(<error descr="Incompatible types. Found: 'java.lang.Byte', required: 'java.lang.Short'">Byte target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShortObj(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'java.lang.Short'">Character target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordShortObj(Short target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordShortObj(Object target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordShortObj(Number target)) {
+      System.out.println(target);
+    }
+  }
+
+  private static void testForRecordObject(RecordObject source) {
+    if (source instanceof RecordObject(<error descr="Incompatible types. Found: 'boolean', required: 'java.lang.Object'">boolean target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordObject(<error descr="Incompatible types. Found: 'int', required: 'java.lang.Object'">int target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordObject(<error descr="Incompatible types. Found: 'long', required: 'java.lang.Object'">long target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordObject(<error descr="Incompatible types. Found: 'double', required: 'java.lang.Object'">double target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordObject(<error descr="Incompatible types. Found: 'float', required: 'java.lang.Object'">float target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordObject(<error descr="Incompatible types. Found: 'byte', required: 'java.lang.Object'">byte target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordObject(<error descr="Incompatible types. Found: 'char', required: 'java.lang.Object'">char target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordObject(<error descr="Incompatible types. Found: 'short', required: 'java.lang.Object'">short target</error>)) { //error
+      System.out.println(target);
+    }
+
+    if (source instanceof RecordObject(Boolean target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordObject(Integer target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordObject(Long target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordObject(Double target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordObject(Float target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordObject(Byte target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordObject(Character target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordObject(Short target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordObject(Object target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordObject(Number target)) {
+      System.out.println(target);
+    }
+  }
+
+  private static void testForRecordNumber(RecordNumber source) {
+    if (source instanceof RecordNumber(<error descr="Incompatible types. Found: 'boolean', required: 'java.lang.Number'">boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordNumber(<error descr="Incompatible types. Found: 'int', required: 'java.lang.Number'">int target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordNumber(<error descr="Incompatible types. Found: 'long', required: 'java.lang.Number'">long target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordNumber(<error descr="Incompatible types. Found: 'double', required: 'java.lang.Number'">double target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordNumber(<error descr="Incompatible types. Found: 'float', required: 'java.lang.Number'">float target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordNumber(<error descr="Incompatible types. Found: 'byte', required: 'java.lang.Number'">byte target</error>)) { //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordNumber(<error descr="Incompatible types. Found: 'char', required: 'java.lang.Number'">char target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordNumber(<error descr="Incompatible types. Found: 'short', required: 'java.lang.Number'">short target</error>)) { //error
+      System.out.println(target);
+    }
+
+    if (source instanceof RecordNumber(<error descr="Incompatible types. Found: 'java.lang.Boolean', required: 'java.lang.Number'">Boolean target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordNumber(Integer target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordNumber(Long target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordNumber(Double target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordNumber(Float target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordNumber(Byte target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordNumber(<error descr="Incompatible types. Found: 'java.lang.Character', required: 'java.lang.Number'">Character target</error>)) {  //error
+      System.out.println(target);
+    }
+    if (source instanceof RecordNumber(Short target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordNumber(Object target)) {
+      System.out.println(target);
+    }
+    if (source instanceof RecordNumber(Number target)) {
+      System.out.println(target);
+    }
+  }
+}
diff --git a/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlightingPatterns/SimplePrimitiveInstanceOf.java b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlightingPatterns/SimplePrimitiveInstanceOf.java
new file mode 100644
index 000000000000..6c2346b4e437
--- /dev/null
+++ b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlightingPatterns/SimplePrimitiveInstanceOf.java
@@ -0,0 +1,1068 @@
+public class SimplePrimitiveInstanceOf {
+    public static void main(String[] args) {
+        testForBool(true);
+        testForInt(1);
+        testForLong(1);
+        testForDouble(1);
+        testForFloat(1);
+        testForByte((byte) 1);
+        testForChar((char) 1);
+        testForShort((short) 1);
+
+        testForBoolObject(true);
+        testForIntObject(1);
+        testForLongObject(1L);
+        testForDoubleObject(1d);
+        testForFloatObject(1f);
+        testForByteObject((byte) 1);
+        testForCharObject((char) 1);
+        testForShortObject((short) 1);
+
+        testForObject(1);
+        testForNumber(1);
+    }
+
+    private static void testForBool(boolean source) {
+        if (source instanceof boolean) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'int'">source instanceof int</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'long'">source instanceof long</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'double'">source instanceof double</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'float'">source instanceof float</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'byte'">source instanceof byte</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'char'">source instanceof char</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'short'">source instanceof short</error>) { //error
+            System.out.println();
+        }
+
+        if (source instanceof Boolean) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'java.lang.Integer'">source instanceof Integer</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'java.lang.Long'">source instanceof Long</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'java.lang.Double'">source instanceof Double</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'java.lang.Float'">source instanceof Float</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'java.lang.Byte'">source instanceof Byte</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'java.lang.Character'">source instanceof Character</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'java.lang.Short'">source instanceof Short</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Object) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'java.lang.Number'">source instanceof Number</error>) { //error
+            System.out.println();
+        }
+    }
+
+    private static void testForInt(int source) {
+        if (<error descr="Inconvertible types; cannot cast 'int' to 'boolean'">source instanceof boolean</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof int) {
+            System.out.println();
+        }
+        if (source instanceof long) {
+            System.out.println();
+        }
+        if (source instanceof double) {
+            System.out.println();
+        }
+        if (source instanceof float) {
+            System.out.println();
+        }
+        if (source instanceof byte) {
+            System.out.println();
+        }
+        if (source instanceof char) {
+            System.out.println();
+        }
+        if (source instanceof short) {
+            System.out.println();
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'int' to 'java.lang.Boolean'">source instanceof Boolean</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Integer) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'int' to 'java.lang.Long'">source instanceof Long</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'int' to 'java.lang.Double'">source instanceof Double</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'int' to 'java.lang.Float'">source instanceof Float</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'int' to 'java.lang.Byte'">source instanceof Byte</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'int' to 'java.lang.Character'">source instanceof Character</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'int' to 'java.lang.Short'">source instanceof Short</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Object) {
+            System.out.println();
+        }
+        if (source instanceof Number) {
+            System.out.println();
+        }
+    }
+
+    private static void testForLong(long source) {
+        if (<error descr="Inconvertible types; cannot cast 'long' to 'boolean'">source instanceof boolean</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof int) {
+            System.out.println();
+        }
+        if (source instanceof long) {
+            System.out.println();
+        }
+        if (source instanceof double) {
+            System.out.println();
+        }
+        if (source instanceof float) {
+            System.out.println();
+        }
+        if (source instanceof byte) {
+            System.out.println();
+        }
+        if (source instanceof char) {
+            System.out.println();
+        }
+        if (source instanceof short) {
+            System.out.println();
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'long' to 'java.lang.Boolean'">source instanceof Boolean</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'long' to 'java.lang.Integer'">source instanceof Integer</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Long) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'long' to 'java.lang.Double'">source instanceof Double</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'long' to 'java.lang.Float'">source instanceof Float</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'long' to 'java.lang.Byte'">source instanceof Byte</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'long' to 'java.lang.Character'">source instanceof Character</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'long' to 'java.lang.Short'">source instanceof Short</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Object) {
+            System.out.println();
+        }
+        if (source instanceof Number) {
+            System.out.println();
+        }
+    }
+
+    private static void testForDouble(double source) {
+        if (<error descr="Inconvertible types; cannot cast 'double' to 'boolean'">source instanceof boolean</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof int) {
+            System.out.println();
+        }
+        if (source instanceof long) {
+            System.out.println();
+        }
+        if (source instanceof double) {
+            System.out.println();
+        }
+        if (source instanceof float) {
+            System.out.println();
+        }
+        if (source instanceof byte) {
+            System.out.println();
+        }
+        if (source instanceof char) {
+            System.out.println();
+        }
+        if (source instanceof short) {
+            System.out.println();
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'double' to 'java.lang.Boolean'">source instanceof Boolean</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'double' to 'java.lang.Integer'">source instanceof Integer</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'double' to 'java.lang.Long'">source instanceof Long</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Double) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'double' to 'java.lang.Float'">source instanceof Float</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'double' to 'java.lang.Byte'">source instanceof Byte</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'double' to 'java.lang.Character'">source instanceof Character</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'double' to 'java.lang.Short'">source instanceof Short</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Object) {
+            System.out.println();
+        }
+        if (source instanceof Number) {
+            System.out.println();
+        }
+    }
+
+    private static void testForFloat(float source) {
+        if (<error descr="Inconvertible types; cannot cast 'float' to 'boolean'">source instanceof boolean</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof int) {
+            System.out.println();
+        }
+        if (source instanceof long) {
+            System.out.println();
+        }
+        if (source instanceof double) {
+            System.out.println();
+        }
+        if (source instanceof float) {
+            System.out.println();
+        }
+        if (source instanceof byte) {
+            System.out.println();
+        }
+        if (source instanceof char) {
+            System.out.println();
+        }
+        if (source instanceof short) {
+            System.out.println();
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'float' to 'java.lang.Boolean'">source instanceof Boolean</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'float' to 'java.lang.Integer'">source instanceof Integer</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'float' to 'java.lang.Long'">source instanceof Long</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'float' to 'java.lang.Double'">source instanceof Double</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Float) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'float' to 'java.lang.Byte'">source instanceof Byte</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'float' to 'java.lang.Character'">source instanceof Character</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'float' to 'java.lang.Short'">source instanceof Short</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Object) {
+            System.out.println();
+        }
+        if (source instanceof Number) {
+            System.out.println();
+        }
+    }
+
+    private static void testForByte(byte source) {
+        if (<error descr="Inconvertible types; cannot cast 'byte' to 'boolean'">source instanceof boolean</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof int) {
+            System.out.println();
+        }
+        if (source instanceof long) {
+            System.out.println();
+        }
+        if (source instanceof double) {
+            System.out.println();
+        }
+        if (source instanceof float) {
+            System.out.println();
+        }
+        if (source instanceof byte) {
+            System.out.println();
+        }
+        if (source instanceof char) {
+            System.out.println();
+        }
+        if (source instanceof short) {
+            System.out.println();
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'byte' to 'java.lang.Boolean'">source instanceof Boolean</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'byte' to 'java.lang.Integer'">source instanceof Integer</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'byte' to 'java.lang.Long'">source instanceof Long</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'byte' to 'java.lang.Double'">source instanceof Double</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'byte' to 'java.lang.Float'">source instanceof Float</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Byte) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'byte' to 'java.lang.Character'">source instanceof Character</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'byte' to 'java.lang.Short'">source instanceof Short</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Object) {
+            System.out.println();
+        }
+        if (source instanceof Number) {
+            System.out.println();
+        }
+    }
+
+    private static void testForChar(char source) {
+        if (<error descr="Inconvertible types; cannot cast 'char' to 'boolean'">source instanceof boolean</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof int) {
+            System.out.println();
+        }
+        if (source instanceof long) {
+            System.out.println();
+        }
+        if (source instanceof double) {
+            System.out.println();
+        }
+        if (source instanceof float) {
+            System.out.println();
+        }
+        if (source instanceof byte) {
+            System.out.println();
+        }
+        if (source instanceof char) {
+            System.out.println();
+        }
+        if (source instanceof short) {
+            System.out.println();
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'char' to 'java.lang.Boolean'">source instanceof Boolean</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'char' to 'java.lang.Integer'">source instanceof Integer</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'char' to 'java.lang.Long'">source instanceof Long</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'char' to 'java.lang.Double'">source instanceof Double</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'char' to 'java.lang.Float'">source instanceof Float</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'char' to 'java.lang.Byte'">source instanceof Byte</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Character) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'char' to 'java.lang.Short'">source instanceof Short</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Object) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'char' to 'java.lang.Number'">source instanceof Number</error>) { //error
+            System.out.println();
+        }
+    }
+
+    private static void testForShort(short source) {
+        if (<error descr="Inconvertible types; cannot cast 'short' to 'boolean'">source instanceof boolean</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof int) {
+            System.out.println();
+        }
+        if (source instanceof long) {
+            System.out.println();
+        }
+        if (source instanceof double) {
+            System.out.println();
+        }
+        if (source instanceof float) {
+            System.out.println();
+        }
+        if (source instanceof byte) {
+            System.out.println();
+        }
+        if (source instanceof char) {
+            System.out.println();
+        }
+        if (source instanceof short) {
+            System.out.println();
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'short' to 'java.lang.Boolean'">source instanceof Boolean</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'short' to 'java.lang.Integer'">source instanceof Integer</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'short' to 'java.lang.Long'">source instanceof Long</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'short' to 'java.lang.Double'">source instanceof Double</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'short' to 'java.lang.Float'">source instanceof Float</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'short' to 'java.lang.Byte'">source instanceof Byte</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'short' to 'java.lang.Character'">source instanceof Character</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Short) {
+            System.out.println();
+        }
+        if (source instanceof Object) {
+            System.out.println();
+        }
+        if (source instanceof Number) {
+            System.out.println();
+        }
+    }
+
+    private static void testForBoolObject(Boolean source) {
+        if (source instanceof boolean) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'int'">source instanceof int</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'long'">source instanceof long</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'double'">source instanceof double</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'float'">source instanceof float</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'byte'">source instanceof byte</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'char'">source instanceof char</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'short'">source instanceof short</error>) { //error
+            System.out.println();
+        }
+
+        if (source instanceof Boolean) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'java.lang.Integer'">source instanceof Integer</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'java.lang.Long'">source instanceof Long</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'java.lang.Double'">source instanceof Double</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'java.lang.Float'">source instanceof Float</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'java.lang.Byte'">source instanceof Byte</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'java.lang.Character'">source instanceof Character</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'java.lang.Short'">source instanceof Short</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Object) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'java.lang.Number'">source instanceof Number</error>) { //error
+            System.out.println();
+        }
+    }
+
+    private static void testForIntObject(Integer source) {
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'boolean'">source instanceof boolean</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof int) {
+            System.out.println();
+        }
+        if (source instanceof long) {
+            System.out.println();
+        }
+        if (source instanceof double) {
+            System.out.println();
+        }
+        if (source instanceof float) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'byte'">source instanceof byte</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'char'">source instanceof char</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'short'">source instanceof short</error>) { //error
+            System.out.println();
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'java.lang.Boolean'">source instanceof Boolean</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Integer) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'java.lang.Long'">source instanceof Long</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'java.lang.Double'">source instanceof Double</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'java.lang.Float'">source instanceof Float</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'java.lang.Byte'">source instanceof Byte</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'java.lang.Character'">source instanceof Character</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'java.lang.Short'">source instanceof Short</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Object) {
+            System.out.println();
+        }
+        if (source instanceof Number) {
+            System.out.println();
+        }
+    }
+
+    private static void testForLongObject(Long source) {
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Long' to 'boolean'">source instanceof boolean</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Long' to 'int'">source instanceof int</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof long) {
+            System.out.println();
+        }
+        if (source instanceof double) {
+            System.out.println();
+        }
+        if (source instanceof float) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Long' to 'byte'">source instanceof byte</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Long' to 'char'">source instanceof char</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Long' to 'short'">source instanceof short</error>) { //error
+            System.out.println();
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Long' to 'java.lang.Boolean'">source instanceof Boolean</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Long' to 'java.lang.Integer'">source instanceof Integer</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Long) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Long' to 'java.lang.Double'">source instanceof Double</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Long' to 'java.lang.Float'">source instanceof Float</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Long' to 'java.lang.Byte'">source instanceof Byte</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Long' to 'java.lang.Character'">source instanceof Character</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Long' to 'java.lang.Short'">source instanceof Short</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Object) {
+            System.out.println();
+        }
+        if (source instanceof Number) {
+            System.out.println();
+        }
+    }
+
+    private static void testForDoubleObject(Double source) {
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'boolean'">source instanceof boolean</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'int'">source instanceof int</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'long'">source instanceof long</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof double) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'float'">source instanceof float</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'byte'">source instanceof byte</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'char'">source instanceof char</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'short'">source instanceof short</error>) { //error
+            System.out.println();
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'java.lang.Boolean'">source instanceof Boolean</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'java.lang.Integer'">source instanceof Integer</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'java.lang.Long'">source instanceof Long</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Double) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'java.lang.Float'">source instanceof Float</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'java.lang.Byte'">source instanceof Byte</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'java.lang.Character'">source instanceof Character</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'java.lang.Short'">source instanceof Short</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Object) {
+            System.out.println();
+        }
+        if (source instanceof Number) {
+            System.out.println();
+        }
+    }
+
+    private static void testForFloatObject(Float source) {
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'boolean'">source instanceof boolean</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'int'">source instanceof int</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'long'">source instanceof long</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof double) {
+            System.out.println();
+        }
+        if (source instanceof float) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'byte'">source instanceof byte</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'char'">source instanceof char</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'short'">source instanceof short</error>) { //error
+            System.out.println();
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'java.lang.Boolean'">source instanceof Boolean</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'java.lang.Integer'">source instanceof Integer</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'java.lang.Long'">source instanceof Long</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'java.lang.Double'">source instanceof Double</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Float) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'java.lang.Byte'">source instanceof Byte</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'java.lang.Character'">source instanceof Character</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'java.lang.Short'">source instanceof Short</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Object) {
+            System.out.println();
+        }
+        if (source instanceof Number) {
+            System.out.println();
+        }
+    }
+
+    private static void testForByteObject(Byte source) {
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Byte' to 'boolean'">source instanceof boolean</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof int) {
+            System.out.println();
+        }
+        if (source instanceof long) {
+            System.out.println();
+        }
+        if (source instanceof double) {
+            System.out.println();
+        }
+        if (source instanceof float) {
+            System.out.println();
+        }
+        if (source instanceof byte) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Byte' to 'char'">source instanceof char</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof short) {
+            System.out.println();
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Byte' to 'java.lang.Boolean'">source instanceof Boolean</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Byte' to 'java.lang.Integer'">source instanceof Integer</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Byte' to 'java.lang.Long'">source instanceof Long</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Byte' to 'java.lang.Double'">source instanceof Double</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Byte' to 'java.lang.Float'">source instanceof Float</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Byte) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Byte' to 'java.lang.Character'">source instanceof Character</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Byte' to 'java.lang.Short'">source instanceof Short</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Object) {
+            System.out.println();
+        }
+        if (source instanceof Number) {
+            System.out.println();
+        }
+    }
+
+    private static void testForCharObject(Character source) {
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Character' to 'boolean'">source instanceof boolean</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof int) {
+            System.out.println();
+        }
+        if (source instanceof long) {
+            System.out.println();
+        }
+        if (source instanceof double) {
+            System.out.println();
+        }
+        if (source instanceof float) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Character' to 'byte'">source instanceof byte</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof char) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Character' to 'short'">source instanceof short</error>) { //error
+            System.out.println();
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Character' to 'java.lang.Boolean'">source instanceof Boolean</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Character' to 'java.lang.Integer'">source instanceof Integer</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Character' to 'java.lang.Long'">source instanceof Long</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Character' to 'java.lang.Double'">source instanceof Double</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Character' to 'java.lang.Float'">source instanceof Float</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Character' to 'java.lang.Byte'">source instanceof Byte</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Character) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Character' to 'java.lang.Short'">source instanceof Short</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Object) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Character' to 'java.lang.Number'">source instanceof Number</error>) { //error
+            System.out.println();
+        }
+    }
+
+    private static void testForShortObject(Short source) {
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Short' to 'boolean'">source instanceof boolean</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof int) {
+            System.out.println();
+        }
+        if (source instanceof long) {
+            System.out.println();
+        }
+        if (source instanceof double) {
+            System.out.println();
+        }
+        if (source instanceof float) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Short' to 'byte'">source instanceof byte</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Short' to 'char'">source instanceof char</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof short) {
+            System.out.println();
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Short' to 'java.lang.Boolean'">source instanceof Boolean</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Short' to 'java.lang.Integer'">source instanceof Integer</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Short' to 'java.lang.Long'">source instanceof Long</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Short' to 'java.lang.Double'">source instanceof Double</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Short' to 'java.lang.Float'">source instanceof Float</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Short' to 'java.lang.Byte'">source instanceof Byte</error>) { //error
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Short' to 'java.lang.Character'">source instanceof Character</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Short) {
+            System.out.println();
+        }
+        if (source instanceof Object) {
+            System.out.println();
+        }
+        if (source instanceof Number) {
+            System.out.println();
+        }
+    }
+
+    private static void testForObject(Object source) {
+        if (source instanceof boolean) {
+            System.out.println();
+        }
+        if (source instanceof int) {
+            System.out.println();
+        }
+        if (source instanceof long) {
+            System.out.println();
+        }
+        if (source instanceof double) {
+            System.out.println();
+        }
+        if (source instanceof float) {
+            System.out.println();
+        }
+        if (source instanceof byte) {
+            System.out.println();
+        }
+        if (source instanceof char) {
+            System.out.println();
+        }
+        if (source instanceof short) {
+            System.out.println();
+        }
+
+        if (source instanceof Boolean) {
+            System.out.println();
+        }
+        if (source instanceof Integer) {
+            System.out.println();
+        }
+        if (source instanceof Long) {
+            System.out.println();
+        }
+        if (source instanceof Double) {
+            System.out.println();
+        }
+        if (source instanceof Float) {
+            System.out.println();
+        }
+        if (source instanceof Byte) {
+            System.out.println();
+        }
+        if (source instanceof Character) {
+            System.out.println();
+        }
+        if (source instanceof Short) {
+            System.out.println();
+        }
+        if (source instanceof Object) {
+            System.out.println();
+        }
+        if (source instanceof Number) {
+            System.out.println();
+        }
+    }
+
+    private static void testForNumber(Number source) {
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Number' to 'boolean'">source instanceof boolean</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof int) {
+            System.out.println();
+        }
+        if (source instanceof long) {
+            System.out.println();
+        }
+        if (source instanceof double) {
+            System.out.println();
+        }
+        if (source instanceof float) {
+            System.out.println();
+        }
+        if (source instanceof byte) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Number' to 'char'">source instanceof char</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof short) {
+            System.out.println();
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Number' to 'java.lang.Boolean'">source instanceof Boolean</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Integer) {
+            System.out.println();
+        }
+        if (source instanceof Long) {
+            System.out.println();
+        }
+        if (source instanceof Double) {
+            System.out.println();
+        }
+        if (source instanceof Float) {
+            System.out.println();
+        }
+        if (source instanceof Byte) {
+            System.out.println();
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Number' to 'java.lang.Character'">source instanceof Character</error>) { //error
+            System.out.println();
+        }
+        if (source instanceof Short) {
+            System.out.println();
+        }
+        if (source instanceof Object) {
+            System.out.println();
+        }
+        if (source instanceof Number) {
+            System.out.println();
+        }
+    }
+}
diff --git a/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlightingPatterns/SimplePrimitiveInstanceOfPattern.java b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlightingPatterns/SimplePrimitiveInstanceOfPattern.java
new file mode 100644
index 000000000000..e2e695f3042b
--- /dev/null
+++ b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlightingPatterns/SimplePrimitiveInstanceOfPattern.java
@@ -0,0 +1,1068 @@
+public class SimplePrimitiveInstanceOfPattern {
+    public static void main(String[] args) {
+        testForBool(true);
+        testForInt(1);
+        testForLong(1);
+        testForDouble(1);
+        testForFloat(1);
+        testForByte((byte) 1);
+        testForChar((char) 1);
+        testForShort((short) 1);
+
+        testForBoolObject(true);
+        testForIntObject(1);
+        testForLongObject(1L);
+        testForDoubleObject(1d);
+        testForFloatObject(1f);
+        testForByteObject((byte) 1);
+        testForCharObject((char) 1);
+        testForShortObject((short) 1);
+
+        testForObject(1);
+        testForNumber(1);
+    }
+
+    private static void testForBool(boolean source) {
+        if (source instanceof boolean target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'int'">source instanceof int target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'long'">source instanceof long target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'double'">source instanceof double target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'float'">source instanceof float target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'byte'">source instanceof byte target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'char'">source instanceof char target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'short'">source instanceof short target</error>) { //error
+            System.out.println(target);
+        }
+
+        if (source instanceof Boolean target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'java.lang.Integer'">source instanceof Integer target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'java.lang.Long'">source instanceof Long target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'java.lang.Double'">source instanceof Double target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'java.lang.Float'">source instanceof Float target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'java.lang.Byte'">source instanceof Byte target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'java.lang.Character'">source instanceof Character target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'java.lang.Short'">source instanceof Short target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Object target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'boolean' to 'java.lang.Number'">source instanceof Number target</error>) { //error
+            System.out.println(target);
+        }
+    }
+
+    private static void testForInt(int source) {
+        if (<error descr="Inconvertible types; cannot cast 'int' to 'boolean'">source instanceof boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof int target) {
+            System.out.println(target);
+        }
+        if (source instanceof long target) {
+            System.out.println(target);
+        }
+        if (source instanceof double target) {
+            System.out.println(target);
+        }
+        if (source instanceof float target) {
+            System.out.println(target);
+        }
+        if (source instanceof byte target) {
+            System.out.println(target);
+        }
+        if (source instanceof char target) {
+            System.out.println(target);
+        }
+        if (source instanceof short target) {
+            System.out.println(target);
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'int' to 'java.lang.Boolean'">source instanceof Boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Integer target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'int' to 'java.lang.Long'">source instanceof Long target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'int' to 'java.lang.Double'">source instanceof Double target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'int' to 'java.lang.Float'">source instanceof Float target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'int' to 'java.lang.Byte'">source instanceof Byte target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'int' to 'java.lang.Character'">source instanceof Character target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'int' to 'java.lang.Short'">source instanceof Short target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Object target) {
+            System.out.println(target);
+        }
+        if (source instanceof Number target) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForLong(long source) {
+        if (<error descr="Inconvertible types; cannot cast 'long' to 'boolean'">source instanceof boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof int target) {
+            System.out.println(target);
+        }
+        if (source instanceof long target) {
+            System.out.println(target);
+        }
+        if (source instanceof double target) {
+            System.out.println(target);
+        }
+        if (source instanceof float target) {
+            System.out.println(target);
+        }
+        if (source instanceof byte target) {
+            System.out.println(target);
+        }
+        if (source instanceof char target) {
+            System.out.println(target);
+        }
+        if (source instanceof short target) {
+            System.out.println(target);
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'long' to 'java.lang.Boolean'">source instanceof Boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'long' to 'java.lang.Integer'">source instanceof Integer target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Long target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'long' to 'java.lang.Double'">source instanceof Double target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'long' to 'java.lang.Float'">source instanceof Float target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'long' to 'java.lang.Byte'">source instanceof Byte target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'long' to 'java.lang.Character'">source instanceof Character target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'long' to 'java.lang.Short'">source instanceof Short target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Object target) {
+            System.out.println(target);
+        }
+        if (source instanceof Number target) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForDouble(double source) {
+        if (<error descr="Inconvertible types; cannot cast 'double' to 'boolean'">source instanceof boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof int target) {
+            System.out.println(target);
+        }
+        if (source instanceof long target) {
+            System.out.println(target);
+        }
+        if (source instanceof double target) {
+            System.out.println(target);
+        }
+        if (source instanceof float target) {
+            System.out.println(target);
+        }
+        if (source instanceof byte target) {
+            System.out.println(target);
+        }
+        if (source instanceof char target) {
+            System.out.println(target);
+        }
+        if (source instanceof short target) {
+            System.out.println(target);
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'double' to 'java.lang.Boolean'">source instanceof Boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'double' to 'java.lang.Integer'">source instanceof Integer target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'double' to 'java.lang.Long'">source instanceof Long target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Double target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'double' to 'java.lang.Float'">source instanceof Float target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'double' to 'java.lang.Byte'">source instanceof Byte target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'double' to 'java.lang.Character'">source instanceof Character target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'double' to 'java.lang.Short'">source instanceof Short target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Object target) {
+            System.out.println(target);
+        }
+        if (source instanceof Number target) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForFloat(float source) {
+        if (<error descr="Inconvertible types; cannot cast 'float' to 'boolean'">source instanceof boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof int target) {
+            System.out.println(target);
+        }
+        if (source instanceof long target) {
+            System.out.println(target);
+        }
+        if (source instanceof double target) {
+            System.out.println(target);
+        }
+        if (source instanceof float target) {
+            System.out.println(target);
+        }
+        if (source instanceof byte target) {
+            System.out.println(target);
+        }
+        if (source instanceof char target) {
+            System.out.println(target);
+        }
+        if (source instanceof short target) {
+            System.out.println(target);
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'float' to 'java.lang.Boolean'">source instanceof Boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'float' to 'java.lang.Integer'">source instanceof Integer target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'float' to 'java.lang.Long'">source instanceof Long target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'float' to 'java.lang.Double'">source instanceof Double target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Float target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'float' to 'java.lang.Byte'">source instanceof Byte target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'float' to 'java.lang.Character'">source instanceof Character target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'float' to 'java.lang.Short'">source instanceof Short target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Object target) {
+            System.out.println(target);
+        }
+        if (source instanceof Number target) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForByte(byte source) {
+        if (<error descr="Inconvertible types; cannot cast 'byte' to 'boolean'">source instanceof boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof int target) {
+            System.out.println(target);
+        }
+        if (source instanceof long target) {
+            System.out.println(target);
+        }
+        if (source instanceof double target) {
+            System.out.println(target);
+        }
+        if (source instanceof float target) {
+            System.out.println(target);
+        }
+        if (source instanceof byte target) {
+            System.out.println(target);
+        }
+        if (source instanceof char target) {
+            System.out.println(target);
+        }
+        if (source instanceof short target) {
+            System.out.println(target);
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'byte' to 'java.lang.Boolean'">source instanceof Boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'byte' to 'java.lang.Integer'">source instanceof Integer target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'byte' to 'java.lang.Long'">source instanceof Long target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'byte' to 'java.lang.Double'">source instanceof Double target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'byte' to 'java.lang.Float'">source instanceof Float target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Byte target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'byte' to 'java.lang.Character'">source instanceof Character target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'byte' to 'java.lang.Short'">source instanceof Short target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Object target) {
+            System.out.println(target);
+        }
+        if (source instanceof Number target) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForChar(char source) {
+        if (<error descr="Inconvertible types; cannot cast 'char' to 'boolean'">source instanceof boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof int target) {
+            System.out.println(target);
+        }
+        if (source instanceof long target) {
+            System.out.println(target);
+        }
+        if (source instanceof double target) {
+            System.out.println(target);
+        }
+        if (source instanceof float target) {
+            System.out.println(target);
+        }
+        if (source instanceof byte target) {
+            System.out.println(target);
+        }
+        if (source instanceof char target) {
+            System.out.println(target);
+        }
+        if (source instanceof short target) {
+            System.out.println(target);
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'char' to 'java.lang.Boolean'">source instanceof Boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'char' to 'java.lang.Integer'">source instanceof Integer target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'char' to 'java.lang.Long'">source instanceof Long target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'char' to 'java.lang.Double'">source instanceof Double target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'char' to 'java.lang.Float'">source instanceof Float target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'char' to 'java.lang.Byte'">source instanceof Byte target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Character target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'char' to 'java.lang.Short'">source instanceof Short target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Object target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'char' to 'java.lang.Number'">source instanceof Number target</error>) { //error
+            System.out.println(target);
+        }
+    }
+
+    private static void testForShort(short source) {
+        if (<error descr="Inconvertible types; cannot cast 'short' to 'boolean'">source instanceof boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof int target) {
+            System.out.println(target);
+        }
+        if (source instanceof long target) {
+            System.out.println(target);
+        }
+        if (source instanceof double target) {
+            System.out.println(target);
+        }
+        if (source instanceof float target) {
+            System.out.println(target);
+        }
+        if (source instanceof byte target) {
+            System.out.println(target);
+        }
+        if (source instanceof char target) {
+            System.out.println(target);
+        }
+        if (source instanceof short target) {
+            System.out.println(target);
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'short' to 'java.lang.Boolean'">source instanceof Boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'short' to 'java.lang.Integer'">source instanceof Integer target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'short' to 'java.lang.Long'">source instanceof Long target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'short' to 'java.lang.Double'">source instanceof Double target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'short' to 'java.lang.Float'">source instanceof Float target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'short' to 'java.lang.Byte'">source instanceof Byte target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'short' to 'java.lang.Character'">source instanceof Character target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Short target) {
+            System.out.println(target);
+        }
+        if (source instanceof Object target) {
+            System.out.println(target);
+        }
+        if (source instanceof Number target) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForBoolObject(Boolean source) {
+        if (source instanceof boolean target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'int'">source instanceof int target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'long'">source instanceof long target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'double'">source instanceof double target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'float'">source instanceof float target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'byte'">source instanceof byte target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'char'">source instanceof char target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'short'">source instanceof short target</error>) { //error
+            System.out.println(target);
+        }
+
+        if (source instanceof Boolean target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'java.lang.Integer'">source instanceof Integer target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'java.lang.Long'">source instanceof Long target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'java.lang.Double'">source instanceof Double target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'java.lang.Float'">source instanceof Float target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'java.lang.Byte'">source instanceof Byte target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'java.lang.Character'">source instanceof Character target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'java.lang.Short'">source instanceof Short target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Object target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Boolean' to 'java.lang.Number'">source instanceof Number target</error>) { //error
+            System.out.println(target);
+        }
+    }
+
+    private static void testForIntObject(Integer source) {
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'boolean'">source instanceof boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof int target) {
+            System.out.println(target);
+        }
+        if (source instanceof long target) {
+            System.out.println(target);
+        }
+        if (source instanceof double target) {
+            System.out.println(target);
+        }
+        if (source instanceof float target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'byte'">source instanceof byte target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'char'">source instanceof char target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'short'">source instanceof short target</error>) { //error
+            System.out.println(target);
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'java.lang.Boolean'">source instanceof Boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Integer target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'java.lang.Long'">source instanceof Long target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'java.lang.Double'">source instanceof Double target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'java.lang.Float'">source instanceof Float target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'java.lang.Byte'">source instanceof Byte target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'java.lang.Character'">source instanceof Character target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'java.lang.Short'">source instanceof Short target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Object target) {
+            System.out.println(target);
+        }
+        if (source instanceof Number target) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForLongObject(Long source) {
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Long' to 'boolean'">source instanceof boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Long' to 'int'">source instanceof int target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof long target) {
+            System.out.println(target);
+        }
+        if (source instanceof double target) {
+            System.out.println(target);
+        }
+        if (source instanceof float target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Long' to 'byte'">source instanceof byte target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Long' to 'char'">source instanceof char target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Long' to 'short'">source instanceof short target</error>) { //error
+            System.out.println(target);
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Long' to 'java.lang.Boolean'">source instanceof Boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Long' to 'java.lang.Integer'">source instanceof Integer target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Long target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Long' to 'java.lang.Double'">source instanceof Double target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Long' to 'java.lang.Float'">source instanceof Float target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Long' to 'java.lang.Byte'">source instanceof Byte target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Long' to 'java.lang.Character'">source instanceof Character target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Long' to 'java.lang.Short'">source instanceof Short target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Object target) {
+            System.out.println(target);
+        }
+        if (source instanceof Number target) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForDoubleObject(Double source) {
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'boolean'">source instanceof boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'int'">source instanceof int target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'long'">source instanceof long target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof double target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'float'">source instanceof float target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'byte'">source instanceof byte target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'char'">source instanceof char target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'short'">source instanceof short target</error>) { //error
+            System.out.println(target);
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'java.lang.Boolean'">source instanceof Boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'java.lang.Integer'">source instanceof Integer target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'java.lang.Long'">source instanceof Long target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Double target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'java.lang.Float'">source instanceof Float target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'java.lang.Byte'">source instanceof Byte target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'java.lang.Character'">source instanceof Character target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Double' to 'java.lang.Short'">source instanceof Short target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Object target) {
+            System.out.println(target);
+        }
+        if (source instanceof Number target) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForFloatObject(Float source) {
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'boolean'">source instanceof boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'int'">source instanceof int target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'long'">source instanceof long target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof double target) {
+            System.out.println(target);
+        }
+        if (source instanceof float target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'byte'">source instanceof byte target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'char'">source instanceof char target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'short'">source instanceof short target</error>) { //error
+            System.out.println(target);
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'java.lang.Boolean'">source instanceof Boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'java.lang.Integer'">source instanceof Integer target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'java.lang.Long'">source instanceof Long target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'java.lang.Double'">source instanceof Double target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Float target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'java.lang.Byte'">source instanceof Byte target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'java.lang.Character'">source instanceof Character target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Float' to 'java.lang.Short'">source instanceof Short target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Object target) {
+            System.out.println(target);
+        }
+        if (source instanceof Number target) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForByteObject(Byte source) {
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Byte' to 'boolean'">source instanceof boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof int target) {
+            System.out.println(target);
+        }
+        if (source instanceof long target) {
+            System.out.println(target);
+        }
+        if (source instanceof double target) {
+            System.out.println(target);
+        }
+        if (source instanceof float target) {
+            System.out.println(target);
+        }
+        if (source instanceof byte target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Byte' to 'char'">source instanceof char target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof short target) {
+            System.out.println(target);
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Byte' to 'java.lang.Boolean'">source instanceof Boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Byte' to 'java.lang.Integer'">source instanceof Integer target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Byte' to 'java.lang.Long'">source instanceof Long target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Byte' to 'java.lang.Double'">source instanceof Double target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Byte' to 'java.lang.Float'">source instanceof Float target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Byte target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Byte' to 'java.lang.Character'">source instanceof Character target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Byte' to 'java.lang.Short'">source instanceof Short target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Object target) {
+            System.out.println(target);
+        }
+        if (source instanceof Number target) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForCharObject(Character source) {
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Character' to 'boolean'">source instanceof boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof int target) {
+            System.out.println(target);
+        }
+        if (source instanceof long target) {
+            System.out.println(target);
+        }
+        if (source instanceof double target) {
+            System.out.println(target);
+        }
+        if (source instanceof float target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Character' to 'byte'">source instanceof byte target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof char target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Character' to 'short'">source instanceof short target</error>) { //error
+            System.out.println(target);
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Character' to 'java.lang.Boolean'">source instanceof Boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Character' to 'java.lang.Integer'">source instanceof Integer target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Character' to 'java.lang.Long'">source instanceof Long target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Character' to 'java.lang.Double'">source instanceof Double target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Character' to 'java.lang.Float'">source instanceof Float target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Character' to 'java.lang.Byte'">source instanceof Byte target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Character target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Character' to 'java.lang.Short'">source instanceof Short target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Object target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Character' to 'java.lang.Number'">source instanceof Number target</error>) { //error
+            System.out.println(target);
+        }
+    }
+
+    private static void testForShortObject(Short source) {
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Short' to 'boolean'">source instanceof boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof int target) {
+            System.out.println(target);
+        }
+        if (source instanceof long target) {
+            System.out.println(target);
+        }
+        if (source instanceof double target) {
+            System.out.println(target);
+        }
+        if (source instanceof float target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Short' to 'byte'">source instanceof byte target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Short' to 'char'">source instanceof char target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof short target) {
+            System.out.println(target);
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Short' to 'java.lang.Boolean'">source instanceof Boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Short' to 'java.lang.Integer'">source instanceof Integer target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Short' to 'java.lang.Long'">source instanceof Long target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Short' to 'java.lang.Double'">source instanceof Double target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Short' to 'java.lang.Float'">source instanceof Float target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Short' to 'java.lang.Byte'">source instanceof Byte target</error>) { //error
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Short' to 'java.lang.Character'">source instanceof Character target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Short target) {
+            System.out.println(target);
+        }
+        if (source instanceof Object target) {
+            System.out.println(target);
+        }
+        if (source instanceof Number target) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForObject(Object source) {
+        if (source instanceof boolean target) {
+            System.out.println(target);
+        }
+        if (source instanceof int target) {
+            System.out.println(target);
+        }
+        if (source instanceof long target) {
+            System.out.println(target);
+        }
+        if (source instanceof double target) {
+            System.out.println(target);
+        }
+        if (source instanceof float target) {
+            System.out.println(target);
+        }
+        if (source instanceof byte target) {
+            System.out.println(target);
+        }
+        if (source instanceof char target) {
+            System.out.println(target);
+        }
+        if (source instanceof short target) {
+            System.out.println(target);
+        }
+
+        if (source instanceof Boolean target) {
+            System.out.println(target);
+        }
+        if (source instanceof Integer target) {
+            System.out.println(target);
+        }
+        if (source instanceof Long target) {
+            System.out.println(target);
+        }
+        if (source instanceof Double target) {
+            System.out.println(target);
+        }
+        if (source instanceof Float target) {
+            System.out.println(target);
+        }
+        if (source instanceof Byte target) {
+            System.out.println(target);
+        }
+        if (source instanceof Character target) {
+            System.out.println(target);
+        }
+        if (source instanceof Short target) {
+            System.out.println(target);
+        }
+        if (source instanceof Object target) {
+            System.out.println(target);
+        }
+        if (source instanceof Number target) {
+            System.out.println(target);
+        }
+    }
+
+    private static void testForNumber(Number source) {
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Number' to 'boolean'">source instanceof boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof int target) {
+            System.out.println(target);
+        }
+        if (source instanceof long target) {
+            System.out.println(target);
+        }
+        if (source instanceof double target) {
+            System.out.println(target);
+        }
+        if (source instanceof float target) {
+            System.out.println(target);
+        }
+        if (source instanceof byte target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Number' to 'char'">source instanceof char target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof short target) {
+            System.out.println(target);
+        }
+
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Number' to 'java.lang.Boolean'">source instanceof Boolean target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Integer target) {
+            System.out.println(target);
+        }
+        if (source instanceof Long target) {
+            System.out.println(target);
+        }
+        if (source instanceof Double target) {
+            System.out.println(target);
+        }
+        if (source instanceof Float target) {
+            System.out.println(target);
+        }
+        if (source instanceof Byte target) {
+            System.out.println(target);
+        }
+        if (<error descr="Inconvertible types; cannot cast 'java.lang.Number' to 'java.lang.Character'">source instanceof Character target</error>) { //error
+            System.out.println(target);
+        }
+        if (source instanceof Short target) {
+            System.out.println(target);
+        }
+        if (source instanceof Object target) {
+            System.out.println(target);
+        }
+        if (source instanceof Number target) {
+            System.out.println(target);
+        }
+    }
+}
diff --git a/java/java-tests/testSrc/com/intellij/java/codeInsight/daemon/LightPatternsHighlightingTest.java b/java/java-tests/testSrc/com/intellij/java/codeInsight/daemon/LightPatternsHighlightingTest.java
index 9a8af9478716..171993e4c70b 100644
--- a/java/java-tests/testSrc/com/intellij/java/codeInsight/daemon/LightPatternsHighlightingTest.java
+++ b/java/java-tests/testSrc/com/intellij/java/codeInsight/daemon/LightPatternsHighlightingTest.java
@@ -103,7 +103,15 @@ public class LightPatternsHighlightingTest extends LightJavaCodeInsightFixtureTe
 
   public void testUnnamedPatternsUnavailable() {
     IdeaTestUtil.withLevel(getModule(), LanguageLevel.JDK_20, this::doTest);
-  } 
+  }
+
+  public void testInstanceofPrimitivesNotAllowed() {
+    IdeaTestUtil.withLevel(getModule(), LanguageLevel.JDK_22, this::doTest);
+  }
+
+  public void testRecordPrimitiveInstanceOfPatternNotAllowed() {
+    IdeaTestUtil.withLevel(getModule(), LanguageLevel.JDK_22, this::doTest);
+  }
 
   private void doTest() {
     myFixture.configureByFile(getTestName(false) + ".java");
diff --git a/java/java-tests/testSrc/com/intellij/java/codeInsight/daemon/LightPrimitivePatternsHighlightingTest.java b/java/java-tests/testSrc/com/intellij/java/codeInsight/daemon/LightPrimitivePatternsHighlightingTest.java
new file mode 100644
index 000000000000..60c284ab693d
--- /dev/null
+++ b/java/java-tests/testSrc/com/intellij/java/codeInsight/daemon/LightPrimitivePatternsHighlightingTest.java
@@ -0,0 +1,38 @@
+// Copyright 2000-2023 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license.
+package com.intellij.java.codeInsight.daemon;
+
+import com.intellij.JavaTestUtil;
+import com.intellij.testFramework.LightProjectDescriptor;
+import com.intellij.testFramework.fixtures.LightJavaCodeInsightFixtureTestCase;
+import org.jetbrains.annotations.NotNull;
+
+public class LightPrimitivePatternsHighlightingTest extends LightJavaCodeInsightFixtureTestCase {
+  @Override
+  protected String getBasePath() {
+    return JavaTestUtil.getRelativeJavaTestDataPath() + "/codeInsight/daemonCodeAnalyzer/advHighlightingPatterns";
+  }
+
+  @NotNull
+  @Override
+  protected LightProjectDescriptor getProjectDescriptor() {
+    //todo change after new Java
+    return JAVA_X;
+  }
+
+  public void testRecordPrimitiveInstanceOfPattern() {
+    doTest();
+  }
+
+  public void testSimplePrimitiveInstanceOf() {
+    doTest();
+  }
+
+  public void testSimplePrimitiveInstanceOfPattern() {
+    doTest();
+  }
+
+  private void doTest() {
+    myFixture.configureByFile(getTestName(false) + ".java");
+    myFixture.checkHighlighting();
+  }
+}
\ No newline at end of file