{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"infer:"}]}
    infer: &InferenceResult,
    body: &Body,
    // FIXME: root_expr should always be the body.body_expr, but since `X` in `[(); X]` doesn't have its own specific body yet, we