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

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