{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"ObligationCauseCode::SizedArgumentType(None),"}]}
                        ObligationCauseCode::SizedArgumentType(None),
                        span,
                    );