{"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":"));"}]}
            ));
                ty::UserTypeKind::TypeOf(def_id, UserArgs { args, user_self_ty }),
            debug!(?canonicalized);