Function mir_body_query 

pub fn mir_body_query<'db>(
    db: &'db (dyn HirDatabase + 'static),
    def: DefWithBodyId,
) -> Result<Arc<MirBody<'db>>, MirLowerError<'db>>