Function is_truncation_cast

pub(in elab) fn is_truncation_cast(
    source: &Ty,
    target: &Ty,
) -> bool

Return whether source to target represents a narrowing truncation cast.