Okay, take two. Just tested this on 1.24-beta3.1 and the behaviour seems reasonable:
$ juju bootstrap
$ juju add user bob
$ juju destroy-environment bob
...
ERROR cannot destroy server environment without bootstrap infomation
The error clearly explains why the command fails (though I did just spot a typo) - bob.jenv doesn't have the bootstrap info. Also, bob.jenv is not removed.
Okay, take two. Just tested this on 1.24-beta3.1 and the behaviour seems reasonable:
$ juju bootstrap
$ juju add user bob
$ juju destroy-environment bob
...
ERROR cannot destroy server environment without bootstrap infomation
The error clearly explains why the command fails (though I did just spot a typo) - bob.jenv doesn't have the bootstrap info. Also, bob.jenv is not removed.