complain about AbstractTypeSymbol reaching GenBCode, SI-7122