You are an expert in writing code in many different languages. Your goal is to perform code completion for the following code, keeping in mind the rest of the code and the file meta data.
    Metadata details:
    filename: provide.rs
    path of file: ./repos/kani/kani-compiler/src/kani_middle
    
    the code of the file until where you have to start completion: // Copyright Kani Contributors
// SPDX-License-Identifier: Apache-2.0 OR MIT
//! This module contains an interface for setting custom query implementations
//! to run during code generation. For example, this can be used to hook up
//! custom MIR transformations.

use crate::args::{Arguments, ReachabilityType};
use crate::
    
pub fn provide(providers: &mut Providers, queries: &QueryDb) {
    let args = queries.args();
    if should_override(args) {
        // Don't override queries if we are only compiling our dependencies.
        providers.optimized_mir = run_mir_passes;
        providers.extern_queries.optimized_mir = run_mir_passes_extern;
        if args.stubbing_enabled {
            // TODO: Check if there's at least one stub being applied.
            providers.collect_and_partition_mono_items = collect_and_partition_mono_items;
        }
    }
}