stc_ts_type_ops::widen