{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"adt:"}]}
        adt: hir::Adt,
        source_scope: &'a SemanticsScope<'a>,
        generic_arg_list: ast::GenericArgList,