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