CaseOwnershipTransfer:q = p 后对 p 赋值不得析构(函数内断言 dtor_hits 未变),出口释放 q 恰好一次(调用方断言);同时把 CaseAlias 的注释更新为所有权转移语义。