Fix error message

Author: odersky

compiler/src/dotty/tools/dotc/core/Types.scala

@@ -3509,7 +3509,7 @@ object Types {
   def expectValueTypeOrWildcard(tp: Type, where: => String)(using Context): Unit =
     if !tp.isValueTypeOrWildcard then
       assert(!ctx.isAfterTyper, where) // we check correct kinds at PostTyper
-      throw TypeError(em"$tp is not a value type, cannot be used in $where")
+      throw TypeError(em"$tp is not a value type, cannot be used $where")
 
   /** An extractor object to pattern match against a nullable union.
    *  e.g.

tests/neg/i16696.check

@@ -1,12 +1,12 @@
 -- Error: tests/neg/i16696.scala:7:29 ----------------------------------------------------------------------------------
 7 |  val boom1 = BoxMaker[Some].make1 // error
   |                             ^
-  |                             Some is not a value type, cannot be used in in intersection Some & Int
+  |                             Some is not a value type, cannot be used in intersection Some & Int
 -- Error: tests/neg/i16696.scala:8:29 ----------------------------------------------------------------------------------
 8 |  val boom2 = BoxMaker[Some].make2 // error
   |                             ^
-  |                             Some is not a value type, cannot be used in in union Some | Int
+  |                             Some is not a value type, cannot be used in union Some | Int
 -- Error: tests/neg/i16696.scala:20:27 ---------------------------------------------------------------------------------
 20 |  val boom = BoxMaker[Foo].make(_.foo) // error
    |                           ^
-   |                           test2.Foo is not a value type, cannot be used in in intersection R & test2.Foo
+   |                           test2.Foo is not a value type, cannot be used in intersection R & test2.Foo