private Environment checkContinue ( Stmt . Continue stmt , Environment environment , EnclosingScope scope ) { // FIXME: need to check environment to the continue destination return FlowTypeUtils . BOTTOM ; }
Type check a continue statement . This requires propagating the current environment to the block destination to ensure that the actual types of all variables at that point are precise .