Function mir_body_query

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