Is there something wrong with creating opaque types using this method? type ObjectId = string & { readonly __tag: unique symbol } This way, we don't n

Is there something wrong with creating opaque types using this method? type ObjectId = string & { readonly __tag: unique symbol } This way, we don't need to use `never`, but we still prevent the creation of a structurally equivalent type by mistake.