Maybe "when unique ownership", since I don't think it's the mutability that's constraining?