Reject ? as an import bound

odersky · odersky · commit 40b99ffcbecd · 2020-10-06T17:17:09.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/parsing/Parsers.scala b/compiler/src/dotty/tools/dotc/parsing/Parsers.scala
@@ -3121,7 +3121,7 @@ object Parsers {
                 in.nextToken()
                 ImportSelector(givenSelectorId(start)) // Let the selector span all of `given _`; needed for -Ytest-pickler
               else if canStartTypeTokens.contains(in.token) then
-                ImportSelector(givenSelectorId(start), bound = infixType())
+                ImportSelector(givenSelectorId(start), bound = rejectWildcardType(infixType()))
               else
                 ImportSelector(givenSelectorId(start))
             case _ =>
diff --git a/tests/neg/import-given.scala b/tests/neg/import-given.scala
@@ -25,3 +25,6 @@ object E {
   foo            // ok
   foo(using tc)  // ok
 }
+object F:
+  import A.{given ?}  // error: unbound wildcard type
+

Original file line number	Diff line number	Diff line change
`@@ -25,3 +25,6 @@ object E {`
`25`	`25`	`foo // ok`
`26`	`26`	`foo(using tc) // ok`
`27`	`27`	`}`
	`28`	`+object F:`
	`29`	`+ import A.{given ?} // error: unbound wildcard type`
	`30`	`+`