[trurl]

Unless there are some very recent experimental extensions that I have not heard about, Scala does not have support for linear or substructural typing.

I suspect you are thinking of structural subtyping, which is a completely different concept.