Yes, with block-cloning or anything that references the same data blocks, you can even end up with a dataset that has a larger “USED” space than the pool itself. This is because the dataset’s space calculation does not take pool features and properties into account.
That’s a good question. I wonder if it’s a caveat of using dataset quotas with deduplication and block-cloning? 