pub fn refuses(ty: Type) -> Option<Missing>Expand description
Why a value of that type cannot travel at all, or nothing if it can.
The width question and the file question in one place, so that the two ends of a call give the
same answer about the same type, and so that a return this cannot make says the same thing
about a type as the call that would have received it.