Method lower_thunk

libs/@local/hashql/mir/src/reify/mod.rs:330–344

Lowers a thunk (lazy computation) to a MIR body. Thunks have no parameters or captures, making them the simplest construct to lower.

(self, hir: HirPtr, binder: Binder<'heap>, thunk: Thunk<'heap>)

    /// Thunks have no parameters or captures, making them the simplest
    /// construct to lower.
    fn lower_thunk(self, hir: HirPtr, binder: Binder<'heap>, thunk: Thunk<'heap>) -> DefId {
        let r#type = unwrap_closure_type(
            self.context.hir.map.monomorphized_type_id(hir.id),
            self.context.mir.env,
        );

        self.lower_impl(
            Source::Thunk(hir.id, Some(binder)),
            hir.span,
            [] as [_; 0],
            r#type.returns,
            None,
            |this, block| this.transform_body(block, thunk.body),
        )
    }

    /// Lowers a type constructor to a MIR body.
    ///