pub(crate) fn start_query<R>(
job_id: QueryJobId,
depth_limit: bool,
compute: impl FnOnce() -> R,
) -> RExpand description
Executes a job by changing the ImplicitCtxt to point to the new query job while it executes.
pub(crate) fn start_query<R>(
job_id: QueryJobId,
depth_limit: bool,
compute: impl FnOnce() -> R,
) -> RExecutes a job by changing the ImplicitCtxt to point to the new query job while it executes.