const fn is_value_preserving_widening( source_type: ElementaryType, target_type: ElementaryType, ) -> bool