This has become useful for a few patterns in Servo where we want types that enforce that they can't be "stashed" anywhere.