Constrained opcode: convert to appropriate type in case of value type with implemented virtual functions.