{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"Ok(a)"}]}
            Ok(a)
            self.relate_with_variance(ty::Invariant, ty::VarianceDiagInfo::default(), a, b)?;
        } else {