bcc720f1db
This is needed because arguments checker updates unsubstituted and non-denotable types (type variables, IntegerValueType...) #KT-28718 Fixed