base.ControlFlowMatch[T:imm,mut,read,R:imm,mut,read]

mut .continue: R,
mut .return(returnValue: T): R,
mut .break: R,
mut .continue: R,
mut .return(returnValue: T): R,
mut .break: R,