Closed
Description
It is not permitted to box these types and expressions/binders would need to know about that.
Otherwise there could be some relatively trivial ways to cause failures such as dynamically invoking a Span-returning method by name. That would easily result in a Span being boxed, which might fail very ungracefully.