Diagnostics test: array creation of non-reified TP

 #KT-1234 Fixed