icode: add automatic tests for virtual type parameters in methods