{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"};"}]}
                            };
                                nav.file_id == file_id.file_id(db) && nav.full_range.contains_range(range)