{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"None,"}]}
            None,
            InFile::new(hir_file, value).original_file_range_rooted(db).into_file_id(db),
        ),