yeah, for now, we will allow multiple @id fields in a type. Since @id fields are not updateable, so this will apply to all @id fields.
But we will have a different RFC soon for the feature where we will make @id fields mutable once we allow multiple @id fields.