Skip to content

Commit c8306d0

Browse files
committed
Remove dealiasing of infered quoted types
1 parent 84edb13 commit c8306d0

File tree

2 files changed

+3
-7
lines changed

2 files changed

+3
-7
lines changed

compiler/src/dotty/tools/dotc/typer/Synthesizer.scala

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -57,12 +57,8 @@ class Synthesizer(typer: Typer)(using @constructorOnly c: Context):
5757
ctx.compilationUnit.needsStaging = true // We will need to run ReifyQuotes
5858
ref(defn.InternalQuoted_typeQuote).appliedToType(t)
5959
formal.argInfos match
60-
case arg :: Nil =>
61-
val deepDealias = new TypeMap:
62-
def apply(tp: Type): Type = mapOver(tp.dealias)
63-
quotedType(deepDealias(arg))
64-
case _ =>
65-
EmptyTree
60+
case arg :: Nil => quotedType(arg)
61+
case _ => EmptyTree
6662
end synthesizedTypeTag
6763

6864
val synthesizedTupleFunction: SpecialHandler = (formal, span) =>

tests/run-staging/i4350.check

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
11
(null: scala.Any).asInstanceOf[java.lang.Object]
2-
(null: scala.Any).asInstanceOf[java.lang.String]
2+
(null: scala.Any).asInstanceOf[scala.Predef.String]

0 commit comments

Comments
 (0)