[TG-1422] Bugfix for a precondition fail in the interpreter after generics support has been introduced#1595

Closed

NlightNFotis wants to merge 3 commits intodiffblue:developfrom

NlightNFotis:bugfix/tg1422

Commits on Nov 15, 2017

Introduce the new data type representing specialised generic classes, and modify the concretisation process to use it.
NlightNFotis
committed
Extend the precondition to handle the case with the weird typecast expression for a concrete generic type.
NlightNFotis
committed
Merge branch 'develop' into bugfix/tg1422
NlightNFotis
authored