used diamond operator