There doesn't seem to be a way forward to removing this FIXME, so I would just remove it entirely. The compiler won't parse `Box<T>` as `TyUniq` (that's basically deprecated). This also doesn't easily apply to other smart pointers, and it's a corner enough case that it probably doesn't matter too much.