Searched refs:add_projection_ty (Results 1 – 1 of 1) sorted by relevance
166 self.add_projection_ty(data); in add_kind()245 self.add_projection_ty(projection_ty); in add_predicate_atom()339 fn add_projection_ty(&mut self, projection_ty: ty::ProjectionTy<'_>) { in add_projection_ty() method