220     let base = StructType::with_finality_and_supertype(&engine, Finality::NonFinal, None, [])?;  in struct_subtyping()  localVariable
221     let a = StructType::with_finality_and_supertype(&engine, Finality::NonFinal, Some(&base), [])?;  in struct_subtyping()
225         Some(&base),  in struct_subtyping()
261         (true, "base", &base, "base", &base),  in struct_subtyping()
267         (true, "a", &a, "base", &base),  in struct_subtyping()
273         (true, "c", &c, "base", &base),  in struct_subtyping()
279         (false, "base", &base, "g", &g),  in struct_subtyping()
280         (false, "g", &g, "base", &base),  in struct_subtyping()
287         (false, "base", &base, "h", &h),  in struct_subtyping()
288         (false, "h", &h, "base", &base),  in struct_subtyping()
290         (false, "base", &base, "i", &i),  in struct_subtyping()
291         (false, "i", &i, "base", &base),  in struct_subtyping()
374     let base = ArrayType::with_finality_and_supertype(  in array_subtyping()  localVariable
383         Some(&base),  in array_subtyping()
389         Some(&base),  in array_subtyping()
437         (true, "base", &base, "base", &base),  in array_subtyping()
443         (true, "a", &a, "base", &base),  in array_subtyping()
449         (true, "c", &c, "base", &base),  in array_subtyping()
455         (false, "base", &base, "g", &g),  in array_subtyping()
456         (false, "g", &g, "base", &base),  in array_subtyping()
463         (false, "base", &base, "h", &h),  in array_subtyping()
464         (false, "h", &h, "base", &base),  in array_subtyping()
466         (false, "base", &base, "i", &i),  in array_subtyping()
467         (false, "i", &i, "base", &base),  in array_subtyping()
564     let base = FuncType::with_finality_and_supertype(  in func_subtyping()  localVariable
574         Some(&base),  in func_subtyping()
581         Some(&base),  in func_subtyping()
637         (true, "base", &base, "base", &base),  in func_subtyping()
643         (true, "a", &a, "base", &base),  in func_subtyping()
649         (true, "c", &c, "base", &base),  in func_subtyping()
655         (false, "base", &base, "g", &g),  in func_subtyping()
656         (false, "g", &g, "base", &base),  in func_subtyping()
663         (false, "base", &base, "h", &h),  in func_subtyping()
664         (false, "h", &h, "base", &base),  in func_subtyping()
666         (false, "base", &base, "i", &i),  in func_subtyping()
667         (false, "i", &i, "base", &base),  in func_subtyping()