Scala 编译错误：未找到：类型 _$1

如何解决Scala 编译错误：未找到：类型 _$1

我正在研究 Scala 2.12.x 中的存在类型。为此，我正在测试以下代码：

trait Parent
class ChildA extends Parent
class ChildB extends Parent

def whatIsInside(opt: Option[_ <: Parent]): String = {
  opt match {
    case _: Option[_ <: ChildA] => "ChildA"
    case _: Option[_ <: ChildB] => "ChildB"
    case _                      => throw new IllegalArgumentException("unkNown type")
  }
}


whatIsInside(Some(new ChildA))

我不希望它在运行时工作，因为类型擦除，但是这甚至不能编译。我收到以下错误：

[error] ExistentialTypes.scala:12:24: not found: type _$2
[error]         case _: Option[_ <: ChildA] => "ChildA"
[error]                        ^
[error] ExistentialTypes.scala:13:24: not found: type _$3
[error]         case _: Option[_ <: ChildB] => "ChildB"
[error]                        ^

有人可以解释这些错误吗？