{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"self.typeck_results.borrow_mut().user_provided_types_mut().insert(hir_ty.hir_id,"}]}
            self.typeck_results.borrow_mut().user_provided_types_mut().insert(hir_ty.hir_id, c_ty);
            debug!(?c_ty);
        }