any-generic-type ::= 'S' KNOWN-TYPE-KIND // known nominal type substitution KNOWN-TYPE-KIND ::= 'i' // Swift.Int
S
AST
AnyGenericType