diff options
Diffstat (limited to 'tests/lean/misc-no_nested_borrows')
| -rw-r--r-- | tests/lean/misc-no_nested_borrows/NoNestedBorrows.lean | 21 |
1 files changed, 11 insertions, 10 deletions
diff --git a/tests/lean/misc-no_nested_borrows/NoNestedBorrows.lean b/tests/lean/misc-no_nested_borrows/NoNestedBorrows.lean index cf7783b2..12d4190c 100644 --- a/tests/lean/misc-no_nested_borrows/NoNestedBorrows.lean +++ b/tests/lean/misc-no_nested_borrows/NoNestedBorrows.lean @@ -458,24 +458,24 @@ structure OpaqueDefs where def new_tuple1_fwd : Result (struct_with_tuple_t UInt32 UInt32) := Result.ret { - struct_with_tuple_p := ((UInt32.ofNatCore 1 (by intlit)), - (UInt32.ofNatCore 2 (by intlit))) + struct_with_tuple_p := + ((UInt32.ofNatCore 1 (by intlit)), (UInt32.ofNatCore 2 (by intlit))) } /- [no_nested_borrows::new_tuple2] -/ def new_tuple2_fwd : Result (struct_with_tuple_t Int16 Int16) := Result.ret { - struct_with_tuple_p := ((Int16.ofNatCore 1 (by intlit)), - (Int16.ofNatCore 2 (by intlit))) + struct_with_tuple_p := + ((Int16.ofNatCore 1 (by intlit)), (Int16.ofNatCore 2 (by intlit))) } /- [no_nested_borrows::new_tuple3] -/ def new_tuple3_fwd : Result (struct_with_tuple_t UInt64 Int64) := Result.ret { - struct_with_tuple_p := ((UInt64.ofNatCore 1 (by intlit)), - (Int64.ofNatCore 2 (by intlit))) + struct_with_tuple_p := + ((UInt64.ofNatCore 1 (by intlit)), (Int64.ofNatCore 2 (by intlit))) } /- [no_nested_borrows::StructWithPair] -/ @@ -486,10 +486,11 @@ structure OpaqueDefs where def new_pair1_fwd : Result (struct_with_pair_t UInt32 UInt32) := Result.ret { - struct_with_pair_p := { - pair_x := (UInt32.ofNatCore 1 (by intlit)), - pair_y := (UInt32.ofNatCore 2 (by intlit)) - } + struct_with_pair_p := + { + pair_x := (UInt32.ofNatCore 1 (by intlit)), + pair_y := (UInt32.ofNatCore 2 (by intlit)) + } } /- [no_nested_borrows::test_constants] -/ |