{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"//"}]}
            // overly conservative but works ok in practice.
            // very challenging, switch to invariance. This is obviously
            self.relate_with_variance(ty::Invariant, ty::VarianceDiagInfo::default(), a, b)?;