{"ast_node_type":"variable","tokens":[{"end":64,"kind":"keyword","start":0,"text":"let"}]}
                let return_ty = self.body.local_decls[local].ty;
                assert_matches!(terminator.kind, TerminatorKind::Call { .. });
                Q::in_any_value_of_ty(self.ccx, return_ty)