{"ast_node_type":"variable","tokens":[{"end":57,"kind":"keyword","start":0,"text":"let"}]}
        let scope = ctx.sema.scope(trait_path.syntax())?;
        let trait_type = ctx.sema.resolve_trait(&trait_path.path()?)?;
        if trait_type != FamousDefs(&ctx.sema, scope.krate()).core_convert_Index()? {