Fix adaptation of constants to constant type aliases

Fixes #18340

Author: odersky

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

@@ -4162,7 +4162,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
               || x.tag == LongTag && cls == defn.DoubleClass && x.longValue.toDouble.toLong != x.longValue
             then
               report.warning(LossyWideningConstantConversion(x.tpe, pt), tree.srcPos)
-            return adaptConstant(tree, ConstantType(converted))
+            return readapt(adaptConstant(tree, ConstantType(converted)))
         case _ =>
 
       val captured = captureWildcardsCompat(wtp, pt)

tests/neg/i18340.scala

@@ -0,0 +1,9 @@
+@main def main: Unit =
+  type T = 3f
+  val value0: T = -3.5f // error
+  val value1: T = -100500 // error
+  val value2: T = -100500L // error
+  val value3: T = -100500D // error
+  val value4: T = true // error
+  val value5: 3f = -100500 // error
+  val value6: 3f = -100500L // error