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 suspec

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.