protocol DeinitA destructor run when an owned value is dropped at scope exit. Linear types may not conform: they must be consumed explicitly.
protocol DeinitA destructor run when an owned value is dropped at scope exit. Linear types may not conform: they must be consumed explicitly.