{"ast_node_type":"variable","tokens":[{"end":16,"kind":"keyword","start":0,"text":"let"}]}
        let ty =
    ) -> Operand {
            chalk_ir::TyKind::FnDef(CallableDefId::FunctionId(func_id).to_chalk(db), generic_args)