{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":".user_provided_types_mut()"}]}
                    .user_provided_types_mut()
                    .borrow_mut()
                    .insert(ty.hir_id, c_ty);