Simplify retains annotation cleanup at inlineCall

Author: noti0na1

compiler/src/dotty/tools/dotc/inlines/Inlines.scala

@@ -102,22 +102,11 @@ object Inlines:
    */
   def inlineCall(tree: Tree)(using Context): Tree = ctx.profiler.onInlineCall(tree.symbol):
 
-    /** Strip @retains annotations from inferred types in the call tree */
-    val stripRetains = CleanupRetains()
-    val stripper = new TreeTypeMap(
-      typeMap = stripRetains,
-      treeMap = {
-        case tree: InferredTypeTree =>
-          val stripped = stripRetains(tree.tpe)
-          if stripped ne tree.tpe then tree.withType(stripped)
-          else tree
-        case tree => tree
-      }
-    )
-
-    val tree0 = stripper.transform(tree)
+    /** Strip @retains annotations from types in the call tree */
+    val cleanupRetains = new TreeTypeMap(typeMap = CleanupRetains())
+    val tree0 = cleanupRetains.transform(tree)
 
-    if tree0.symbol.denot != SymDenotations.NoDenotation
+    if tree0.symbol.denot.exists
       && tree0.symbol.effectiveOwner == defn.CompiletimeTestingPackage.moduleClass
     then
       if (tree0.symbol == defn.CompiletimeTesting_typeChecks) return Intrinsics.typeChecks(tree0)