Box is indeed a special type because it was one a Rust built-in syntax (~Type). As such, creating and deref a pointer calls compiler intrinsic.