diff options
| author | Son Ho | 2024-03-08 10:42:10 +0100 |
|---|---|---|
| committer | Son Ho | 2024-03-08 10:42:10 +0100 |
| commit | a7452421be018e5d75065e2038f2f50042a80f3c (patch) | |
| tree | 700439fbe96ea5980216e06b388e863ed8ac314b /tests/lean | |
| parent | 5427563a8000f281ac614a2501fb9983beb44f21 (diff) | |
Update the code generated for tuple projectors
Diffstat (limited to 'tests/lean')
| -rw-r--r-- | tests/lean/NoNestedBorrows.lean | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/lean/NoNestedBorrows.lean b/tests/lean/NoNestedBorrows.lean index a326bdf7..a85209ea 100644 --- a/tests/lean/NoNestedBorrows.lean +++ b/tests/lean/NoNestedBorrows.lean @@ -643,7 +643,7 @@ def Tuple (T1 T2 : Type) := T1 × T2 /- [no_nested_borrows::use_tuple_struct]: Source: 'src/no_nested_borrows.rs', lines 556:0-556:48 -/ def use_tuple_struct (x : Tuple U32 U32) : Result (Tuple U32 U32) := - Result.ret (1#u32, x.2) + Result.ret (1#u32, x.#1) /- [no_nested_borrows::create_tuple_struct]: Source: 'src/no_nested_borrows.rs', lines 560:0-560:61 -/ |