{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"None"}]}
            None => self.next_ty_var(span),
            Some(param) => self.var_for_def(span, param).as_type().unwrap(),
        }