i think that means splitting up the

Box::pin

into a

Box::new

, casting it as you said, then pinning the result