Cast a spell with @targetName to eliminate an error

Sure but the compiler already does name mangling in some cases, and in Scala 3 name generation for givens.