[jplatte]

There is one important difference between Box and unique_ptr though: unique_ptr is nullable while Box isn't.