Test `src/test/cbmc/DynTrait/nested_boxes_fail.rs` doesn't compile.

[vecchiot-aws]

It differs from nested_boxes.rs by more than what the header comment suggests; should this be updated?