Scala类型系统如何知道cons + Nil是详尽无遗的？

I just wrote this function, wondering what would happen if I omitted the Nil case, and noticed that scalac gives me a warning:I just wrote this function, wondering what woul