{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"LoggingRustIrDatabaseLoggingOnDrop(LoggingRustIrDatabase::new(context));"}]}
                LoggingRustIrDatabaseLoggingOnDrop(LoggingRustIrDatabase::new(context));
            let logging_db =
            solver.solve_limited(&logging_db.0, goal, &should_continue)