According to ScalaDoc,
"The Predef
object provides definitions that are available in all Scala compilation units without explicit qualifications."
Thus, this is not the package object itself, but acts as one of the possibilities of providing functionality to all "Scala compilation units"
Regarding the situation, I think you're right, it looks like an obsolete problem
As to why it is stored, there may be restrictions on package objects that prevent PreDef from merging.
source share