{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                e.attrs(db).by_key(sym::non_exhaustive).exists() && e.module(db).krate() != krate
            _ => false,