{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"self.relate_types(sup,"}]}
        self.relate_types(sup, ty::Contravariant, sub, locations, category)
        // "expected" type in diagnostics.
    }