{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"self.relate_with_variance(ty::Invariant,"}]}
            self.relate_with_variance(ty::Invariant, ty::VarianceDiagInfo::default(), a, b)?;
            // overly conservative but works ok in practice.
            Ok(a)