{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"ty::UserTypeKind::TypeOf(pick.item.def_id,"}]}
                    ty::UserTypeKind::TypeOf(pick.item.def_id, user_args),
                self.fcx.canonicalize_user_type_annotation(ty::UserType::new(
                ))