{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"self.check_promoted(promoted_body,"}]}
                    self.check_promoted(promoted_body, location);
                    let promoted_body = &self.promoted[promoted];
                    let promoted_ty = promoted_body.return_ty();