Where is #[rustc_box] implemented?

2

Here's the conversion from the intrinsic to the ExprKind::Box.

Then see my answer in the other thread:

2 Likes