{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"self.relate_types(ty,"}]}
        self.relate_types(ty, v.xform(ty::Contravariant), a, locations, category)?;
        let ty = self.normalize(curr_projected_ty.ty, locations);