158         depth: u32,  in generate()
162         let max = if depth == 0 || *fuel == 0 { 12 } else { 21 };  in generate()
178             13 => Type::List(Box::new(Type::generate(u, depth - 1, fuel)?)),  in generate()
179             14 => Type::Record(Type::generate_list(u, depth - 1, fuel)?),  in generate()
180             15 => Type::Tuple(Type::generate_list(u, depth - 1, fuel)?),  in generate()
182                 Type::generate_opt(u, depth - 1, fuel)  in generate()
189             18 => Type::Option(Box::new(Type::generate(u, depth - 1, fuel)?)),  in generate()
191                 ok: Type::generate_opt(u, depth - 1, fuel)?.map(Box::new),  in generate()
192                 err: Type::generate_opt(u, depth - 1, fuel)?.map(Box::new),  in generate()
201                 Box::new(Type::generate(u, depth - 1, fuel)?),  in generate()
239         depth: u32,  in generate_opt()
243             Some(Type::generate(u, depth, fuel)?)  in generate_opt()
251         depth: u32,  in generate_list()
254         VecInRange::new(u, fuel, |u, fuel| Type::generate(u, depth, fuel))  in generate_list()