@@ -39,49 +39,49 @@ module 0x42::M {
3939 }
4040
4141 }
42- private fun foo3<T,T0>(left: T,right: T,fmt: & vector<u8>,a: T0) {
42+ private fun foo3<T,T0>(left: T,right: T,fmt: vector<u8>,a: T0) {
4343 match (Tuple(left, right)) {
4444 (_left: T, _right: T): (T, T) => {
4545 if Eq<T>(_left, _right) {
4646 Tuple()
4747 } else {
48- Abort(14566554180833181696, string::into_bytes(string_utils::format3<0x1::string::String, T, T>(Borrow(Immutable)([97, 115, 115, 101, 114, 116, 105, 111, 110, 32, 96, 108, 101, 102, 116, 32, 61, 61, 32, 114, 105, 103, 104, 116, 96, 32, 102, 97, 105, 108, 101, 100, 58, 32, 123, 125, 10, 32, 32, 108, 101, 102, 116, 58, 32, 123, 125, 10, 32, 114, 105, 103, 104, 116, 58, 32, 123, 125]), string_utils::format1<T0>(fmt, a), _left, _right)))
48+ Abort(14566554180833181696, string::into_bytes(string_utils::format3<0x1::string::String, T, T>(Borrow(Immutable)([97, 115, 115, 101, 114, 116, 105, 111, 110, 32, 96, 108, 101, 102, 116, 32, 61, 61, 32, 114, 105, 103, 104, 116, 96, 32, 102, 97, 105, 108, 101, 100, 58, 32, 123, 125, 10, 32, 32, 108, 101, 102, 116, 58, 32, 123, 125, 10, 32, 114, 105, 103, 104, 116, 58, 32, 123, 125]), string_utils::format1<T0>(Borrow(Immutable)( fmt) , a), _left, _right)))
4949 }
5050 }
5151 }
5252
5353 }
54- private fun foo4<T,T0,T1>(left: T,right: T,fmt: & vector<u8>,a: T0,b: T1) {
54+ private fun foo4<T,T0,T1>(left: T,right: T,fmt: vector<u8>,a: T0,b: T1) {
5555 match (Tuple(left, right)) {
5656 (_left: T, _right: T): (T, T) => {
5757 if Eq<T>(_left, _right) {
5858 Tuple()
5959 } else {
60- Abort(14566554180833181696, string::into_bytes(string_utils::format3<0x1::string::String, T, T>(Borrow(Immutable)([97, 115, 115, 101, 114, 116, 105, 111, 110, 32, 96, 108, 101, 102, 116, 32, 61, 61, 32, 114, 105, 103, 104, 116, 96, 32, 102, 97, 105, 108, 101, 100, 58, 32, 123, 125, 10, 32, 32, 108, 101, 102, 116, 58, 32, 123, 125, 10, 32, 114, 105, 103, 104, 116, 58, 32, 123, 125]), string_utils::format2<T0, T1>(fmt, a, b), _left, _right)))
60+ Abort(14566554180833181696, string::into_bytes(string_utils::format3<0x1::string::String, T, T>(Borrow(Immutable)([97, 115, 115, 101, 114, 116, 105, 111, 110, 32, 96, 108, 101, 102, 116, 32, 61, 61, 32, 114, 105, 103, 104, 116, 96, 32, 102, 97, 105, 108, 101, 100, 58, 32, 123, 125, 10, 32, 32, 108, 101, 102, 116, 58, 32, 123, 125, 10, 32, 114, 105, 103, 104, 116, 58, 32, 123, 125]), string_utils::format2<T0, T1>(Borrow(Immutable)( fmt) , a, b), _left, _right)))
6161 }
6262 }
6363 }
6464
6565 }
66- private fun foo5<T,T0,T1,T2>(left: T,right: T,fmt: & vector<u8>,a: T0,b: T1,c: T2) {
66+ private fun foo5<T,T0,T1,T2>(left: T,right: T,fmt: vector<u8>,a: T0,b: T1,c: T2) {
6767 match (Tuple(left, right)) {
6868 (_left: T, _right: T): (T, T) => {
6969 if Eq<T>(_left, _right) {
7070 Tuple()
7171 } else {
72- Abort(14566554180833181696, string::into_bytes(string_utils::format3<0x1::string::String, T, T>(Borrow(Immutable)([97, 115, 115, 101, 114, 116, 105, 111, 110, 32, 96, 108, 101, 102, 116, 32, 61, 61, 32, 114, 105, 103, 104, 116, 96, 32, 102, 97, 105, 108, 101, 100, 58, 32, 123, 125, 10, 32, 32, 108, 101, 102, 116, 58, 32, 123, 125, 10, 32, 114, 105, 103, 104, 116, 58, 32, 123, 125]), string_utils::format3<T0, T1, T2>(fmt, a, b, c), _left, _right)))
72+ Abort(14566554180833181696, string::into_bytes(string_utils::format3<0x1::string::String, T, T>(Borrow(Immutable)([97, 115, 115, 101, 114, 116, 105, 111, 110, 32, 96, 108, 101, 102, 116, 32, 61, 61, 32, 114, 105, 103, 104, 116, 96, 32, 102, 97, 105, 108, 101, 100, 58, 32, 123, 125, 10, 32, 32, 108, 101, 102, 116, 58, 32, 123, 125, 10, 32, 114, 105, 103, 104, 116, 58, 32, 123, 125]), string_utils::format3<T0, T1, T2>(Borrow(Immutable)( fmt) , a, b, c), _left, _right)))
7373 }
7474 }
7575 }
7676
7777 }
78- private fun foo6<T,T0,T1,T2,T3>(left: T,right: T,fmt: & vector<u8>,a: T0,b: T1,c: T2,d: T3) {
78+ private fun foo6<T,T0,T1,T2,T3>(left: T,right: T,fmt: vector<u8>,a: T0,b: T1,c: T2,d: T3) {
7979 match (Tuple(left, right)) {
8080 (_left: T, _right: T): (T, T) => {
8181 if Eq<T>(_left, _right) {
8282 Tuple()
8383 } else {
84- Abort(14566554180833181696, string::into_bytes(string_utils::format3<0x1::string::String, T, T>(Borrow(Immutable)([97, 115, 115, 101, 114, 116, 105, 111, 110, 32, 96, 108, 101, 102, 116, 32, 61, 61, 32, 114, 105, 103, 104, 116, 96, 32, 102, 97, 105, 108, 101, 100, 58, 32, 123, 125, 10, 32, 32, 108, 101, 102, 116, 58, 32, 123, 125, 10, 32, 114, 105, 103, 104, 116, 58, 32, 123, 125]), string_utils::format4<T0, T1, T2, T3>(fmt, a, b, c, d), _left, _right)))
84+ Abort(14566554180833181696, string::into_bytes(string_utils::format3<0x1::string::String, T, T>(Borrow(Immutable)([97, 115, 115, 101, 114, 116, 105, 111, 110, 32, 96, 108, 101, 102, 116, 32, 61, 61, 32, 114, 105, 103, 104, 116, 96, 32, 102, 97, 105, 108, 101, 100, 58, 32, 123, 125, 10, 32, 32, 108, 101, 102, 116, 58, 32, 123, 125, 10, 32, 114, 105, 103, 104, 116, 58, 32, 123, 125]), string_utils::format4<T0, T1, T2, T3>(Borrow(Immutable)( fmt) , a, b, c, d), _left, _right)))
8585 }
8686 }
8787 }
@@ -116,24 +116,24 @@ module 0x42::M {
116116 (_left,_right) => if (_left == _right) () else abort 0x1::string::into_bytes(0x1::string_utils::format3<0x1::string::String,T,T>(&vector[97u8, 115u8, 115u8, 101u8, 114u8, 116u8, 105u8, 111u8, 110u8, 32u8, 96u8, 108u8, 101u8, 102u8, 116u8, 32u8, 61u8, 61u8, 32u8, 114u8, 105u8, 103u8, 104u8, 116u8, 96u8, 32u8, 102u8, 97u8, 105u8, 108u8, 101u8, 100u8, 58u8, 32u8, 123u8, 125u8, 10u8, 32u8, 32u8, 108u8, 101u8, 102u8, 116u8, 58u8, 32u8, 123u8, 125u8, 10u8, 32u8, 114u8, 105u8, 103u8, 104u8, 116u8, 58u8, 32u8, 123u8, 125u8], 0x1::string::utf8(message), _left, _right)),
117117 }
118118 }
119- fun foo3<T: drop, T0: drop>(left: T, right: T, fmt: & vector<u8>, a: T0) {
119+ fun foo3<T: drop, T0: drop>(left: T, right: T, fmt: vector<u8>, a: T0) {
120120 match ((left, right)) {
121- (_left,_right) => if (_left == _right) () else abort 0x1::string::into_bytes(0x1::string_utils::format3<0x1::string::String,T,T>(&vector[97u8, 115u8, 115u8, 101u8, 114u8, 116u8, 105u8, 111u8, 110u8, 32u8, 96u8, 108u8, 101u8, 102u8, 116u8, 32u8, 61u8, 61u8, 32u8, 114u8, 105u8, 103u8, 104u8, 116u8, 96u8, 32u8, 102u8, 97u8, 105u8, 108u8, 101u8, 100u8, 58u8, 32u8, 123u8, 125u8, 10u8, 32u8, 32u8, 108u8, 101u8, 102u8, 116u8, 58u8, 32u8, 123u8, 125u8, 10u8, 32u8, 114u8, 105u8, 103u8, 104u8, 116u8, 58u8, 32u8, 123u8, 125u8], 0x1::string_utils::format1<T0>(fmt, a), _left, _right)),
121+ (_left,_right) => if (_left == _right) () else abort 0x1::string::into_bytes(0x1::string_utils::format3<0x1::string::String,T,T>(&vector[97u8, 115u8, 115u8, 101u8, 114u8, 116u8, 105u8, 111u8, 110u8, 32u8, 96u8, 108u8, 101u8, 102u8, 116u8, 32u8, 61u8, 61u8, 32u8, 114u8, 105u8, 103u8, 104u8, 116u8, 96u8, 32u8, 102u8, 97u8, 105u8, 108u8, 101u8, 100u8, 58u8, 32u8, 123u8, 125u8, 10u8, 32u8, 32u8, 108u8, 101u8, 102u8, 116u8, 58u8, 32u8, 123u8, 125u8, 10u8, 32u8, 114u8, 105u8, 103u8, 104u8, 116u8, 58u8, 32u8, 123u8, 125u8], 0x1::string_utils::format1<T0>(& fmt, a), _left, _right)),
122122 }
123123 }
124- fun foo4<T: drop, T0: drop, T1: drop>(left: T, right: T, fmt: & vector<u8>, a: T0, b: T1) {
124+ fun foo4<T: drop, T0: drop, T1: drop>(left: T, right: T, fmt: vector<u8>, a: T0, b: T1) {
125125 match ((left, right)) {
126- (_left,_right) => if (_left == _right) () else abort 0x1::string::into_bytes(0x1::string_utils::format3<0x1::string::String,T,T>(&vector[97u8, 115u8, 115u8, 101u8, 114u8, 116u8, 105u8, 111u8, 110u8, 32u8, 96u8, 108u8, 101u8, 102u8, 116u8, 32u8, 61u8, 61u8, 32u8, 114u8, 105u8, 103u8, 104u8, 116u8, 96u8, 32u8, 102u8, 97u8, 105u8, 108u8, 101u8, 100u8, 58u8, 32u8, 123u8, 125u8, 10u8, 32u8, 32u8, 108u8, 101u8, 102u8, 116u8, 58u8, 32u8, 123u8, 125u8, 10u8, 32u8, 114u8, 105u8, 103u8, 104u8, 116u8, 58u8, 32u8, 123u8, 125u8], 0x1::string_utils::format2<T0,T1>(fmt, a, b), _left, _right)),
126+ (_left,_right) => if (_left == _right) () else abort 0x1::string::into_bytes(0x1::string_utils::format3<0x1::string::String,T,T>(&vector[97u8, 115u8, 115u8, 101u8, 114u8, 116u8, 105u8, 111u8, 110u8, 32u8, 96u8, 108u8, 101u8, 102u8, 116u8, 32u8, 61u8, 61u8, 32u8, 114u8, 105u8, 103u8, 104u8, 116u8, 96u8, 32u8, 102u8, 97u8, 105u8, 108u8, 101u8, 100u8, 58u8, 32u8, 123u8, 125u8, 10u8, 32u8, 32u8, 108u8, 101u8, 102u8, 116u8, 58u8, 32u8, 123u8, 125u8, 10u8, 32u8, 114u8, 105u8, 103u8, 104u8, 116u8, 58u8, 32u8, 123u8, 125u8], 0x1::string_utils::format2<T0,T1>(& fmt, a, b), _left, _right)),
127127 }
128128 }
129- fun foo5<T: drop, T0: drop, T1: drop, T2: drop>(left: T, right: T, fmt: & vector<u8>, a: T0, b: T1, c: T2) {
129+ fun foo5<T: drop, T0: drop, T1: drop, T2: drop>(left: T, right: T, fmt: vector<u8>, a: T0, b: T1, c: T2) {
130130 match ((left, right)) {
131- (_left,_right) => if (_left == _right) () else abort 0x1::string::into_bytes(0x1::string_utils::format3<0x1::string::String,T,T>(&vector[97u8, 115u8, 115u8, 101u8, 114u8, 116u8, 105u8, 111u8, 110u8, 32u8, 96u8, 108u8, 101u8, 102u8, 116u8, 32u8, 61u8, 61u8, 32u8, 114u8, 105u8, 103u8, 104u8, 116u8, 96u8, 32u8, 102u8, 97u8, 105u8, 108u8, 101u8, 100u8, 58u8, 32u8, 123u8, 125u8, 10u8, 32u8, 32u8, 108u8, 101u8, 102u8, 116u8, 58u8, 32u8, 123u8, 125u8, 10u8, 32u8, 114u8, 105u8, 103u8, 104u8, 116u8, 58u8, 32u8, 123u8, 125u8], 0x1::string_utils::format3<T0,T1,T2>(fmt, a, b, c), _left, _right)),
131+ (_left,_right) => if (_left == _right) () else abort 0x1::string::into_bytes(0x1::string_utils::format3<0x1::string::String,T,T>(&vector[97u8, 115u8, 115u8, 101u8, 114u8, 116u8, 105u8, 111u8, 110u8, 32u8, 96u8, 108u8, 101u8, 102u8, 116u8, 32u8, 61u8, 61u8, 32u8, 114u8, 105u8, 103u8, 104u8, 116u8, 96u8, 32u8, 102u8, 97u8, 105u8, 108u8, 101u8, 100u8, 58u8, 32u8, 123u8, 125u8, 10u8, 32u8, 32u8, 108u8, 101u8, 102u8, 116u8, 58u8, 32u8, 123u8, 125u8, 10u8, 32u8, 114u8, 105u8, 103u8, 104u8, 116u8, 58u8, 32u8, 123u8, 125u8], 0x1::string_utils::format3<T0,T1,T2>(& fmt, a, b, c), _left, _right)),
132132 }
133133 }
134- fun foo6<T: drop, T0: drop, T1: drop, T2: drop, T3: drop>(left: T, right: T, fmt: & vector<u8>, a: T0, b: T1, c: T2, d: T3) {
134+ fun foo6<T: drop, T0: drop, T1: drop, T2: drop, T3: drop>(left: T, right: T, fmt: vector<u8>, a: T0, b: T1, c: T2, d: T3) {
135135 match ((left, right)) {
136- (_left,_right) => if (_left == _right) () else abort 0x1::string::into_bytes(0x1::string_utils::format3<0x1::string::String,T,T>(&vector[97u8, 115u8, 115u8, 101u8, 114u8, 116u8, 105u8, 111u8, 110u8, 32u8, 96u8, 108u8, 101u8, 102u8, 116u8, 32u8, 61u8, 61u8, 32u8, 114u8, 105u8, 103u8, 104u8, 116u8, 96u8, 32u8, 102u8, 97u8, 105u8, 108u8, 101u8, 100u8, 58u8, 32u8, 123u8, 125u8, 10u8, 32u8, 32u8, 108u8, 101u8, 102u8, 116u8, 58u8, 32u8, 123u8, 125u8, 10u8, 32u8, 114u8, 105u8, 103u8, 104u8, 116u8, 58u8, 32u8, 123u8, 125u8], 0x1::string_utils::format4<T0,T1,T2,T3>(fmt, a, b, c, d), _left, _right)),
136+ (_left,_right) => if (_left == _right) () else abort 0x1::string::into_bytes(0x1::string_utils::format3<0x1::string::String,T,T>(&vector[97u8, 115u8, 115u8, 101u8, 114u8, 116u8, 105u8, 111u8, 110u8, 32u8, 96u8, 108u8, 101u8, 102u8, 116u8, 32u8, 61u8, 61u8, 32u8, 114u8, 105u8, 103u8, 104u8, 116u8, 96u8, 32u8, 102u8, 97u8, 105u8, 108u8, 101u8, 100u8, 58u8, 32u8, 123u8, 125u8, 10u8, 32u8, 32u8, 108u8, 101u8, 102u8, 116u8, 58u8, 32u8, 123u8, 125u8, 10u8, 32u8, 114u8, 105u8, 103u8, 104u8, 116u8, 58u8, 32u8, 123u8, 125u8], 0x1::string_utils::format4<T0,T1,T2,T3>(& fmt, a, b, c, d), _left, _right)),
137137 }
138138 }
139139}
0 commit comments