118_many_enum_switch_values.toy (956B)
1 enum BigSwitch: i64 { 2 .v0 = 0, .v1 = 1, .v2 = 2, .v3 = 3, .v4 = 4, .v5 = 5, 3 .v6 = 6, .v7 = 7, .v8 = 8, .v9 = 9, .v10 = 10, .v11 = 11, 4 .v12 = 12, .v13 = 13, .v14 = 14, .v15 = 15, .v16 = 16, .v17 = 17, 5 .v18 = 18, .v19 = 19, .v20 = 20, .v21 = 21, .v22 = 22, .v23 = 23, 6 .v24 = 24, .v25 = 25, .v26 = 26, .v27 = 27, .v28 = 28, .v29 = 29, 7 .v30 = 30, .v31 = 31, .v32 = 32, .v33 = 33, 8 } 9 10 fn pick(b: BigSwitch): i64 { 11 return switch b { 12 .v0 { 0 } .v1 { 1 } .v2 { 2 } .v3 { 3 } .v4 { 4 } .v5 { 5 } 13 .v6 { 6 } .v7 { 7 } .v8 { 8 } .v9 { 9 } .v10 { 10 } .v11 { 11 } 14 .v12 { 12 } .v13 { 13 } .v14 { 14 } .v15 { 15 } .v16 { 16 } .v17 { 17 } 15 .v18 { 18 } .v19 { 19 } .v20 { 20 } .v21 { 21 } .v22 { 22 } .v23 { 23 } 16 .v24 { 24 } .v25 { 25 } .v26 { 26 } .v27 { 27 } .v28 { 28 } .v29 { 29 } 17 .v30 { 30 } .v31 { 31 } .v32 { 32 } .v33 { 33 } 18 }; 19 } 20 21 fn __user_main(): i64 { 22 return pick(.v33); 23 } 24 25 fn main(): i32 { return __user_main() as i32; }