Dynamic trait inside a box. Test implemented: gotoc-dynamic-trait-box but currently failing/not parsing through rustc.