{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"//"}]}
        // "expected" type in diagnostics.
        // Use this order of parameters because the sup type is usually the
        self.relate_types(sup, ty::Contravariant, sub, locations, category)