35             let array_ty = ArrayType::new(&engine, field_ty.clone());  in basic_array_types()
313     let a = ArrayType::with_finality_and_supertype(  in array_subtyping_field_must_match()
331             ArrayType::with_finality_and_supertype(&engine, Finality::NonFinal, Some(&a), field)  in array_subtyping_field_must_match()
345             ArrayType::with_finality_and_supertype(&engine, finality, None, field(HeapType::Any))?;  in array_subtyping_supertype_and_finality()
346         let actual = ArrayType::with_finality_and_supertype(  in array_subtyping_supertype_and_finality()
374     let base = ArrayType::with_finality_and_supertype(  in array_subtyping()
380     let a = ArrayType::with_finality_and_supertype(  in array_subtyping()
386     let b = ArrayType::with_finality_and_supertype(  in array_subtyping()
392     let c = ArrayType::with_finality_and_supertype(  in array_subtyping()
398     let d = ArrayType::with_finality_and_supertype(  in array_subtyping()
404     let e = ArrayType::with_finality_and_supertype(  in array_subtyping()
410     let f = ArrayType::with_finality_and_supertype(  in array_subtyping()
416     let g = ArrayType::with_finality_and_supertype(  in array_subtyping()
422     let h = ArrayType::with_finality_and_supertype(  in array_subtyping()
428     let i = ArrayType::with_finality_and_supertype(  in array_subtyping()