Imported From: https://issues.scala-lang.org/browse/SI-8023?orig=1
Reporter: @retronym
See #7756

@retronym said:
Oh man, this one depends on compilation order: this works:

class A[K[L[_]]]
class B[K[L[_]]]

object Test {
  (null: Any) match {
    case a: A[k] => new B[k]()
  }
}

The condition in question:

if (!isComplete)
	args mapConserve (typedHigherKindedType(_, mode))
	// if symbol hasn't been fully loaded, can't check kind-arity
else map2Conserve(args, tparams) { (arg, tparam) =>
	//@M! the polytype denotes the expected kind
	typedHigherKindedType(arg, mode, GenPolyType(tparam.typeParams, AnyTpe))
}

@retronym said:
We might be able to make this work in the same place that we enhanceBounds.

@retronym said:
Here's what's required to make this work in typedBind (the "bull in the china store" approach of not trying to avoid cycles)

https://github.com/retronym/scala/compare/ticket;8023?expand=1

@retronym said:
See: scala/scala@218c5a8223 "previous change caused cyclic references.."

@adriaanm said:
Always scary to see that "authored 7 years ago", especially when prefixed with your own name.

@retronym said:
It might be best to change ones name by deed poll after a decent stretch of time in one codebase.

PR: scala/scala#3212