Function can_safely_coerce_numeric

pub(in elab) fn can_safely_coerce_numeric(
    from: &Ty,
    to: &Ty,
) -> bool

Return whether numeric value from can be converted into to without loss.