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