pub fn lower_loop_function<'db>(
encapsulating_ctx: &mut EncapsulatingLoweringContext<'db>,
function_id: FunctionWithBodyId<'db>,
loop_signature: EnrichedSemanticSignature<'db>,
loop_ctx: LoopContext<'db>,
return_type: TypeId<'db>,
) -> Maybe<Lowered<'db>>Expand description
Lowers a loop inner function into Lowered.
Similar to lower_function, but adds a recursive call.