Detailed comment: Runtime system exits properly with explicit destruction call
Detailed comment: Runtime system exits properly with explicit destruction call

anamud/mir-dev,anamud/mir-dev,anamud/mir-dev,anamud/mir-dev,anamud/mir-dev