1use evm_coder_procedural::AbiCoder;2use evm_coder::types::bytes;34#[test]5fn empty_struct() {6 let t = trybuild::TestCases::new();7 t.compile_fail("tests/build_failed/abi_derive_generation.rs");8}910#[derive(AbiCoder, PartialEq, Debug)]11struct TypeStruct1SimpleParam {12 _a: u8,13}1415#[derive(AbiCoder, PartialEq, Debug)]16struct TypeStruct1DynamicParam {17 _a: String,18}1920#[derive(AbiCoder, PartialEq, Debug)]21struct TypeStruct2SimpleParam {22 _a: u8,23 _b: u32,24}2526#[derive(AbiCoder, PartialEq, Debug)]27struct TypeStruct2DynamicParam {28 _a: String,29 _b: bytes,30}3132#[derive(AbiCoder, PartialEq, Debug)]33struct TypeStruct2MixedParam {34 _a: u8,35 _b: bytes,36}3738#[derive(AbiCoder, PartialEq, Debug)]39struct TypeStruct1DerivedSimpleParam {40 _a: TypeStruct1SimpleParam,41}4243#[derive(AbiCoder, PartialEq, Debug)]44struct TypeStruct2DerivedSimpleParam {45 _a: TypeStruct1SimpleParam,46 _b: TypeStruct2SimpleParam,47}4849#[derive(AbiCoder, PartialEq, Debug)]50struct TypeStruct1DerivedDynamicParam {51 _a: TypeStruct1DynamicParam,52}5354#[derive(AbiCoder, PartialEq, Debug)]55struct TypeStruct2DerivedDynamicParam {56 _a: TypeStruct1DynamicParam,57 _b: TypeStruct2DynamicParam,58}5960#[derive(AbiCoder, PartialEq, Debug)]61struct TypeStruct3DerivedMixedParam {62 _a: TypeStruct1SimpleParam,63 _b: TypeStruct2DynamicParam,64 _c: TypeStruct2MixedParam,65}6667#[test]68fn empty() {}6970#[test]71fn impl_abi_type_signature() {72 assert_eq!(73 <TypeStruct1SimpleParam as evm_coder::abi::AbiType>::SIGNATURE74 .as_str()75 .unwrap(),76 "(uint8)"77 );78 assert_eq!(79 <TypeStruct1DynamicParam as evm_coder::abi::AbiType>::SIGNATURE80 .as_str()81 .unwrap(),82 "(string)"83 );84 assert_eq!(85 <TypeStruct2SimpleParam as evm_coder::abi::AbiType>::SIGNATURE86 .as_str()87 .unwrap(),88 "(uint8,uint32)"89 );90 assert_eq!(91 <TypeStruct2DynamicParam as evm_coder::abi::AbiType>::SIGNATURE92 .as_str()93 .unwrap(),94 "(string,bytes)"95 );96 assert_eq!(97 <TypeStruct2MixedParam as evm_coder::abi::AbiType>::SIGNATURE98 .as_str()99 .unwrap(),100 "(uint8,bytes)"101 );102 assert_eq!(103 <TypeStruct1DerivedSimpleParam as evm_coder::abi::AbiType>::SIGNATURE104 .as_str()105 .unwrap(),106 "((uint8))"107 );108 assert_eq!(109 <TypeStruct2DerivedSimpleParam as evm_coder::abi::AbiType>::SIGNATURE110 .as_str()111 .unwrap(),112 "((uint8),(uint8,uint32))"113 );114 assert_eq!(115 <TypeStruct1DerivedDynamicParam as evm_coder::abi::AbiType>::SIGNATURE116 .as_str()117 .unwrap(),118 "((string))"119 );120 assert_eq!(121 <TypeStruct2DerivedDynamicParam as evm_coder::abi::AbiType>::SIGNATURE122 .as_str()123 .unwrap(),124 "((string),(string,bytes))"125 );126 assert_eq!(127 <TypeStruct3DerivedMixedParam as evm_coder::abi::AbiType>::SIGNATURE128 .as_str()129 .unwrap(),130 "((uint8),(string,bytes),(uint8,bytes))"131 );132}133134#[test]135fn impl_abi_type_is_dynamic() {136 assert_eq!(137 <TypeStruct1SimpleParam as evm_coder::abi::AbiType>::is_dynamic(),138 false139 );140 assert_eq!(141 <TypeStruct1DynamicParam as evm_coder::abi::AbiType>::is_dynamic(),142 true143 );144 assert_eq!(145 <TypeStruct2SimpleParam as evm_coder::abi::AbiType>::is_dynamic(),146 false147 );148 assert_eq!(149 <TypeStruct2DynamicParam as evm_coder::abi::AbiType>::is_dynamic(),150 true151 );152 assert_eq!(153 <TypeStruct2MixedParam as evm_coder::abi::AbiType>::is_dynamic(),154 true155 );156 assert_eq!(157 <TypeStruct1DerivedSimpleParam as evm_coder::abi::AbiType>::is_dynamic(),158 false159 );160 assert_eq!(161 <TypeStruct2DerivedSimpleParam as evm_coder::abi::AbiType>::is_dynamic(),162 false163 );164 assert_eq!(165 <TypeStruct1DerivedDynamicParam as evm_coder::abi::AbiType>::is_dynamic(),166 true167 );168 assert_eq!(169 <TypeStruct2DerivedDynamicParam as evm_coder::abi::AbiType>::is_dynamic(),170 true171 );172 assert_eq!(173 <TypeStruct3DerivedMixedParam as evm_coder::abi::AbiType>::is_dynamic(),174 true175 );176}177178#[test]179fn impl_abi_type_size() {180 const ABI_ALIGNMENT: usize = 32;181 assert_eq!(182 <TypeStruct1SimpleParam as evm_coder::abi::AbiType>::size(),183 ABI_ALIGNMENT184 );185 assert_eq!(186 <TypeStruct1DynamicParam as evm_coder::abi::AbiType>::size(),187 ABI_ALIGNMENT188 );189 assert_eq!(190 <TypeStruct2SimpleParam as evm_coder::abi::AbiType>::size(),191 ABI_ALIGNMENT * 2192 );193 assert_eq!(194 <TypeStruct2DynamicParam as evm_coder::abi::AbiType>::size(),195 ABI_ALIGNMENT * 2196 );197 assert_eq!(198 <TypeStruct2MixedParam as evm_coder::abi::AbiType>::size(),199 ABI_ALIGNMENT * 2200 );201 assert_eq!(202 <TypeStruct1DerivedSimpleParam as evm_coder::abi::AbiType>::size(),203 ABI_ALIGNMENT204 );205 assert_eq!(206 <TypeStruct2DerivedSimpleParam as evm_coder::abi::AbiType>::size(),207 ABI_ALIGNMENT * 3208 );209 assert_eq!(210 <TypeStruct1DerivedDynamicParam as evm_coder::abi::AbiType>::size(),211 ABI_ALIGNMENT212 );213 assert_eq!(214 <TypeStruct2DerivedDynamicParam as evm_coder::abi::AbiType>::size(),215 ABI_ALIGNMENT * 3216 );217 assert_eq!(218 <TypeStruct3DerivedMixedParam as evm_coder::abi::AbiType>::size(),219 ABI_ALIGNMENT * 5220 );221}222223#[derive(AbiCoder, PartialEq, Debug)]224struct TupleStruct1SimpleParam(u8);225226#[derive(AbiCoder, PartialEq, Debug)]227struct TupleStruct1DynamicParam(String);228229#[derive(AbiCoder, PartialEq, Debug)]230struct TupleStruct2SimpleParam(u8, u32);231232#[derive(AbiCoder, PartialEq, Debug)]233struct TupleStruct2DynamicParam(String, bytes);234235#[derive(AbiCoder, PartialEq, Debug)]236struct TupleStruct2MixedParam(u8, bytes);237238#[derive(AbiCoder, PartialEq, Debug)]239struct TupleStruct1DerivedSimpleParam(TupleStruct1SimpleParam);240241#[derive(AbiCoder, PartialEq, Debug)]242struct TupleStruct2DerivedSimpleParam(TupleStruct1SimpleParam, TupleStruct2SimpleParam);243244#[derive(AbiCoder, PartialEq, Debug)]245struct TupleStruct1DerivedDynamicParam(TupleStruct1DynamicParam);246247#[derive(AbiCoder, PartialEq, Debug)]248struct TupleStruct2DerivedDynamicParam(TupleStruct1DynamicParam, TupleStruct2DynamicParam);249250#[derive(AbiCoder, PartialEq, Debug)]251struct TupleStruct3DerivedMixedParam(252 TupleStruct1SimpleParam,253 TupleStruct2DynamicParam,254 TupleStruct2MixedParam,255);256257#[test]258fn impl_abi_type_signature_same_for_structs() {259 assert_eq!(260 <TypeStruct1SimpleParam as evm_coder::abi::AbiType>::SIGNATURE261 .as_str()262 .unwrap(),263 <TupleStruct1SimpleParam as evm_coder::abi::AbiType>::SIGNATURE264 .as_str()265 .unwrap()266 );267 assert_eq!(268 <TypeStruct1DynamicParam as evm_coder::abi::AbiType>::SIGNATURE269 .as_str()270 .unwrap(),271 <TupleStruct1DynamicParam as evm_coder::abi::AbiType>::SIGNATURE272 .as_str()273 .unwrap()274 );275 assert_eq!(276 <TypeStruct2SimpleParam as evm_coder::abi::AbiType>::SIGNATURE277 .as_str()278 .unwrap(),279 <TupleStruct2SimpleParam as evm_coder::abi::AbiType>::SIGNATURE280 .as_str()281 .unwrap()282 );283 assert_eq!(284 <TypeStruct2DynamicParam as evm_coder::abi::AbiType>::SIGNATURE285 .as_str()286 .unwrap(),287 <TupleStruct2DynamicParam as evm_coder::abi::AbiType>::SIGNATURE288 .as_str()289 .unwrap()290 );291 assert_eq!(292 <TypeStruct2MixedParam as evm_coder::abi::AbiType>::SIGNATURE293 .as_str()294 .unwrap(),295 <TupleStruct2MixedParam as evm_coder::abi::AbiType>::SIGNATURE296 .as_str()297 .unwrap(),298 );299 assert_eq!(300 <TypeStruct1DerivedSimpleParam as evm_coder::abi::AbiType>::SIGNATURE301 .as_str()302 .unwrap(),303 <TupleStruct1DerivedSimpleParam as evm_coder::abi::AbiType>::SIGNATURE304 .as_str()305 .unwrap(),306 );307 assert_eq!(308 <TypeStruct2DerivedSimpleParam as evm_coder::abi::AbiType>::SIGNATURE309 .as_str()310 .unwrap(),311 <TupleStruct2DerivedSimpleParam as evm_coder::abi::AbiType>::SIGNATURE312 .as_str()313 .unwrap(),314 );315 assert_eq!(316 <TypeStruct1DerivedDynamicParam as evm_coder::abi::AbiType>::SIGNATURE317 .as_str()318 .unwrap(),319 <TupleStruct1DerivedDynamicParam as evm_coder::abi::AbiType>::SIGNATURE320 .as_str()321 .unwrap(),322 );323 assert_eq!(324 <TypeStruct2DerivedDynamicParam as evm_coder::abi::AbiType>::SIGNATURE325 .as_str()326 .unwrap(),327 <TupleStruct2DerivedDynamicParam as evm_coder::abi::AbiType>::SIGNATURE328 .as_str()329 .unwrap(),330 );331 assert_eq!(332 <TypeStruct3DerivedMixedParam as evm_coder::abi::AbiType>::SIGNATURE333 .as_str()334 .unwrap(),335 <TupleStruct3DerivedMixedParam as evm_coder::abi::AbiType>::SIGNATURE336 .as_str()337 .unwrap(),338 );339}340341#[test]342fn impl_abi_type_is_dynamic_same_for_structs() {343 assert_eq!(344 <TypeStruct1SimpleParam as evm_coder::abi::AbiType>::is_dynamic(),345 <TupleStruct1SimpleParam as evm_coder::abi::AbiType>::is_dynamic()346 );347 assert_eq!(348 <TypeStruct1DynamicParam as evm_coder::abi::AbiType>::is_dynamic(),349 <TupleStruct1DynamicParam as evm_coder::abi::AbiType>::is_dynamic()350 );351 assert_eq!(352 <TypeStruct2SimpleParam as evm_coder::abi::AbiType>::is_dynamic(),353 <TupleStruct2SimpleParam as evm_coder::abi::AbiType>::is_dynamic()354 );355 assert_eq!(356 <TypeStruct2DynamicParam as evm_coder::abi::AbiType>::is_dynamic(),357 <TupleStruct2DynamicParam as evm_coder::abi::AbiType>::is_dynamic()358 );359 assert_eq!(360 <TypeStruct2MixedParam as evm_coder::abi::AbiType>::is_dynamic(),361 <TupleStruct2MixedParam as evm_coder::abi::AbiType>::is_dynamic()362 );363 assert_eq!(364 <TypeStruct1DerivedSimpleParam as evm_coder::abi::AbiType>::is_dynamic(),365 <TupleStruct1DerivedSimpleParam as evm_coder::abi::AbiType>::is_dynamic()366 );367 assert_eq!(368 <TypeStruct2DerivedSimpleParam as evm_coder::abi::AbiType>::is_dynamic(),369 <TupleStruct2DerivedSimpleParam as evm_coder::abi::AbiType>::is_dynamic()370 );371 assert_eq!(372 <TypeStruct1DerivedDynamicParam as evm_coder::abi::AbiType>::is_dynamic(),373 <TupleStruct1DerivedDynamicParam as evm_coder::abi::AbiType>::is_dynamic()374 );375 assert_eq!(376 <TypeStruct2DerivedDynamicParam as evm_coder::abi::AbiType>::is_dynamic(),377 <TupleStruct2DerivedDynamicParam as evm_coder::abi::AbiType>::is_dynamic()378 );379 assert_eq!(380 <TypeStruct3DerivedMixedParam as evm_coder::abi::AbiType>::is_dynamic(),381 <TupleStruct3DerivedMixedParam as evm_coder::abi::AbiType>::is_dynamic()382 );383}384385#[test]386fn impl_abi_type_size_same_for_structs() {387 assert_eq!(388 <TypeStruct1SimpleParam as evm_coder::abi::AbiType>::size(),389 <TupleStruct1SimpleParam as evm_coder::abi::AbiType>::size()390 );391 assert_eq!(392 <TypeStruct1DynamicParam as evm_coder::abi::AbiType>::size(),393 <TupleStruct1DynamicParam as evm_coder::abi::AbiType>::size()394 );395 assert_eq!(396 <TypeStruct2SimpleParam as evm_coder::abi::AbiType>::size(),397 <TupleStruct2SimpleParam as evm_coder::abi::AbiType>::size()398 );399 assert_eq!(400 <TypeStruct2DynamicParam as evm_coder::abi::AbiType>::size(),401 <TupleStruct2DynamicParam as evm_coder::abi::AbiType>::size()402 );403 assert_eq!(404 <TypeStruct2MixedParam as evm_coder::abi::AbiType>::size(),405 <TupleStruct2MixedParam as evm_coder::abi::AbiType>::size()406 );407 assert_eq!(408 <TypeStruct1DerivedSimpleParam as evm_coder::abi::AbiType>::size(),409 <TupleStruct1DerivedSimpleParam as evm_coder::abi::AbiType>::size()410 );411 assert_eq!(412 <TypeStruct2DerivedSimpleParam as evm_coder::abi::AbiType>::size(),413 <TupleStruct2DerivedSimpleParam as evm_coder::abi::AbiType>::size()414 );415 assert_eq!(416 <TypeStruct1DerivedDynamicParam as evm_coder::abi::AbiType>::size(),417 <TupleStruct1DerivedDynamicParam as evm_coder::abi::AbiType>::size()418 );419 assert_eq!(420 <TypeStruct2DerivedDynamicParam as evm_coder::abi::AbiType>::size(),421 <TupleStruct2DerivedDynamicParam as evm_coder::abi::AbiType>::size()422 );423 assert_eq!(424 <TypeStruct3DerivedMixedParam as evm_coder::abi::AbiType>::size(),425 <TupleStruct3DerivedMixedParam as evm_coder::abi::AbiType>::size()426 );427}428429const FUNCTION_IDENTIFIER: u32 = 0xdeadbeef;430431fn test_impl<Tuple, TupleStruct, TypeStruct>(432 tuple_data: Tuple,433 tuple_struct_data: TupleStruct,434 type_struct_data: TypeStruct,435) where436 TypeStruct:437 evm_coder::abi::AbiWrite + evm_coder::abi::AbiRead + std::cmp::PartialEq + std::fmt::Debug,438 TupleStruct:439 evm_coder::abi::AbiWrite + evm_coder::abi::AbiRead + std::cmp::PartialEq + std::fmt::Debug,440 Tuple:441 evm_coder::abi::AbiWrite + evm_coder::abi::AbiRead + std::cmp::PartialEq + std::fmt::Debug,442{443 let encoded_type_struct = test_abi_write_impl(&type_struct_data);444 let encoded_tuple_struct = test_abi_write_impl(&tuple_struct_data);445 let encoded_tuple = test_abi_write_impl(&tuple_data);446447 similar_asserts::assert_eq!(encoded_tuple, encoded_type_struct);448 similar_asserts::assert_eq!(encoded_tuple, encoded_tuple_struct);449450 {451 let (_, mut decoder) = evm_coder::abi::AbiReader::new_call(&encoded_tuple).unwrap();452 let restored_struct_data = <TypeStruct>::abi_read(&mut decoder).unwrap();453 assert_eq!(restored_struct_data, type_struct_data);454 }455 {456 let (_, mut decoder) = evm_coder::abi::AbiReader::new_call(&encoded_tuple).unwrap();457 let restored_struct_data = <TupleStruct>::abi_read(&mut decoder).unwrap();458 assert_eq!(restored_struct_data, tuple_struct_data);459 }460461 {462 let (_, mut decoder) = evm_coder::abi::AbiReader::new_call(&encoded_type_struct).unwrap();463 let restored_tuple_data = <Tuple>::abi_read(&mut decoder).unwrap();464 assert_eq!(restored_tuple_data, tuple_data);465 }466 {467 let (_, mut decoder) = evm_coder::abi::AbiReader::new_call(&encoded_tuple_struct).unwrap();468 let restored_tuple_data = <Tuple>::abi_read(&mut decoder).unwrap();469 assert_eq!(restored_tuple_data, tuple_data);470 }471}472473fn test_abi_write_impl<A>(data: &A) -> Vec<u8>474where475 A: evm_coder::abi::AbiWrite + evm_coder::abi::AbiRead + std::cmp::PartialEq + std::fmt::Debug,476{477 let mut writer = evm_coder::abi::AbiWriter::new_call(FUNCTION_IDENTIFIER);478 data.abi_write(&mut writer);479 let encoded_tuple = writer.finish();480 encoded_tuple481}482483#[test]484fn codec_struct_1_simple() {485 let _a = 0xff;486 test_impl::<(u8,), TupleStruct1SimpleParam, TypeStruct1SimpleParam>(487 (_a,),488 TupleStruct1SimpleParam(_a),489 TypeStruct1SimpleParam { _a },490 );491}492493#[test]494fn codec_struct_1_dynamic() {495 let _a: String = "some string".into();496 test_impl::<(String,), TupleStruct1DynamicParam, TypeStruct1DynamicParam>(497 (_a.clone(),),498 TupleStruct1DynamicParam(_a.clone()),499 TypeStruct1DynamicParam { _a },500 );501}502503#[test]504fn codec_struct_1_derived_simple() {505 let _a: u8 = 0xff;506 test_impl::<((u8,),), TupleStruct1DerivedSimpleParam, TypeStruct1DerivedSimpleParam>(507 ((_a,),),508 TupleStruct1DerivedSimpleParam(TupleStruct1SimpleParam(_a)),509 TypeStruct1DerivedSimpleParam {510 _a: TypeStruct1SimpleParam { _a },511 },512 );513}514515#[test]516fn codec_struct_1_derived_dynamic() {517 let _a: String = "some string".into();518 test_impl::<((String,),), TupleStruct1DerivedDynamicParam, TypeStruct1DerivedDynamicParam>(519 ((_a.clone(),),),520 TupleStruct1DerivedDynamicParam(TupleStruct1DynamicParam(_a.clone())),521 TypeStruct1DerivedDynamicParam {522 _a: TypeStruct1DynamicParam { _a },523 },524 );525}526527#[test]528fn codec_struct_2_simple() {529 let _a = 0xff;530 let _b = 0xbeefbaba;531 test_impl::<(u8, u32), TupleStruct2SimpleParam, TypeStruct2SimpleParam>(532 (_a, _b),533 TupleStruct2SimpleParam(_a, _b),534 TypeStruct2SimpleParam { _a, _b },535 );536}537538#[test]539fn codec_struct_2_dynamic() {540 let _a: String = "some string".into();541 let _b: bytes = bytes(vec![0x11, 0x22, 0x33]);542 test_impl::<(String, bytes), TupleStruct2DynamicParam, TypeStruct2DynamicParam>(543 (_a.clone(), _b.clone()),544 TupleStruct2DynamicParam(_a.clone(), _b.clone()),545 TypeStruct2DynamicParam { _a, _b },546 );547}548549#[test]550fn codec_struct_2_mixed() {551 let _a: u8 = 0xff;552 let _b: bytes = bytes(vec![0x11, 0x22, 0x33]);553 test_impl::<(u8, bytes), TupleStruct2MixedParam, TypeStruct2MixedParam>(554 (_a.clone(), _b.clone()),555 TupleStruct2MixedParam(_a.clone(), _b.clone()),556 TypeStruct2MixedParam { _a, _b },557 );558}559560#[test]561fn codec_struct_2_derived_simple() {562 let _a = 0xff;563 let _b = 0xbeefbaba;564 test_impl::<((u8,), (u8, u32)), TupleStruct2DerivedSimpleParam, TypeStruct2DerivedSimpleParam>(565 ((_a,), (_a, _b)),566 TupleStruct2DerivedSimpleParam(567 TupleStruct1SimpleParam(_a),568 TupleStruct2SimpleParam(_a, _b),569 ),570 TypeStruct2DerivedSimpleParam {571 _a: TypeStruct1SimpleParam { _a },572 _b: TypeStruct2SimpleParam { _a, _b },573 },574 );575}576577#[test]578fn codec_struct_2_derived_dynamic() {579 let _a = "some string".to_string();580 let _b = bytes(vec![0x11, 0x22, 0x33]);581 test_impl::<582 ((String,), (String, bytes)),583 TupleStruct2DerivedDynamicParam,584 TypeStruct2DerivedDynamicParam,585 >(586 ((_a.clone(),), (_a.clone(), _b.clone())),587 TupleStruct2DerivedDynamicParam(588 TupleStruct1DynamicParam(_a.clone()),589 TupleStruct2DynamicParam(_a.clone(), _b.clone()),590 ),591 TypeStruct2DerivedDynamicParam {592 _a: TypeStruct1DynamicParam { _a: _a.clone() },593 _b: TypeStruct2DynamicParam { _a, _b },594 },595 );596}597598#[test]599fn codec_struct_3_derived_mixed() {600 let int = 0xff;601 let by = bytes(vec![0x11, 0x22, 0x33]);602 let string = "some string".to_string();603 test_impl::<604 ((u8,), (String, bytes), (u8, bytes)),605 TupleStruct3DerivedMixedParam,606 TypeStruct3DerivedMixedParam,607 >(608 ((int,), (string.clone(), by.clone()), (int, by.clone())),609 TupleStruct3DerivedMixedParam(610 TupleStruct1SimpleParam(int),611 TupleStruct2DynamicParam(string.clone(), by.clone()),612 TupleStruct2MixedParam(int, by.clone()),613 ),614 TypeStruct3DerivedMixedParam {615 _a: TypeStruct1SimpleParam { _a: int },616 _b: TypeStruct2DynamicParam {617 _a: string.clone(),618 _b: by.clone(),619 },620 _c: TypeStruct2MixedParam { _a: int, _b: by },621 },622 );623}624625#[derive(AbiCoder, PartialEq, Debug)]626struct TypeStruct2SimpleStruct1Simple {627 _a: TypeStruct2SimpleParam,628 _b: TypeStruct2SimpleParam,629 _c: u8,630}631#[derive(AbiCoder, PartialEq, Debug)]632struct TupleStruct2SimpleStruct1Simple(TupleStruct2SimpleParam, TupleStruct2SimpleParam, u8);633634#[test]635fn codec_struct_2_struct_simple_1_simple() {636 let _a = 0xff;637 let _b = 0xbeefbaba;638 test_impl::<639 ((u8, u32), (u8, u32), u8),640 TupleStruct2SimpleStruct1Simple,641 TypeStruct2SimpleStruct1Simple,642 >(643 ((_a, _b), (_a, _b), _a),644 TupleStruct2SimpleStruct1Simple(645 TupleStruct2SimpleParam(_a, _b),646 TupleStruct2SimpleParam(_a, _b),647 _a,648 ),649 TypeStruct2SimpleStruct1Simple {650 _a: TypeStruct2SimpleParam { _a, _b },651 _b: TypeStruct2SimpleParam { _a, _b },652 _c: _a,653 },654 );655}