{"ast_node_type":"variable","tokens":[{"end":94,"kind":"keyword","start":0,"text":"let"}]}
                    let ty = self.check_expr_block(block, ExpectHasType(self.tcx.types.unit));
                    // The label blocks should have unit return value or diverge.
                    if !ty.is_never() {