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