Import given takes NoPrefix usage

som-snytt · som-snytt · commit 12f75a9f9cbc · 2024-11-05T07:21:24.000-08:00
diff --git a/compiler/src/dotty/tools/dotc/transform/CheckUnused.scala b/compiler/src/dotty/tools/dotc/transform/CheckUnused.scala
@@ -625,7 +625,7 @@ object CheckUnused:
             if selector.isGiven then // Further check that the symbol is a given or implicit and conforms to the bound
               sym.isOneOf(Given | Implicit)
                 && (selector.bound.isEmpty || sym.info.finalResultType <:< selector.boundTpe)
-                && selData.qualTpe =:= prefix
+                && (prefix.eq(NoPrefix) || selData.qualTpe =:= prefix)
             else
               !sym.is(Given) // Normal wildcard, check that the symbol is not a given (but can be implicit)
           }

Original file line number	Diff line number	Diff line change
`@@ -625,7 +625,7 @@ object CheckUnused:`
`625`	`625`	`if selector.isGiven then // Further check that the symbol is a given or implicit and conforms to the bound`
`626`	`626`	`sym.isOneOf(Given \| Implicit)`
`627`	`627`	`&& (selector.bound.isEmpty \|\| sym.info.finalResultType <:< selector.boundTpe)`
`628`		`- && selData.qualTpe =:= prefix`
	`628`	`+ && (prefix.eq(NoPrefix) \|\| selData.qualTpe =:= prefix)`
`629`	`629`	`else`
`630`	`630`	`!sym.is(Given) // Normal wildcard, check that the symbol is not a given (but can be implicit)`
`631`	`631`	`}`