full stream can not be force-received into a dataset if it has a snapshot
A full stream can not be force-received into a dataset if it has a snapshot.
That behavior is not consistent with the case where the dataset has modifications but does not have any snapshots - in that case the local changes are undone.
The behavior is also inconsistent with force-receiving of an incremental stream - in that case any diverging snapshots are destroyed.
It would be logical if the reception of the full stream was equivalent to the reception of the incremental stream with a start at $ORIGIN@$ORIGIN.