mut base.ControlFlowReturn[T]

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