{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":".and_then(|(InFile"}]}
                    .and_then(|(InFile { value: mapped_range, .. }, attr_id)| {
                    .filter(|(mapping, _)| mapping.file_id == src_file_id)
                        Some(mapped_range).zip(resolve_doc_path_for_def(