Bug in `__:Type` syntax

[Shri333]

Resolve is working incorrectly. If I have the following build.mill:

package build
import mill._, javalib._

trait TypeA extends Module {
  def foo = Task { "foo" }
}
trait TypeB extends Module {
  def bar = Task { "bar" }
}
trait TypeC extends Module {
  def baz = Task { "baz" }
}
trait TypeAB extends TypeA with TypeB

object typeA extends TypeA
object typeB extends TypeB
object typeC extends TypeC {
  object typeA extends TypeA
}
object typeAB extends TypeAB

Running mill resolve _:TypeA._ produces the following output:

typeA.foo
typeAB.bar
typeAB.foo

But, running mill resolve __:TypeA._ produces the following output:

clean
init
inspect
path
plan
resolve
show
showNamed
shutdown
typeA
typeA.foo
typeAB
typeAB.bar
typeAB.foo
typeB
typeC
typeC.typeA.foo
version
visualize
visualizePlan

[lefou]

That's strange, we have a test for this case.

mill/main/resolve/test/src/mill/main/ResolveTests.scala

Lines 973 to 976 in 0e50ff7

	test - check(
	"__:TypeA._",
	Right(Set(_.typeA.foo, _.typeAB.foo, _.typeAB.bar, _.typeC.typeA.foo))
	)

[lihaoyi]

I think I've hit similar issues when working on unrelated tasks, but haven't had time to investigate

[lefou]

Releated:

• __:Module should properly select modules #4514