[xiphias2]

The problem is that it's too late to add linear typing to C++ at this point and get rid of all other types. So I would say yes.