Function lower_body_to_mir 

pub fn lower_body_to_mir<'db>(
    db: &'db (dyn HirDatabase + 'static),
    owner: InferBodyId,
    store: &ExpressionStore,
    infer: &InferenceResult,
    root_expr: Idx<Expr>,
    self_param: Option<Idx<Binding>>,
    params: &[Idx<Pat>],
) -> Result<MirBody, MirLowerError>

Extracts params from body.params/body.self_param and the callable signature, then delegates to lower_to_mir_with_store.