Function start_query 

fn start_query<R>(
    job_id: QueryJobId,
    depth_limit: bool,
    compute: impl FnOnce() -> R,
) -> R

Executes a job by changing the ImplicitCtxt to point to the new query job while it executes.