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.
A long double is not one of them any more when it is an argument, since an argument of that
type travels as bytes and on_the_stack is what says so before this is asked. What is left
here is the value that comes back, because coming back is the one direction where it is not
bytes: it arrives in st(0), which is a register file this cannot name.