{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"generic_def:"}]}
            generic_def: Some(function.into()),
            target_scope,
            substs: get_type_args_from_arg_list(generic_arg_list).unwrap_or_default(),