mut base.ControlFlowReturn[T:imm,mut,read]

mut .match[R$0:imm,mut,read](m: mut base.ControlFlowMatch[T,R$0]): R$0 -> …,
mut .value: T -> …,
mut .match[R$0:imm,mut,read](m: mut base.ControlFlowMatch[T,R$0]): R$0 -> …,
mut .value: T -> …,