Properly map type constants in TreeTypeMap

Author: odersky

compiler/src/dotty/tools/dotc/ast/TreeTypeMap.scala

@@ -4,7 +4,7 @@ package ast
 
 import core._
 import Types._, Contexts._
-import Symbols._, Annotations._, Trees._, Symbols._
+import Symbols._, Annotations._, Trees._, Symbols._, Constants.Constant
 import Decorators._
 import dotty.tools.dotc.transform.SymUtils._
 import core.tasty.TreePickler.Hole
@@ -124,6 +124,8 @@ class TreeTypeMap(
           cpy.Labeled(labeled)(bind1, expr1)
         case Hole(isTermHole, n, args) =>
           Hole(isTermHole, n, args.mapConserve(transform)).withSpan(tree.span).withType(mapType(tree.tpe))
+        case lit @ Literal(Constant(tpe: Type)) =>
+          cpy.Literal(lit)(Constant(mapType(tpe)))
         case tree1 =>
           super.transform(tree1)
       }

tests/pos/i10542.scala

@@ -1,4 +1,4 @@
-package test1:
+package test_10542:
 
   trait Foo {
     inline def foo[A](t: => A): Unit = ()
@@ -12,8 +12,8 @@ package test1:
       case object S1 extends T1
     }
   }
-/*
-package test2:
+
+package test_10540:
 
   trait Foo {
     inline def foo[A](t: => A): Unit = ()
@@ -26,4 +26,13 @@ package test2:
       trait T1
       val array = Array(new T1 {})
     }
-  }*/
+  }
+
+package test_9655:
+
+  inline def foo[T](inline body: T): T = body
+
+  def test = foo {
+    sealed trait Status
+    object Active extends Status
+  }