Enable IR validation (#57)

Also fix an IR bug discovered by this validation. Closes: #32 Co-authored-by: Jesse Wilson <[email protected]>
cashapp · Oct 30, 2024 · e0674da · e0674da
1 parent e50a772
commit e0674da
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/burst-kotlin-plugin-tests/src/test/kotlin/app/cash/burst/kotlin/BurstKotlinPluginTest.kt b/burst-kotlin-plugin-tests/src/test/kotlin/app/cash/burst/kotlin/BurstKotlinPluginTest.kt
@@ -699,6 +699,8 @@ fun compile(
     sources = sourceFiles
     compilerPluginRegistrars = listOf(plugin)
     inheritClassPath = true
+    kotlincArguments += "-Xverify-ir=error"
+    kotlincArguments += "-Xverify-ir-visibility"
   }.compile()
 }
 

diff --git a/burst-kotlin-plugin/src/main/kotlin/app/cash/burst/kotlin/FunctionSpecializer.kt b/burst-kotlin-plugin/src/main/kotlin/app/cash/burst/kotlin/FunctionSpecializer.kt
@@ -28,6 +28,7 @@ import org.jetbrains.kotlin.ir.declarations.IrValueParameter
 import org.jetbrains.kotlin.ir.symbols.UnsafeDuringIrConstructionAPI
 import org.jetbrains.kotlin.ir.types.classFqName
 import org.jetbrains.kotlin.ir.types.starProjectedType
+import org.jetbrains.kotlin.ir.util.patchDeclarationParents
 import org.jetbrains.kotlin.name.Name
 
 /**
@@ -135,6 +136,7 @@ internal class FunctionSpecializer(
       }
     }
 
+    result.patchDeclarationParents()
     return result
   }
 }