{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"module.scope(db,"}]}
            module.scope(db, None).into_iter().find(|(name, _def)| name.as_str() == trait_)?.1;
        let def =
        Some(def)