139     Tuple(VecInRange<Type, 1, 10>),  enumerator
180             15 => Type::Tuple(Type::generate_list(u, depth - 1, fuel)?),  in generate()
293             | Type::Tuple(_)  in store_flat()
416             Type::Tuple(t) => record(s, helpers, t),  in store_flat_helper()
462             | Type::Tuple(_)  in load_flat()
594             Type::Tuple(t) => record(s, helpers, t),  in load_flat_helper()
711             Type::Tuple(types) => lower_record(types.0.iter(), vec),  in lower()
752             Type::Tuple(types) => record_size_and_alignment(types.0.iter()),  in size_and_alignment()
1228         Type::Tuple(types) => {  in rust_type()
1376             | Type::Tuple(_)  in write_ref()
1428             Type::Tuple(types) => {  in write_decl()