pub fn can_safely_coerce_numeric(from: &Ty, to: &Ty) -> bool
Return whether numeric value from can be converted into to without loss.
from
to