There is still a distinction between primitives and object types in Scala, so it's not correct to say that types in Scala aren't used for storage specification.

There is still a distinction between primitives and object types in Scala, so it's not correct to say that types in Scala aren't used for storage specification. It's also the case that there are plenty of languages where all types imply storage specification and they support plenty of type elision.