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