SI-7996 SI-7980 disallow splicing of bottom type valuess
extract iterable tparam properly