{"ast_node_type":"other","tokens":[{"end":6,"kind":"keyword","start":0,"text":");"}]}
    );
        InRealFile { file_id, value: node.clone() },
    if let Some(any_has_generic_args) = ast::AnyHasGenericArgs::cast(node.clone()) {