{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"user_self_ty"}]}
            user_self_ty = None;
            // Don't try to infer type parameters when prohibited generic arguments were given.
        }