Can we fix `.asInstanceOf`'s type inference to do the right thing?

Language Design
6

Hard to sympathize on 2.13.

➜  ~ scala -Xlint
Welcome to Scala 2.13.12 (OpenJDK 64-Bit Server VM, Java 21).
Type in expressions for evaluation. Or try :help.

scala> val x: String = ("hello": CharSequence).asInstanceOf
                                               ^
       warning: missing type argument to method asInstanceOf
java.lang.ClassCastException: class java.lang.String cannot be cast to class scala.runtime.Nothing$ (java.lang.String is in module java.base of loader 'bootstrap'; scala.runtime.Nothing$ is in unnamed module of loader 'bootstrap')
  ... 30 elided

Edit: I misread “hit by this” as “bit by this”.