{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"for"}]}
                for nav in navs {
                };
                    if nav.file_id != file_id.file_id(sema.db) {