{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"(None,"}]}
            (None, None) => {
        match (lhs.to_alias_term(), rhs.to_alias_term()) {
                self.relate(param_env, lhs, variance, rhs)?;