Infinite recursion caused by multiple ASN.1 parameterized type instances
Summary
Multiple instances of the same ASN.1 parameterized type in a type hierarchy cause an infinite recursion during semantic analysis.
ASN.1 code to reproduce
A DEFINITIONS
AUTOMATIC TAGS
::=
BEGIN
Uint8 ::= INTEGER (0..255)
ScmsPdu ::= SEQUENCE { version Uint8 (2), content CHOICE { aca-ra AcaRaInterfacePdu, int INTEGER, ... } }
ScmsPdu-Scoped {Pdu} ::= ScmsPdu (WITH COMPONENTS { ..., content (CONSTRAINED BY { Pdu }) })
AcaRaInterfacePdu ::= CHOICE { a Again, ... }
Again ::= ScmsPdu-Scoped { INTEGER }
END
What is the current bug behavior?
The compiler crashes due to an infinite recursion.
What is the expected correct behavior?
Successful semantic analysis.
Relevant logs and/or screenshots
Possible fixes
Titan version
8.0.0
Platform details (OS type and version)
Any.