Function monomorphized_mir_body_query 

pub fn monomorphized_mir_body_query<'db>(
    db: &'db dyn HirDatabase,
    owner: InferBodyId<'db>,
    subst: StoredGenericArgs,
    trait_env: StoredParamEnvAndCrate,
) -> <Result<MirBody<'db>, MirLowerError<'db>> as SalsaAsRef>::AsRef<'db>