23     let engine = Engine::default();  in basic_array_types()  localVariable
29             StorageType::ValType(RefType::new(true, FuncType::new(&engine, [], []).into()).into()),  in basic_array_types()
35             let array_ty = ArrayType::new(&engine, field_ty.clone());  in basic_array_types()
36             assert!(Engine::same(array_ty.engine(), &engine));  in basic_array_types()
47     let engine = Engine::default();  in empty_struct_type()  localVariable
48     let struct_ty = StructType::new(&engine, [])?;  in empty_struct_type()
56     let engine = Engine::default();  in basic_struct_types()  localVariable
67                         RefType::new(true, FuncType::new(&engine, [], []).into()).into(),  in basic_struct_types()
75     let struct_ty = StructType::new(&engine, field_types())?;  in basic_struct_types()
89     let engine = Engine::default();  in struct_type_matches()  localVariable
92         &engine,  in struct_type_matches()
100         &engine,  in struct_type_matches()
106     let not_sub_ty = StructType::new(&engine, [imm_field(HeapType::NoFunc)])?;  in struct_type_matches()
111         &engine,  in struct_type_matches()
118         &engine,  in struct_type_matches()
125         &engine,  in struct_type_matches()
132         &engine,  in struct_type_matches()
138     let not_sub_ty = StructType::new(&engine, [imm_field(HeapType::Extern)])?;  in struct_type_matches()
140     let not_sub_ty = StructType::new(&engine, [field(HeapType::Extern)])?;  in struct_type_matches()
142     let not_sub_ty = StructType::new(&engine, [])?;  in struct_type_matches()
150     let engine = Engine::default();  in struct_subtyping_fields_must_match()  localVariable
153         &engine,  in struct_subtyping_fields_must_match()
180             StructType::with_finality_and_supertype(&engine, Finality::NonFinal, Some(&a), fields)  in struct_subtyping_fields_must_match()
193     let engine = Engine::default();  in struct_subtyping_supertype_and_finality()  localVariable
196         let a = StructType::with_finality_and_supertype(&engine, finality, None, [])?;  in struct_subtyping_supertype_and_finality()
198             StructType::with_finality_and_supertype(&engine, Finality::Final, Some(&a), []).is_ok();  in struct_subtyping_supertype_and_finality()
207     let engine = Engine::default();  in struct_subtyping()  localVariable
220     let base = StructType::with_finality_and_supertype(&engine, Finality::NonFinal, None, [])?;  in struct_subtyping()
221     let a = StructType::with_finality_and_supertype(&engine, Finality::NonFinal, Some(&base), [])?;  in struct_subtyping()
223         &engine,  in struct_subtyping()
229     let c = StructType::with_finality_and_supertype(&engine, Finality::NonFinal, Some(&a), [])?;  in struct_subtyping()
231         &engine,  in struct_subtyping()
237     let e = StructType::with_finality_and_supertype(&engine, Finality::NonFinal, Some(&c), [])?;  in struct_subtyping()
238     let f = StructType::with_finality_and_supertype(&engine, Finality::NonFinal, Some(&e), [])?;  in struct_subtyping()
240         &engine,  in struct_subtyping()
247         &engine,  in struct_subtyping()
253         &engine,  in struct_subtyping()
311     let engine = Engine::default();  in array_subtyping_field_must_match()  localVariable
314         &engine,  in array_subtyping_field_must_match()
331             ArrayType::with_finality_and_supertype(&engine, Finality::NonFinal, Some(&a), field)  in array_subtyping_field_must_match()
341     let engine = Engine::default();  in array_subtyping_supertype_and_finality()  localVariable
345             ArrayType::with_finality_and_supertype(&engine, finality, None, field(HeapType::Any))?;  in array_subtyping_supertype_and_finality()
347             &engine,  in array_subtyping_supertype_and_finality()
361     let engine = Engine::default();  in array_subtyping()  localVariable
375         &engine,  in array_subtyping()
381         &engine,  in array_subtyping()
387         &engine,  in array_subtyping()
393         &engine,  in array_subtyping()
399         &engine,  in array_subtyping()
405         &engine,  in array_subtyping()
411         &engine,  in array_subtyping()
417         &engine,  in array_subtyping()
423         &engine,  in array_subtyping()
429         &engine,  in array_subtyping()
487     let engine = Engine::default();  in func_subtyping_field_must_match()  localVariable
490         &engine,  in func_subtyping_field_must_match()
510             &engine,  in func_subtyping_field_must_match()
525     let engine = Engine::default();  in func_subtyping_supertype_and_finality()  localVariable
529             &engine,  in func_subtyping_supertype_and_finality()
536             &engine,  in func_subtyping_supertype_and_finality()
551     let engine = Engine::default();  in func_subtyping()  localVariable
565         &engine,  in func_subtyping()
572         &engine,  in func_subtyping()
579         &engine,  in func_subtyping()
586         &engine,  in func_subtyping()
593         &engine,  in func_subtyping()
600         &engine,  in func_subtyping()
607         &engine,  in func_subtyping()
614         &engine,  in func_subtyping()
621         &engine,  in func_subtyping()
628         &engine,  in func_subtyping()