Add Knut's InstanceOfPatternMatch recipe to java 17 migration

Author: sambsnyd

src/main/resources/META-INF/rewrite/java-version-17.yml

@@ -32,8 +32,8 @@ recipeList:
   - org.openrewrite.java.migrate.lang.StringFormatted
   - org.openrewrite.java.migrate.lombok.UpdateLombokToJava17
   - org.openrewrite.github.SetupJavaUpgradeJavaVersion
-# TODO Pending https://github.com/openrewrite/rewrite/pull/2747 and other small enhancements
-#  - org.openrewrite.java.cleanup.InstanceOfPatternMatch
+  - org.openrewrite.java.cleanup.InstanceOfPatternMatch
+
 ---
 type: specs.openrewrite.org/v1beta/recipe
 name: org.openrewrite.java.migrate.JavaVersion17

src/test/java/org/openrewrite/java/migrate/logging/MigrateLoggerGlobalToGetGlobalTest.java

@@ -34,7 +34,9 @@ public void defaults(RecipeSpec spec) {
     void globalToGetGlobal() {
         //language=java
         rewriteRun(
-          spec -> spec.typeValidationOptions(new TypeValidation(true, true, false, true)),
+          spec -> spec.typeValidationOptions(TypeValidation.builder()
+            .methodInvocations(false)
+            .build()),
           java(
             """
               package org.openrewrite.example;