; LLVM IR from thepowersgang/mrustc :: src/hir_typeck (static)

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%"class.__gnu_cxx::__normal_iterator.507" = type { ptr }
%"class.HIR::TypeRef" = type { ptr }
%struct.MonomorphStatePtr = type { %class.MonomorphiserPP, ptr, ptr, ptr, ptr }
%class.MonomorphiserPP = type { %class.Monomorphiser }
%class.Monomorphiser = type { ptr, ptr, %"class.HIR::ItemPath", %"class.std::vector.401" }
%"class.HIR::ItemPath" = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%"class.std::vector.401" = type { %"struct.std::_Vector_base.402" }
%"struct.std::_Vector_base.402" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.__gnu_cxx::__normal_iterator.511" = type { ptr }
%"class.__gnu_cxx::__normal_iterator.514" = type { ptr }
%struct.Span = type { ptr }
%"class.std::function.0" = type { %"class.std::_Function_base", ptr }
%"class.std::_Function_base" = type { %"union.std::_Any_data", ptr }
%"union.std::_Any_data" = type { %"union.std::_Nocopy_types" }
%"union.std::_Nocopy_types" = type { { i64, i64 } }
%class.anon.604 = type { ptr, ptr }
%class.anon.605 = type { ptr, ptr }
%"class.__gnu_cxx::__normal_iterator.518" = type { ptr }
%"struct.HIR::TypeData_Path" = type { %"class.HIR::Path", %"class.HIR::TypePathBinding", %"class.std::unique_ptr" }
%"class.HIR::Path" = type { %"class.HIR::Path::Data" }
%"class.HIR::Path::Data" = type { i32, %"union.HIR::Path::Data::DataUnion" }
%"union.HIR::Path::Data::DataUnion" = type { %"struct.HIR::Path::Data::Data_UfcsKnown" }
%"struct.HIR::Path::Data::Data_UfcsKnown" = type { %"class.HIR::TypeRef", %"class.HIR::GenericPath", %class.RcString, %"struct.HIR::PathParams", %"class.std::unique_ptr" }
%"class.HIR::GenericPath" = type { %"struct.HIR::SimplePath", %"struct.HIR::PathParams" }
%"struct.HIR::SimplePath" = type { %class.ThinVector }
%class.ThinVector = type { ptr }
%class.RcString = type { ptr }
%"struct.HIR::PathParams" = type { %class.ThinVector.17, %class.ThinVector.18, %class.ThinVector.19 }
%class.ThinVector.17 = type { ptr }
%class.ThinVector.18 = type { ptr }
%class.ThinVector.19 = type { ptr }
%"class.HIR::TypePathBinding" = type { i32, %"union.HIR::TypePathBinding::DataUnion" }
%"union.HIR::TypePathBinding::DataUnion" = type { ptr }
%"class.std::unique_ptr" = type { %"struct.std::__uniq_ptr_data" }
%"struct.std::__uniq_ptr_data" = type { %"class.std::__uniq_ptr_impl" }
%"class.std::__uniq_ptr_impl" = type { %"class.std::tuple" }
%"class.std::tuple" = type { %"struct.std::_Tuple_impl" }
%"struct.std::_Tuple_impl" = type { %"struct.std::_Head_base.46" }
%"struct.std::_Head_base.46" = type { ptr }
%"class.HIR::Struct" = type <{ %"class.HIR::GenericParams", i32, [4 x i8], %"class.HIR::Struct::Data", i32, i32, %"struct.HIR::TraitMarkings", %"struct.HIR::StructMarkings", i32, [4 x i8] }>
%"class.HIR::GenericParams" = type { %"class.std::vector", %"class.std::vector.2", %"class.std::vector.7", %"class.std::vector.12" }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<HIR::TypeParamDef, std::allocator<HIR::TypeParamDef>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::TypeParamDef, std::allocator<HIR::TypeParamDef>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::TypeParamDef, std::allocator<HIR::TypeParamDef>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::TypeParamDef, std::allocator<HIR::TypeParamDef>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.2" = type { %"struct.std::_Vector_base.3" }
%"struct.std::_Vector_base.3" = type { %"struct.std::_Vector_base<HIR::LifetimeDef, std::allocator<HIR::LifetimeDef>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::LifetimeDef, std::allocator<HIR::LifetimeDef>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::LifetimeDef, std::allocator<HIR::LifetimeDef>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::LifetimeDef, std::allocator<HIR::LifetimeDef>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.7" = type { %"struct.std::_Vector_base.8" }
%"struct.std::_Vector_base.8" = type { %"struct.std::_Vector_base<HIR::ValueParamDef, std::allocator<HIR::ValueParamDef>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::ValueParamDef, std::allocator<HIR::ValueParamDef>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::ValueParamDef, std::allocator<HIR::ValueParamDef>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::ValueParamDef, std::allocator<HIR::ValueParamDef>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.12" = type { %"struct.std::_Vector_base.13" }
%"struct.std::_Vector_base.13" = type { %"struct.std::_Vector_base<HIR::GenericBound, std::allocator<HIR::GenericBound>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::GenericBound, std::allocator<HIR::GenericBound>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::GenericBound, std::allocator<HIR::GenericBound>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::GenericBound, std::allocator<HIR::GenericBound>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.HIR::Struct::Data" = type { i32, %"union.HIR::Struct::Data::DataUnion" }
%"union.HIR::Struct::Data::DataUnion" = type { %"class.std::vector.252" }
%"class.std::vector.252" = type { %"struct.std::_Vector_base.253" }
%"struct.std::_Vector_base.253" = type { %"struct.std::_Vector_base<HIR::VisEnt<HIR::TypeRef>, std::allocator<HIR::VisEnt<HIR::TypeRef>>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::VisEnt<HIR::TypeRef>, std::allocator<HIR::VisEnt<HIR::TypeRef>>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::VisEnt<HIR::TypeRef>, std::allocator<HIR::VisEnt<HIR::TypeRef>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::VisEnt<HIR::TypeRef>, std::allocator<HIR::VisEnt<HIR::TypeRef>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.HIR::TraitMarkings" = type { i8, i8, i8, %"class.std::map.91" }
%"class.std::map.91" = type { %"class.std::_Rb_tree.92" }
%"class.std::_Rb_tree.92" = type { %"struct.std::_Rb_tree<HIR::SimplePath, std::pair<const HIR::SimplePath, HIR::TraitMarkings::AutoMarking>, std::_Select1st<std::pair<const HIR::SimplePath, HIR::TraitMarkings::AutoMarking>>, std::less<HIR::SimplePath>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<HIR::SimplePath, std::pair<const HIR::SimplePath, HIR::TraitMarkings::AutoMarking>, std::_Select1st<std::pair<const HIR::SimplePath, HIR::TraitMarkings::AutoMarking>>, std::less<HIR::SimplePath>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.std::_Rb_tree_header" = type { %"struct.std::_Rb_tree_node_base", i64 }
%"struct.std::_Rb_tree_node_base" = type { i32, ptr, ptr, ptr }
%"struct.HIR::StructMarkings" = type { i8, i32, i32, i32, i32, i32, i32, i8, i8, %class.U128 }
%class.U128 = type { i64, i64 }
%"struct.HIR::VisEnt" = type { %"class.HIR::Publicity", %"class.HIR::TypeRef" }
%"class.HIR::Publicity" = type { %"class.std::shared_ptr.508" }
%"class.std::shared_ptr.508" = type { %"class.std::__shared_ptr.509" }
%"class.std::__shared_ptr.509" = type { ptr, %"class.std::__shared_count" }
%"class.std::__shared_count" = type { ptr }
%"struct.std::pair.512" = type { %class.RcString, %"struct.HIR::VisEnt" }
%"class.HIR::Enum" = type { %"class.HIR::GenericParams", i8, i32, %"class.HIR::Enum::Class", %"struct.HIR::TraitMarkings" }
%"class.HIR::Enum::Class" = type { i32, %"union.HIR::Enum::Class::DataUnion" }
%"union.HIR::Enum::Class::DataUnion" = type { %"class.std::vector.81", [8 x i8] }
%"class.std::vector.81" = type { %"struct.std::_Vector_base.82" }
%"struct.std::_Vector_base.82" = type { %"struct.std::_Vector_base<HIR::Enum::DataVariant, std::allocator<HIR::Enum::DataVariant>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::Enum::DataVariant, std::allocator<HIR::Enum::DataVariant>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::Enum::DataVariant, std::allocator<HIR::Enum::DataVariant>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::Enum::DataVariant, std::allocator<HIR::Enum::DataVariant>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.HIR::Enum::Class::Data_Value" = type <{ %"class.std::vector.86", i8, [7 x i8] }>
%"class.std::vector.86" = type { %"struct.std::_Vector_base.87" }
%"struct.std::_Vector_base.87" = type { %"struct.std::_Vector_base<HIR::Enum::ValueVariant, std::allocator<HIR::Enum::ValueVariant>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::Enum::ValueVariant, std::allocator<HIR::Enum::ValueVariant>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::Enum::ValueVariant, std::allocator<HIR::Enum::ValueVariant>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::Enum::ValueVariant, std::allocator<HIR::Enum::ValueVariant>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.HIR::Enum::DataVariant" = type { %class.RcString, i8, %"class.HIR::TypeRef" }
%"struct.HIR::TypeData::Data_Borrow" = type { %"struct.HIR::LifetimeRef", i32, %"class.HIR::TypeRef" }
%"struct.HIR::LifetimeRef" = type { i32 }
%"struct.HIR::TypeData::Data_Array" = type { %"class.HIR::TypeRef", %"class.HIR::ArraySize" }
%"class.HIR::ArraySize" = type { i32, %"union.HIR::ArraySize::DataUnion" }
%"union.HIR::ArraySize::DataUnion" = type { %"class.HIR::ConstGeneric" }
%"class.HIR::ConstGeneric" = type { i32, %"union.HIR::ConstGeneric::DataUnion" }
%"union.HIR::ConstGeneric::DataUnion" = type { %"class.std::unique_ptr.67", [8 x i8] }
%"class.std::unique_ptr.67" = type { %"struct.std::__uniq_ptr_data.68" }
%"struct.std::__uniq_ptr_data.68" = type { %"class.std::__uniq_ptr_impl.69" }
%"class.std::__uniq_ptr_impl.69" = type { %"class.std::tuple.70" }
%"class.std::tuple.70" = type { %"struct.std::_Tuple_impl.71" }
%"struct.std::_Tuple_impl.71" = type { %"struct.std::_Head_base.74" }
%"struct.std::_Head_base.74" = type { ptr }
%"struct.HIR::TypeData::Data_Slice" = type { %"class.HIR::TypeRef" }

@_ZTISt13runtime_error = external constant ptr
@.str.3 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [80 x i8], align 1
@.str.74 = external hidden unnamed_addr constant [1 x i8], align 1
@_ZTIPKc = external constant ptr
@__PRETTY_FUNCTION__._ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE = external hidden unnamed_addr constant [88 x i8], align 1
@__func__._ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE = external hidden unnamed_addr constant [19 x i8], align 1

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #0

declare i32 @__gxx_personality_v0(...)

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #0

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(184) ptr @_ZNK3HIR7TypeRef4dataEv(ptr noundef nonnull align 8 dereferenceable(8)) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(112) ptr @_ZNK3HIR8TypeData7as_PathEv(ptr noundef nonnull align 8 dereferenceable(184)) #2 align 2

declare void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #3

declare void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) #3

; Function Attrs: nounwind
declare void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #4

declare ptr @__cxa_allocate_exception(i64)

declare void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef) unnamed_addr #3

declare void @__cxa_free_exception(ptr)

; Function Attrs: nounwind
declare void @_ZNSt13runtime_errorD1Ev(ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #4

declare void @__cxa_throw(ptr, ptr, ptr)

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR15TypePathBinding9as_StructEv(ptr noundef nonnull align 8 dereferenceable(16)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(32) ptr @_ZNK3HIR4Path4Data10as_GenericEv(ptr noundef nonnull align 8 dereferenceable(88)) #2 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN3HIR7TypeRefC2Ev(ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #5 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK3HIR8TypeData3tagEv(ptr noundef nonnull align 8 dereferenceable(184)) #2 align 2

; Function Attrs: noreturn nounwind
declare void @__assert_fail(ptr noundef, ptr noundef, i32 noundef, ptr noundef) #6

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3HIR8TypeData8as_TupleEv(ptr noundef nonnull align 8 dereferenceable(184)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(144) ptr @_ZNK3HIR8TypeData11as_FunctionEv(ptr noundef nonnull align 8 dereferenceable(184)) #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN17MonomorphStatePtrC2EPKN3HIR7TypeRefEPKNS0_10PathParamsES6_S6_S6_(ptr noundef nonnull align 8 dereferenceable(128), ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) unnamed_addr #7 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96)) unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK3HIR15TypePathBinding3tagEv(ptr noundef nonnull align 8 dereferenceable(16)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 1 dereferenceable(1) ptr @_ZNK3HIR15TypePathBinding9as_OpaqueEv(ptr noundef nonnull align 8 dereferenceable(16)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 1 dereferenceable(1) ptr @_ZNK3HIR15TypePathBinding10as_UnboundEv(ptr noundef nonnull align 8 dereferenceable(16)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK3HIR6Struct4Data3tagEv(ptr noundef nonnull align 8 dereferenceable(32)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 1 dereferenceable(1) ptr @_ZNK3HIR6Struct4Data7as_UnitEv(ptr noundef nonnull align 8 dereferenceable(32)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3HIR6Struct4Data8as_TupleEv(ptr noundef nonnull align 8 dereferenceable(32)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNKSt6vectorIN3HIR6VisEntINS0_7TypeRefEEESaIS3_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNKSt6vectorIN3HIR6VisEntINS0_7TypeRefEEESaIS3_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24)) #2 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3HIR6VisEntINS1_7TypeRefEEESt6vectorIS4_SaIS4_EEEEbRKNS_17__normal_iteratorIT_T0_EESF_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #1

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(24) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3HIR6VisEntINS1_7TypeRefEEESt6vectorIS4_SaIS4_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3HIR6VisEntINS1_7TypeRefEEESt6vectorIS4_SaIS4_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3HIR6Struct4Data8as_NamedEv(ptr noundef nonnull align 8 dereferenceable(32)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNKSt6vectorISt4pairI8RcStringN3HIR6VisEntINS2_7TypeRefEEEESaIS6_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNKSt6vectorISt4pairI8RcStringN3HIR6VisEntINS2_7TypeRefEEEESaIS6_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24)) #2 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPKSt4pairI8RcStringN3HIR6VisEntINS3_7TypeRefEEEESt6vectorIS7_SaIS7_EEEEbRKNS_17__normal_iteratorIT_T0_EESI_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #1

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(32) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKSt4pairI8RcStringN3HIR6VisEntINS3_7TypeRefEEEESt6vectorIS7_SaIS7_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKSt4pairI8RcStringN3HIR6VisEntINS3_7TypeRefEEEESt6vectorIS7_SaIS7_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR15TypePathBinding7as_EnumEv(ptr noundef nonnull align 8 dereferenceable(16)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNKSt6vectorIN3HIR4Enum11DataVariantESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNKSt6vectorIN3HIR4Enum11DataVariantESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24)) #2 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3HIR4Enum11DataVariantESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #1

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(24) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3HIR4Enum11DataVariantESt6vectorIS3_SaIS3_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3HIR4Enum11DataVariantESt6vectorIS3_SaIS3_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR15TypePathBinding8as_UnionEv(ptr noundef nonnull align 8 dereferenceable(16)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR15TypePathBinding13as_ExternTypeEv(ptr noundef nonnull align 8 dereferenceable(16)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNKSt6vectorIN3HIR7TypeRefESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNKSt6vectorIN3HIR7TypeRefESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24)) #2 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESD_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #1

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 1 dereferenceable(1) ptr @_ZNK3HIR8TypeData10as_DivergeEv(ptr noundef nonnull align 8 dereferenceable(184)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(16) ptr @_ZNK3HIR8TypeData9as_BorrowEv(ptr noundef nonnull align 8 dereferenceable(184)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(16) ptr @_ZNK3HIR8TypeData10as_PointerEv(ptr noundef nonnull align 8 dereferenceable(184)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(40) ptr @_ZNK3HIR8TypeData8as_ArrayEv(ptr noundef nonnull align 8 dereferenceable(184)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR8TypeData8as_SliceEv(ptr noundef nonnull align 8 dereferenceable(184)) #2 align 2

; Function Attrs: mustprogress uwtable
define dso_local noundef zeroext i1 @_ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %0, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(8) %2) #7 align 2 personality ptr @__gxx_personality_v0 {
  %4 = alloca i1, align 1
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca i8, align 1
  %9 = alloca i32, align 4
  %10 = alloca ptr, align 8
  %11 = alloca i8, align 1
  %12 = alloca ptr, align 8
  %13 = alloca i8, align 1
  %14 = alloca ptr, align 8
  %15 = alloca i8, align 1
  %16 = alloca ptr, align 8
  %17 = alloca i8, align 1
  %18 = alloca ptr, align 8
  %19 = alloca i8, align 1
  %20 = alloca ptr, align 8
  %21 = alloca i8, align 1
  %22 = alloca ptr, align 8
  %23 = alloca ptr, align 8
  %24 = alloca ptr, align 8
  %25 = alloca i8, align 1
  %26 = alloca ptr, align 8
  %27 = alloca i8, align 1
  %28 = alloca ptr, align 8
  %29 = alloca i8, align 1
  %30 = alloca ptr, align 8
  %31 = alloca ptr, align 8
  %32 = alloca %"class.__gnu_cxx::__normal_iterator.507", align 8
  %33 = alloca %"class.__gnu_cxx::__normal_iterator.507", align 8
  %34 = alloca ptr, align 8
  %35 = alloca ptr, align 8
  %36 = alloca %"class.HIR::TypeRef", align 8
  %37 = alloca ptr, align 8
  %38 = alloca %struct.MonomorphStatePtr, align 8
  %39 = alloca ptr, align 8
  %40 = alloca i32, align 4
  %41 = alloca i8, align 1
  %42 = alloca ptr, align 8
  %43 = alloca ptr, align 8
  %44 = alloca %"class.__gnu_cxx::__normal_iterator.511", align 8
  %45 = alloca %"class.__gnu_cxx::__normal_iterator.511", align 8
  %46 = alloca ptr, align 8
  %47 = alloca ptr, align 8
  %48 = alloca %"class.HIR::TypeRef", align 8
  %49 = alloca ptr, align 8
  %50 = alloca %struct.MonomorphStatePtr, align 8
  %51 = alloca i8, align 1
  %52 = alloca ptr, align 8
  %53 = alloca ptr, align 8
  %54 = alloca i8, align 1
  %55 = alloca ptr, align 8
  %56 = alloca i8, align 1
  %57 = alloca ptr, align 8
  %58 = alloca i8, align 1
  %59 = alloca ptr, align 8
  %60 = alloca ptr, align 8
  %61 = alloca %"class.__gnu_cxx::__normal_iterator.514", align 8
  %62 = alloca %"class.__gnu_cxx::__normal_iterator.514", align 8
  %63 = alloca ptr, align 8
  %64 = alloca ptr, align 8
  %65 = alloca %"class.HIR::TypeRef", align 8
  %66 = alloca ptr, align 8
  %67 = alloca %struct.MonomorphStatePtr, align 8
  %68 = alloca ptr, align 8
  %69 = alloca %struct.Span, align 8
  %70 = alloca %"class.std::function.0", align 8
  %71 = alloca %class.anon.604, align 8
  %72 = alloca i8, align 1
  %73 = alloca ptr, align 8
  %74 = alloca ptr, align 8
  %75 = alloca %struct.Span, align 8
  %76 = alloca %"class.std::function.0", align 8
  %77 = alloca %class.anon.605, align 8
  %78 = alloca i8, align 1
  %79 = alloca ptr, align 8
  %80 = alloca i8, align 1
  %81 = alloca ptr, align 8
  %82 = alloca i8, align 1
  %83 = alloca ptr, align 8
  %84 = alloca i8, align 1
  %85 = alloca ptr, align 8
  %86 = alloca i8, align 1
  %87 = alloca ptr, align 8
  %88 = alloca i8, align 1
  %89 = alloca ptr, align 8
  %90 = alloca i8, align 1
  %91 = alloca ptr, align 8
  %92 = alloca ptr, align 8
  %93 = alloca %"class.__gnu_cxx::__normal_iterator.518", align 8
  %94 = alloca %"class.__gnu_cxx::__normal_iterator.518", align 8
  %95 = alloca ptr, align 8
  store ptr %0, ptr %5, align 8, !tbaa !5
  store ptr %1, ptr %6, align 8, !tbaa !5
  store ptr %2, ptr %7, align 8, !tbaa !5
  %96 = load ptr, ptr %5, align 8
  call void @llvm.lifetime.start.p0(i64 1, ptr %8) #8
  store i8 1, ptr %8, align 1, !tbaa !9
  br label %97

97:                                               ; preds = %859, %3
  %98 = load i8, ptr %8, align 1, !tbaa !9, !range !11, !noundef !12
  %99 = trunc i8 %98 to i1
  br i1 %99, label %101, label %100

100:                                              ; preds = %97
  store i32 2, ptr %9, align 4
  br label %860

101:                                              ; preds = %97
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #8
  %102 = load ptr, ptr %7, align 8, !tbaa !5
  %103 = call noundef nonnull align 8 dereferenceable(184) ptr @_ZNK3HIR7TypeRef4dataEv(ptr noundef nonnull align 8 dereferenceable(8) %102)
  store ptr %103, ptr %10, align 8, !tbaa !5
  br label %104

104:                                              ; preds = %855, %101
  %105 = load i8, ptr %8, align 1, !tbaa !9, !range !11, !noundef !12
  %106 = trunc i8 %105 to i1
  br i1 %106, label %108, label %107

107:                                              ; preds = %104
  store i32 5, ptr %9, align 4
  br label %856

108:                                              ; preds = %104
  %109 = load ptr, ptr %10, align 8, !tbaa !5
  %110 = call noundef i32 @_ZNK3HIR8TypeData3tagEv(ptr noundef nonnull align 8 dereferenceable(184) %109)
  switch i32 %110, label %112 [
    i32 0, label %111
    i32 2, label %113
    i32 4, label %135
    i32 11, label %685
    i32 12, label %711
    i32 14, label %733
    i32 8, label %755
    i32 9, label %781
    i32 10, label %807
  ]

111:                                              ; preds = %108
  call void @__assert_fail(ptr noundef @.str.4, ptr noundef @.str.5, i32 noundef 2301, ptr noundef @__PRETTY_FUNCTION__._ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE) #9
  unreachable

112:                                              ; preds = %108
  store i1 false, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %856

113:                                              ; preds = %108
  call void @llvm.lifetime.start.p0(i64 1, ptr %11) #8
  store i8 1, ptr %11, align 1, !tbaa !9
  br label %114

114:                                              ; preds = %131, %113
  %115 = load i8, ptr %11, align 1, !tbaa !9, !range !11, !noundef !12
  %116 = trunc i8 %115 to i1
  br i1 %116, label %118, label %117

117:                                              ; preds = %114
  store i32 9, ptr %9, align 4
  br label %132

118:                                              ; preds = %114
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #8
  %119 = load ptr, ptr %10, align 8, !tbaa !5
  %120 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNK3HIR8TypeData10as_DivergeEv(ptr noundef nonnull align 8 dereferenceable(184) %119)
  store ptr %120, ptr %12, align 8, !tbaa !5
  br label %121

121:                                              ; preds = %127, %118
  %122 = load ptr, ptr %12, align 8, !tbaa !5
  %123 = load i8, ptr %11, align 1, !tbaa !9, !range !11, !noundef !12
  %124 = trunc i8 %123 to i1
  br i1 %124, label %126, label %125

125:                                              ; preds = %121
  store i32 12, ptr %9, align 4
  br label %128

126:                                              ; preds = %121
  store i1 true, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %128

127:                                              ; No predecessors!
  store i8 0, ptr %11, align 1, !tbaa !9
  br label %121, !llvm.loop !13

128:                                              ; preds = %126, %125
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #8
  %129 = load i32, ptr %9, align 4
  switch i32 %129, label %132 [
    i32 12, label %130
  ]

130:                                              ; preds = %128
  br label %131

131:                                              ; preds = %130
  store i8 0, ptr %11, align 1, !tbaa !9
  br label %114, !llvm.loop !15

132:                                              ; preds = %128, %117
  call void @llvm.lifetime.end.p0(i64 1, ptr %11) #8
  %133 = load i32, ptr %9, align 4
  switch i32 %133, label %856 [
    i32 9, label %134
  ]

134:                                              ; preds = %132
  br label %854

135:                                              ; preds = %108
  call void @llvm.lifetime.start.p0(i64 1, ptr %13) #8
  store i8 1, ptr %13, align 1, !tbaa !9
  br label %136

136:                                              ; preds = %681, %135
  %137 = load i8, ptr %13, align 1, !tbaa !9, !range !11, !noundef !12
  %138 = trunc i8 %137 to i1
  br i1 %138, label %140, label %139

139:                                              ; preds = %136
  store i32 15, ptr %9, align 4
  br label %682

140:                                              ; preds = %136
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #8
  %141 = load ptr, ptr %10, align 8, !tbaa !5
  %142 = call noundef nonnull align 8 dereferenceable(112) ptr @_ZNK3HIR8TypeData7as_PathEv(ptr noundef nonnull align 8 dereferenceable(184) %141)
  store ptr %142, ptr %14, align 8, !tbaa !5
  br label %143

143:                                              ; preds = %677, %140
  %144 = load ptr, ptr %14, align 8, !tbaa !5
  %145 = load i8, ptr %13, align 1, !tbaa !9, !range !11, !noundef !12
  %146 = trunc i8 %145 to i1
  br i1 %146, label %148, label %147

147:                                              ; preds = %143
  store i32 18, ptr %9, align 4
  br label %678

148:                                              ; preds = %143
  call void @llvm.lifetime.start.p0(i64 1, ptr %15) #8
  store i8 1, ptr %15, align 1, !tbaa !9
  br label %149

149:                                              ; preds = %673, %148
  %150 = load i8, ptr %15, align 1, !tbaa !9, !range !11, !noundef !12
  %151 = trunc i8 %150 to i1
  br i1 %151, label %153, label %152

152:                                              ; preds = %149
  store i32 21, ptr %9, align 4
  br label %674

153:                                              ; preds = %149
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #8
  %154 = load ptr, ptr %14, align 8, !tbaa !5
  %155 = getelementptr inbounds %"struct.HIR::TypeData_Path", ptr %154, i32 0, i32 1
  store ptr %155, ptr %16, align 8, !tbaa !5
  br label %156

156:                                              ; preds = %668, %153
  %157 = load i8, ptr %15, align 1, !tbaa !9, !range !11, !noundef !12
  %158 = trunc i8 %157 to i1
  br i1 %158, label %160, label %159

159:                                              ; preds = %156
  store i32 24, ptr %9, align 4
  br label %669

160:                                              ; preds = %156
  %161 = load ptr, ptr %16, align 8, !tbaa !5
  %162 = call noundef i32 @_ZNK3HIR15TypePathBinding3tagEv(ptr noundef nonnull align 8 dereferenceable(16) %161)
  switch i32 %162, label %667 [
    i32 0, label %163
    i32 1, label %164
    i32 2, label %186
    i32 4, label %208
    i32 6, label %434
    i32 5, label %608
    i32 3, label %645
  ]

163:                                              ; preds = %160
  call void @__assert_fail(ptr noundef @.str.4, ptr noundef @.str.5, i32 noundef 2308, ptr noundef @__PRETTY_FUNCTION__._ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE) #9
  unreachable

164:                                              ; preds = %160
  call void @llvm.lifetime.start.p0(i64 1, ptr %17) #8
  store i8 1, ptr %17, align 1, !tbaa !9
  br label %165

165:                                              ; preds = %182, %164
  %166 = load i8, ptr %17, align 1, !tbaa !9, !range !11, !noundef !12
  %167 = trunc i8 %166 to i1
  br i1 %167, label %169, label %168

168:                                              ; preds = %165
  store i32 28, ptr %9, align 4
  br label %183

169:                                              ; preds = %165
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #8
  %170 = load ptr, ptr %16, align 8, !tbaa !5
  %171 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNK3HIR15TypePathBinding10as_UnboundEv(ptr noundef nonnull align 8 dereferenceable(16) %170)
  store ptr %171, ptr %18, align 8, !tbaa !5
  br label %172

172:                                              ; preds = %178, %169
  %173 = load ptr, ptr %18, align 8, !tbaa !5
  %174 = load i8, ptr %17, align 1, !tbaa !9, !range !11, !noundef !12
  %175 = trunc i8 %174 to i1
  br i1 %175, label %177, label %176

176:                                              ; preds = %172
  store i32 31, ptr %9, align 4
  br label %179

177:                                              ; preds = %172
  store i1 false, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %179

178:                                              ; No predecessors!
  store i8 0, ptr %17, align 1, !tbaa !9
  br label %172, !llvm.loop !16

179:                                              ; preds = %177, %176
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #8
  %180 = load i32, ptr %9, align 4
  switch i32 %180, label %183 [
    i32 31, label %181
  ]

181:                                              ; preds = %179
  br label %182

182:                                              ; preds = %181
  store i8 0, ptr %17, align 1, !tbaa !9
  br label %165, !llvm.loop !17

183:                                              ; preds = %179, %168
  call void @llvm.lifetime.end.p0(i64 1, ptr %17) #8
  %184 = load i32, ptr %9, align 4
  switch i32 %184, label %669 [
    i32 28, label %185
  ]

185:                                              ; preds = %183
  br label %667

186:                                              ; preds = %160
  call void @llvm.lifetime.start.p0(i64 1, ptr %19) #8
  store i8 1, ptr %19, align 1, !tbaa !9
  br label %187

187:                                              ; preds = %204, %186
  %188 = load i8, ptr %19, align 1, !tbaa !9, !range !11, !noundef !12
  %189 = trunc i8 %188 to i1
  br i1 %189, label %191, label %190

190:                                              ; preds = %187
  store i32 34, ptr %9, align 4
  br label %205

191:                                              ; preds = %187
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #8
  %192 = load ptr, ptr %16, align 8, !tbaa !5
  %193 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNK3HIR15TypePathBinding9as_OpaqueEv(ptr noundef nonnull align 8 dereferenceable(16) %192)
  store ptr %193, ptr %20, align 8, !tbaa !5
  br label %194

194:                                              ; preds = %200, %191
  %195 = load ptr, ptr %20, align 8, !tbaa !5
  %196 = load i8, ptr %19, align 1, !tbaa !9, !range !11, !noundef !12
  %197 = trunc i8 %196 to i1
  br i1 %197, label %199, label %198

198:                                              ; preds = %194
  store i32 37, ptr %9, align 4
  br label %201

199:                                              ; preds = %194
  store i1 false, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %201

200:                                              ; No predecessors!
  store i8 0, ptr %19, align 1, !tbaa !9
  br label %194, !llvm.loop !18

201:                                              ; preds = %199, %198
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #8
  %202 = load i32, ptr %9, align 4
  switch i32 %202, label %205 [
    i32 37, label %203
  ]

203:                                              ; preds = %201
  br label %204

204:                                              ; preds = %203
  store i8 0, ptr %19, align 1, !tbaa !9
  br label %187, !llvm.loop !19

205:                                              ; preds = %201, %190
  call void @llvm.lifetime.end.p0(i64 1, ptr %19) #8
  %206 = load i32, ptr %9, align 4
  switch i32 %206, label %669 [
    i32 34, label %207
  ]

207:                                              ; preds = %205
  br label %667

208:                                              ; preds = %160
  call void @llvm.lifetime.start.p0(i64 1, ptr %21) #8
  store i8 1, ptr %21, align 1, !tbaa !9
  br label %209

209:                                              ; preds = %430, %208
  %210 = load i8, ptr %21, align 1, !tbaa !9, !range !11, !noundef !12
  %211 = trunc i8 %210 to i1
  br i1 %211, label %213, label %212

212:                                              ; preds = %209
  store i32 40, ptr %9, align 4
  br label %431

213:                                              ; preds = %209
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #8
  %214 = load ptr, ptr %16, align 8, !tbaa !5
  %215 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR15TypePathBinding9as_StructEv(ptr noundef nonnull align 8 dereferenceable(16) %214)
  store ptr %215, ptr %22, align 8, !tbaa !5
  br label %216

216:                                              ; preds = %426, %213
  %217 = load ptr, ptr %22, align 8, !tbaa !5
  %218 = load i8, ptr %21, align 1, !tbaa !9, !range !11, !noundef !12
  %219 = trunc i8 %218 to i1
  br i1 %219, label %221, label %220

220:                                              ; preds = %216
  store i32 43, ptr %9, align 4
  br label %427

221:                                              ; preds = %216
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #8
  %222 = load ptr, ptr %14, align 8, !tbaa !5
  %223 = getelementptr inbounds %"struct.HIR::TypeData_Path", ptr %222, i32 0, i32 0
  %224 = getelementptr inbounds %"class.HIR::Path", ptr %223, i32 0, i32 0
  %225 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNK3HIR4Path4Data10as_GenericEv(ptr noundef nonnull align 8 dereferenceable(88) %224)
  %226 = getelementptr inbounds %"class.HIR::GenericPath", ptr %225, i32 0, i32 1
  store ptr %226, ptr %23, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #8
  %227 = load ptr, ptr %22, align 8, !tbaa !5
  %228 = load ptr, ptr %227, align 8, !tbaa !5
  store ptr %228, ptr %24, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %25) #8
  store i8 1, ptr %25, align 1, !tbaa !9
  br label %229

229:                                              ; preds = %419, %221
  %230 = load i8, ptr %25, align 1, !tbaa !9, !range !11, !noundef !12
  %231 = trunc i8 %230 to i1
  br i1 %231, label %233, label %232

232:                                              ; preds = %229
  store i32 46, ptr %9, align 4
  br label %420

233:                                              ; preds = %229
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #8
  %234 = load ptr, ptr %24, align 8, !tbaa !5
  %235 = getelementptr inbounds %"class.HIR::Struct", ptr %234, i32 0, i32 3
  store ptr %235, ptr %26, align 8, !tbaa !5
  br label %236

236:                                              ; preds = %414, %233
  %237 = load i8, ptr %25, align 1, !tbaa !9, !range !11, !noundef !12
  %238 = trunc i8 %237 to i1
  br i1 %238, label %240, label %239

239:                                              ; preds = %236
  store i32 49, ptr %9, align 4
  br label %415

240:                                              ; preds = %236
  %241 = load ptr, ptr %26, align 8, !tbaa !5
  %242 = call noundef i32 @_ZNK3HIR6Struct4Data3tagEv(ptr noundef nonnull align 8 dereferenceable(32) %241)
  switch i32 %242, label %413 [
    i32 0, label %243
    i32 1, label %244
    i32 2, label %266
    i32 3, label %339
  ]

243:                                              ; preds = %240
  call void @__assert_fail(ptr noundef @.str.4, ptr noundef @.str.5, i32 noundef 2320, ptr noundef @__PRETTY_FUNCTION__._ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE) #9
  unreachable

244:                                              ; preds = %240
  call void @llvm.lifetime.start.p0(i64 1, ptr %27) #8
  store i8 1, ptr %27, align 1, !tbaa !9
  br label %245

245:                                              ; preds = %262, %244
  %246 = load i8, ptr %27, align 1, !tbaa !9, !range !11, !noundef !12
  %247 = trunc i8 %246 to i1
  br i1 %247, label %249, label %248

248:                                              ; preds = %245
  store i32 53, ptr %9, align 4
  br label %263

249:                                              ; preds = %245
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #8
  %250 = load ptr, ptr %26, align 8, !tbaa !5
  %251 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNK3HIR6Struct4Data7as_UnitEv(ptr noundef nonnull align 8 dereferenceable(32) %250)
  store ptr %251, ptr %28, align 8, !tbaa !5
  br label %252

252:                                              ; preds = %258, %249
  %253 = load ptr, ptr %28, align 8, !tbaa !5
  %254 = load i8, ptr %27, align 1, !tbaa !9, !range !11, !noundef !12
  %255 = trunc i8 %254 to i1
  br i1 %255, label %257, label %256

256:                                              ; preds = %252
  store i32 56, ptr %9, align 4
  br label %259

257:                                              ; preds = %252
  store i1 false, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %259

258:                                              ; No predecessors!
  store i8 0, ptr %27, align 1, !tbaa !9
  br label %252, !llvm.loop !20

259:                                              ; preds = %257, %256
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #8
  %260 = load i32, ptr %9, align 4
  switch i32 %260, label %263 [
    i32 56, label %261
  ]

261:                                              ; preds = %259
  br label %262

262:                                              ; preds = %261
  store i8 0, ptr %27, align 1, !tbaa !9
  br label %245, !llvm.loop !21

263:                                              ; preds = %259, %248
  call void @llvm.lifetime.end.p0(i64 1, ptr %27) #8
  %264 = load i32, ptr %9, align 4
  switch i32 %264, label %415 [
    i32 53, label %265
  ]

265:                                              ; preds = %263
  br label %413

266:                                              ; preds = %240
  call void @llvm.lifetime.start.p0(i64 1, ptr %29) #8
  store i8 1, ptr %29, align 1, !tbaa !9
  br label %267

267:                                              ; preds = %335, %266
  %268 = load i8, ptr %29, align 1, !tbaa !9, !range !11, !noundef !12
  %269 = trunc i8 %268 to i1
  br i1 %269, label %271, label %270

270:                                              ; preds = %267
  store i32 59, ptr %9, align 4
  br label %336

271:                                              ; preds = %267
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #8
  %272 = load ptr, ptr %26, align 8, !tbaa !5
  %273 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3HIR6Struct4Data8as_TupleEv(ptr noundef nonnull align 8 dereferenceable(32) %272)
  store ptr %273, ptr %30, align 8, !tbaa !5
  br label %274

274:                                              ; preds = %331, %271
  %275 = load ptr, ptr %30, align 8, !tbaa !5
  %276 = load i8, ptr %29, align 1, !tbaa !9, !range !11, !noundef !12
  %277 = trunc i8 %276 to i1
  br i1 %277, label %279, label %278

278:                                              ; preds = %274
  store i32 62, ptr %9, align 4
  br label %332

279:                                              ; preds = %274
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #8
  %280 = load ptr, ptr %30, align 8, !tbaa !5
  store ptr %280, ptr %31, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #8
  %281 = load ptr, ptr %31, align 8, !tbaa !5
  %282 = call ptr @_ZNKSt6vectorIN3HIR6VisEntINS0_7TypeRefEEESaIS3_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %281) #8
  %283 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.507", ptr %32, i32 0, i32 0
  store ptr %282, ptr %283, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #8
  %284 = load ptr, ptr %31, align 8, !tbaa !5
  %285 = call ptr @_ZNKSt6vectorIN3HIR6VisEntINS0_7TypeRefEEESaIS3_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %284) #8
  %286 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.507", ptr %33, i32 0, i32 0
  store ptr %285, ptr %286, align 8
  br label %287

287:                                              ; preds = %325, %279
  %288 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3HIR6VisEntINS1_7TypeRefEEESt6vectorIS4_SaIS4_EEEEbRKNS_17__normal_iteratorIT_T0_EESF_(ptr noundef nonnull align 8 dereferenceable(8) %32, ptr noundef nonnull align 8 dereferenceable(8) %33) #8
  br i1 %288, label %290, label %289

289:                                              ; preds = %287
  store i32 65, ptr %9, align 4
  br label %328

290:                                              ; preds = %287
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #8
  %291 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3HIR6VisEntINS1_7TypeRefEEESt6vectorIS4_SaIS4_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %32) #8
  store ptr %291, ptr %34, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #8
  %292 = load ptr, ptr %34, align 8, !tbaa !5
  %293 = getelementptr inbounds %"struct.HIR::VisEnt", ptr %292, i32 0, i32 1
  store ptr %293, ptr %35, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #8
  call void @_ZN3HIR7TypeRefC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %36)
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #8
  %294 = load ptr, ptr %6, align 8, !tbaa !5
  %295 = load ptr, ptr %35, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 128, ptr %38) #8
  %296 = load ptr, ptr %23, align 8, !tbaa !5
  invoke void @_ZN17MonomorphStatePtrC2EPKN3HIR7TypeRefEPKNS0_10PathParamsES6_S6_S6_(ptr noundef nonnull align 8 dereferenceable(128) %38, ptr noundef null, ptr noundef %296, ptr noundef null, ptr noundef null, ptr noundef null)
          to label %297 unwind label %305

297:                                              ; preds = %290
  %298 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK18StaticTraitResolve20monomorph_expand_optERK4SpanRN3HIR7TypeRefERKS4_RK13Monomorphiser(ptr noundef nonnull align 8 dereferenceable(424) %96, ptr noundef nonnull align 8 dereferenceable(8) %294, ptr noundef nonnull align 8 dereferenceable(8) %36, ptr noundef nonnull align 8 dereferenceable(8) %295, ptr noundef nonnull align 8 dereferenceable(96) %38)
          to label %299 unwind label %309

299:                                              ; preds = %297
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(128) %38) #8
  call void @llvm.lifetime.end.p0(i64 128, ptr %38) #8
  store ptr %298, ptr %37, align 8, !tbaa !5
  %300 = load ptr, ptr %6, align 8, !tbaa !5
  %301 = load ptr, ptr %37, align 8, !tbaa !5
  %302 = invoke noundef zeroext i1 @_ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %96, ptr noundef nonnull align 8 dereferenceable(8) %300, ptr noundef nonnull align 8 dereferenceable(8) %301)
          to label %303 unwind label %314

303:                                              ; preds = %299
  br i1 %302, label %304, label %318

304:                                              ; preds = %303
  store i1 true, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %319

305:                                              ; preds = %290
  %306 = landingpad { ptr, i32 }
          cleanup
  %307 = extractvalue { ptr, i32 } %306, 0
  store ptr %307, ptr %39, align 8
  %308 = extractvalue { ptr, i32 } %306, 1
  store i32 %308, ptr %40, align 4
  br label %313

309:                                              ; preds = %297
  %310 = landingpad { ptr, i32 }
          cleanup
  %311 = extractvalue { ptr, i32 } %310, 0
  store ptr %311, ptr %39, align 8
  %312 = extractvalue { ptr, i32 } %310, 1
  store i32 %312, ptr %40, align 4
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(128) %38) #8
  br label %313

313:                                              ; preds = %309, %305
  call void @llvm.lifetime.end.p0(i64 128, ptr %38) #8
  br label %327

314:                                              ; preds = %299
  %315 = landingpad { ptr, i32 }
          cleanup
  %316 = extractvalue { ptr, i32 } %315, 0
  store ptr %316, ptr %39, align 8
  %317 = extractvalue { ptr, i32 } %315, 1
  store i32 %317, ptr %40, align 4
  br label %327

318:                                              ; preds = %303
  store i32 0, ptr %9, align 4
  br label %319

319:                                              ; preds = %318, %304
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #8
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %36) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #8
  %320 = load i32, ptr %9, align 4
  switch i32 %320, label %322 [
    i32 0, label %321
  ]

321:                                              ; preds = %319
  store i32 0, ptr %9, align 4
  br label %322

322:                                              ; preds = %321, %319
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #8
  %323 = load i32, ptr %9, align 4
  switch i32 %323, label %328 [
    i32 0, label %324
  ]

324:                                              ; preds = %322
  br label %325

325:                                              ; preds = %324
  %326 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3HIR6VisEntINS1_7TypeRefEEESt6vectorIS4_SaIS4_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %32) #8
  br label %287

327:                                              ; preds = %314, %313
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #8
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %36) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %29) #8
  br label %417

328:                                              ; preds = %322, %289
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #8
  %329 = load i32, ptr %9, align 4
  switch i32 %329, label %332 [
    i32 65, label %330
  ]

330:                                              ; preds = %328
  store i1 false, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %332

331:                                              ; No predecessors!
  store i8 0, ptr %29, align 1, !tbaa !9
  br label %274, !llvm.loop !22

332:                                              ; preds = %330, %328, %278
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #8
  %333 = load i32, ptr %9, align 4
  switch i32 %333, label %336 [
    i32 62, label %334
  ]

334:                                              ; preds = %332
  br label %335

335:                                              ; preds = %334
  store i8 0, ptr %29, align 1, !tbaa !9
  br label %267, !llvm.loop !23

336:                                              ; preds = %332, %270
  call void @llvm.lifetime.end.p0(i64 1, ptr %29) #8
  %337 = load i32, ptr %9, align 4
  switch i32 %337, label %415 [
    i32 59, label %338
  ]

338:                                              ; preds = %336
  br label %413

339:                                              ; preds = %240
  call void @llvm.lifetime.start.p0(i64 1, ptr %41) #8
  store i8 1, ptr %41, align 1, !tbaa !9
  br label %340

340:                                              ; preds = %409, %339
  %341 = load i8, ptr %41, align 1, !tbaa !9, !range !11, !noundef !12
  %342 = trunc i8 %341 to i1
  br i1 %342, label %344, label %343

343:                                              ; preds = %340
  store i32 67, ptr %9, align 4
  br label %410

344:                                              ; preds = %340
  call void @llvm.lifetime.start.p0(i64 8, ptr %42) #8
  %345 = load ptr, ptr %26, align 8, !tbaa !5
  %346 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3HIR6Struct4Data8as_NamedEv(ptr noundef nonnull align 8 dereferenceable(32) %345)
  store ptr %346, ptr %42, align 8, !tbaa !5
  br label %347

347:                                              ; preds = %405, %344
  %348 = load ptr, ptr %42, align 8, !tbaa !5
  %349 = load i8, ptr %41, align 1, !tbaa !9, !range !11, !noundef !12
  %350 = trunc i8 %349 to i1
  br i1 %350, label %352, label %351

351:                                              ; preds = %347
  store i32 70, ptr %9, align 4
  br label %406

352:                                              ; preds = %347
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #8
  %353 = load ptr, ptr %42, align 8, !tbaa !5
  store ptr %353, ptr %43, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #8
  %354 = load ptr, ptr %43, align 8, !tbaa !5
  %355 = call ptr @_ZNKSt6vectorISt4pairI8RcStringN3HIR6VisEntINS2_7TypeRefEEEESaIS6_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %354) #8
  %356 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.511", ptr %44, i32 0, i32 0
  store ptr %355, ptr %356, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #8
  %357 = load ptr, ptr %43, align 8, !tbaa !5
  %358 = call ptr @_ZNKSt6vectorISt4pairI8RcStringN3HIR6VisEntINS2_7TypeRefEEEESaIS6_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %357) #8
  %359 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.511", ptr %45, i32 0, i32 0
  store ptr %358, ptr %359, align 8
  br label %360

360:                                              ; preds = %399, %352
  %361 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKSt4pairI8RcStringN3HIR6VisEntINS3_7TypeRefEEEESt6vectorIS7_SaIS7_EEEEbRKNS_17__normal_iteratorIT_T0_EESI_(ptr noundef nonnull align 8 dereferenceable(8) %44, ptr noundef nonnull align 8 dereferenceable(8) %45) #8
  br i1 %361, label %363, label %362

362:                                              ; preds = %360
  store i32 73, ptr %9, align 4
  br label %402

363:                                              ; preds = %360
  call void @llvm.lifetime.start.p0(i64 8, ptr %46) #8
  %364 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKSt4pairI8RcStringN3HIR6VisEntINS3_7TypeRefEEEESt6vectorIS7_SaIS7_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %44) #8
  store ptr %364, ptr %46, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #8
  %365 = load ptr, ptr %46, align 8, !tbaa !5
  %366 = getelementptr inbounds %"struct.std::pair.512", ptr %365, i32 0, i32 1
  %367 = getelementptr inbounds %"struct.HIR::VisEnt", ptr %366, i32 0, i32 1
  store ptr %367, ptr %47, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %48) #8
  call void @_ZN3HIR7TypeRefC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %48)
  call void @llvm.lifetime.start.p0(i64 8, ptr %49) #8
  %368 = load ptr, ptr %6, align 8, !tbaa !5
  %369 = load ptr, ptr %47, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 128, ptr %50) #8
  %370 = load ptr, ptr %23, align 8, !tbaa !5
  invoke void @_ZN17MonomorphStatePtrC2EPKN3HIR7TypeRefEPKNS0_10PathParamsES6_S6_S6_(ptr noundef nonnull align 8 dereferenceable(128) %50, ptr noundef null, ptr noundef %370, ptr noundef null, ptr noundef null, ptr noundef null)
          to label %371 unwind label %379

371:                                              ; preds = %363
  %372 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK18StaticTraitResolve20monomorph_expand_optERK4SpanRN3HIR7TypeRefERKS4_RK13Monomorphiser(ptr noundef nonnull align 8 dereferenceable(424) %96, ptr noundef nonnull align 8 dereferenceable(8) %368, ptr noundef nonnull align 8 dereferenceable(8) %48, ptr noundef nonnull align 8 dereferenceable(8) %369, ptr noundef nonnull align 8 dereferenceable(96) %50)
          to label %373 unwind label %383

373:                                              ; preds = %371
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(128) %50) #8
  call void @llvm.lifetime.end.p0(i64 128, ptr %50) #8
  store ptr %372, ptr %49, align 8, !tbaa !5
  %374 = load ptr, ptr %6, align 8, !tbaa !5
  %375 = load ptr, ptr %49, align 8, !tbaa !5
  %376 = invoke noundef zeroext i1 @_ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %96, ptr noundef nonnull align 8 dereferenceable(8) %374, ptr noundef nonnull align 8 dereferenceable(8) %375)
          to label %377 unwind label %388

377:                                              ; preds = %373
  br i1 %376, label %378, label %392

378:                                              ; preds = %377
  store i1 true, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %393

379:                                              ; preds = %363
  %380 = landingpad { ptr, i32 }
          cleanup
  %381 = extractvalue { ptr, i32 } %380, 0
  store ptr %381, ptr %39, align 8
  %382 = extractvalue { ptr, i32 } %380, 1
  store i32 %382, ptr %40, align 4
  br label %387

383:                                              ; preds = %371
  %384 = landingpad { ptr, i32 }
          cleanup
  %385 = extractvalue { ptr, i32 } %384, 0
  store ptr %385, ptr %39, align 8
  %386 = extractvalue { ptr, i32 } %384, 1
  store i32 %386, ptr %40, align 4
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(128) %50) #8
  br label %387

387:                                              ; preds = %383, %379
  call void @llvm.lifetime.end.p0(i64 128, ptr %50) #8
  br label %401

388:                                              ; preds = %373
  %389 = landingpad { ptr, i32 }
          cleanup
  %390 = extractvalue { ptr, i32 } %389, 0
  store ptr %390, ptr %39, align 8
  %391 = extractvalue { ptr, i32 } %389, 1
  store i32 %391, ptr %40, align 4
  br label %401

392:                                              ; preds = %377
  store i32 0, ptr %9, align 4
  br label %393

393:                                              ; preds = %392, %378
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #8
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %48) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %48) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #8
  %394 = load i32, ptr %9, align 4
  switch i32 %394, label %396 [
    i32 0, label %395
  ]

395:                                              ; preds = %393
  store i32 0, ptr %9, align 4
  br label %396

396:                                              ; preds = %395, %393
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #8
  %397 = load i32, ptr %9, align 4
  switch i32 %397, label %402 [
    i32 0, label %398
  ]

398:                                              ; preds = %396
  br label %399

399:                                              ; preds = %398
  %400 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKSt4pairI8RcStringN3HIR6VisEntINS3_7TypeRefEEEESt6vectorIS7_SaIS7_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %44) #8
  br label %360

401:                                              ; preds = %388, %387
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #8
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %48) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %48) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %41) #8
  br label %417

402:                                              ; preds = %396, %362
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #8
  %403 = load i32, ptr %9, align 4
  switch i32 %403, label %406 [
    i32 73, label %404
  ]

404:                                              ; preds = %402
  store i1 false, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %406

405:                                              ; No predecessors!
  store i8 0, ptr %41, align 1, !tbaa !9
  br label %347, !llvm.loop !24

406:                                              ; preds = %404, %402, %351
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #8
  %407 = load i32, ptr %9, align 4
  switch i32 %407, label %410 [
    i32 70, label %408
  ]

408:                                              ; preds = %406
  br label %409

409:                                              ; preds = %408
  store i8 0, ptr %41, align 1, !tbaa !9
  br label %340, !llvm.loop !25

410:                                              ; preds = %406, %343
  call void @llvm.lifetime.end.p0(i64 1, ptr %41) #8
  %411 = load i32, ptr %9, align 4
  switch i32 %411, label %415 [
    i32 67, label %412
  ]

412:                                              ; preds = %410
  br label %413

413:                                              ; preds = %412, %338, %265, %240
  br label %414

414:                                              ; preds = %413
  store i8 0, ptr %25, align 1, !tbaa !9
  br label %236, !llvm.loop !26

415:                                              ; preds = %410, %336, %263, %239
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #8
  %416 = load i32, ptr %9, align 4
  switch i32 %416, label %420 [
    i32 49, label %418
  ]

417:                                              ; preds = %401, %327
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %25) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %21) #8
  br label %671

418:                                              ; preds = %415
  br label %419

419:                                              ; preds = %418
  store i8 0, ptr %25, align 1, !tbaa !9
  br label %229, !llvm.loop !27

420:                                              ; preds = %415, %232
  call void @llvm.lifetime.end.p0(i64 1, ptr %25) #8
  %421 = load i32, ptr %9, align 4
  switch i32 %421, label %423 [
    i32 46, label %422
  ]

422:                                              ; preds = %420
  store i32 0, ptr %9, align 4
  br label %423

423:                                              ; preds = %422, %420
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #8
  %424 = load i32, ptr %9, align 4
  switch i32 %424, label %427 [
    i32 0, label %425
  ]

425:                                              ; preds = %423
  br label %426

426:                                              ; preds = %425
  store i8 0, ptr %21, align 1, !tbaa !9
  br label %216, !llvm.loop !28

427:                                              ; preds = %423, %220
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #8
  %428 = load i32, ptr %9, align 4
  switch i32 %428, label %431 [
    i32 43, label %429
  ]

429:                                              ; preds = %427
  br label %430

430:                                              ; preds = %429
  store i8 0, ptr %21, align 1, !tbaa !9
  br label %209, !llvm.loop !29

431:                                              ; preds = %427, %212
  call void @llvm.lifetime.end.p0(i64 1, ptr %21) #8
  %432 = load i32, ptr %9, align 4
  switch i32 %432, label %669 [
    i32 40, label %433
  ]

433:                                              ; preds = %431
  br label %667

434:                                              ; preds = %160
  call void @llvm.lifetime.start.p0(i64 1, ptr %51) #8
  store i8 1, ptr %51, align 1, !tbaa !9
  br label %435

435:                                              ; preds = %604, %434
  %436 = load i8, ptr %51, align 1, !tbaa !9, !range !11, !noundef !12
  %437 = trunc i8 %436 to i1
  br i1 %437, label %439, label %438

438:                                              ; preds = %435
  store i32 75, ptr %9, align 4
  br label %605

439:                                              ; preds = %435
  call void @llvm.lifetime.start.p0(i64 8, ptr %52) #8
  %440 = load ptr, ptr %16, align 8, !tbaa !5
  %441 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR15TypePathBinding7as_EnumEv(ptr noundef nonnull align 8 dereferenceable(16) %440)
  store ptr %441, ptr %52, align 8, !tbaa !5
  br label %442

442:                                              ; preds = %599, %439
  %443 = load ptr, ptr %52, align 8, !tbaa !5
  %444 = load i8, ptr %51, align 1, !tbaa !9, !range !11, !noundef !12
  %445 = trunc i8 %444 to i1
  br i1 %445, label %447, label %446

446:                                              ; preds = %442
  store i32 78, ptr %9, align 4
  br label %601

447:                                              ; preds = %442
  call void @llvm.lifetime.start.p0(i64 8, ptr %53) #8
  %448 = load ptr, ptr %14, align 8, !tbaa !5
  %449 = getelementptr inbounds %"struct.HIR::TypeData_Path", ptr %448, i32 0, i32 0
  %450 = getelementptr inbounds %"class.HIR::Path", ptr %449, i32 0, i32 0
  %451 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNK3HIR4Path4Data10as_GenericEv(ptr noundef nonnull align 8 dereferenceable(88) %450)
  %452 = getelementptr inbounds %"class.HIR::GenericPath", ptr %451, i32 0, i32 1
  store ptr %452, ptr %53, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %54) #8
  store i8 1, ptr %54, align 1, !tbaa !9
  br label %453

453:                                              ; preds = %573, %447
  %454 = load i8, ptr %54, align 1, !tbaa !9, !range !11, !noundef !12
  %455 = trunc i8 %454 to i1
  br i1 %455, label %457, label %456

456:                                              ; preds = %453
  store i32 81, ptr %9, align 4
  br label %574

457:                                              ; preds = %453
  call void @llvm.lifetime.start.p0(i64 8, ptr %55) #8
  %458 = load ptr, ptr %52, align 8, !tbaa !5
  %459 = load ptr, ptr %458, align 8, !tbaa !5
  %460 = getelementptr inbounds %"class.HIR::Enum", ptr %459, i32 0, i32 3
  store ptr %460, ptr %55, align 8, !tbaa !5
  br label %461

461:                                              ; preds = %569, %457
  %462 = load i8, ptr %54, align 1, !tbaa !9, !range !11, !noundef !12
  %463 = trunc i8 %462 to i1
  br i1 %463, label %465, label %464

464:                                              ; preds = %461
  store i32 84, ptr %9, align 4
  br label %570

465:                                              ; preds = %461
  %466 = load ptr, ptr %55, align 8, !tbaa !5
  %467 = call noundef i32 @_ZNK3HIR4Enum5Class3tagEv(ptr noundef nonnull align 8 dereferenceable(40) %466)
  switch i32 %467, label %568 [
    i32 0, label %468
    i32 2, label %469
    i32 1, label %495
  ]

468:                                              ; preds = %465
  call void @__assert_fail(ptr noundef @.str.4, ptr noundef @.str.5, i32 noundef 2349, ptr noundef @__PRETTY_FUNCTION__._ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE) #9
  unreachable

469:                                              ; preds = %465
  call void @llvm.lifetime.start.p0(i64 1, ptr %56) #8
  store i8 1, ptr %56, align 1, !tbaa !9
  br label %470

470:                                              ; preds = %491, %469
  %471 = load i8, ptr %56, align 1, !tbaa !9, !range !11, !noundef !12
  %472 = trunc i8 %471 to i1
  br i1 %472, label %474, label %473

473:                                              ; preds = %470
  store i32 88, ptr %9, align 4
  br label %492

474:                                              ; preds = %470
  call void @llvm.lifetime.start.p0(i64 8, ptr %57) #8
  %475 = load ptr, ptr %55, align 8, !tbaa !5
  %476 = call noundef nonnull align 8 dereferenceable(25) ptr @_ZNK3HIR4Enum5Class8as_ValueEv(ptr noundef nonnull align 8 dereferenceable(40) %475)
  store ptr %476, ptr %57, align 8, !tbaa !5
  br label %477

477:                                              ; preds = %487, %474
  %478 = load ptr, ptr %57, align 8, !tbaa !5
  %479 = load i8, ptr %56, align 1, !tbaa !9, !range !11, !noundef !12
  %480 = trunc i8 %479 to i1
  br i1 %480, label %482, label %481

481:                                              ; preds = %477
  store i32 91, ptr %9, align 4
  br label %488

482:                                              ; preds = %477
  %483 = load ptr, ptr %57, align 8, !tbaa !5
  %484 = getelementptr inbounds %"struct.HIR::Enum::Class::Data_Value", ptr %483, i32 0, i32 0
  %485 = call noundef i64 @_ZNKSt6vectorIN3HIR4Enum12ValueVariantESaIS2_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %484) #8
  %486 = icmp eq i64 %485, 0
  store i1 %486, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %488

487:                                              ; No predecessors!
  store i8 0, ptr %56, align 1, !tbaa !9
  br label %477, !llvm.loop !30

488:                                              ; preds = %482, %481
  call void @llvm.lifetime.end.p0(i64 8, ptr %57) #8
  %489 = load i32, ptr %9, align 4
  switch i32 %489, label %492 [
    i32 91, label %490
  ]

490:                                              ; preds = %488
  br label %491

491:                                              ; preds = %490
  store i8 0, ptr %56, align 1, !tbaa !9
  br label %470, !llvm.loop !31

492:                                              ; preds = %488, %473
  call void @llvm.lifetime.end.p0(i64 1, ptr %56) #8
  %493 = load i32, ptr %9, align 4
  switch i32 %493, label %570 [
    i32 88, label %494
  ]

494:                                              ; preds = %492
  br label %568

495:                                              ; preds = %465
  call void @llvm.lifetime.start.p0(i64 1, ptr %58) #8
  store i8 1, ptr %58, align 1, !tbaa !9
  br label %496

496:                                              ; preds = %564, %495
  %497 = load i8, ptr %58, align 1, !tbaa !9, !range !11, !noundef !12
  %498 = trunc i8 %497 to i1
  br i1 %498, label %500, label %499

499:                                              ; preds = %496
  store i32 94, ptr %9, align 4
  br label %565

500:                                              ; preds = %496
  call void @llvm.lifetime.start.p0(i64 8, ptr %59) #8
  %501 = load ptr, ptr %55, align 8, !tbaa !5
  %502 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3HIR4Enum5Class7as_DataEv(ptr noundef nonnull align 8 dereferenceable(40) %501)
  store ptr %502, ptr %59, align 8, !tbaa !5
  br label %503

503:                                              ; preds = %560, %500
  %504 = load ptr, ptr %59, align 8, !tbaa !5
  %505 = load i8, ptr %58, align 1, !tbaa !9, !range !11, !noundef !12
  %506 = trunc i8 %505 to i1
  br i1 %506, label %508, label %507

507:                                              ; preds = %503
  store i32 97, ptr %9, align 4
  br label %561

508:                                              ; preds = %503
  call void @llvm.lifetime.start.p0(i64 8, ptr %60) #8
  %509 = load ptr, ptr %59, align 8, !tbaa !5
  store ptr %509, ptr %60, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %61) #8
  %510 = load ptr, ptr %60, align 8, !tbaa !5
  %511 = call ptr @_ZNKSt6vectorIN3HIR4Enum11DataVariantESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %510) #8
  %512 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.514", ptr %61, i32 0, i32 0
  store ptr %511, ptr %512, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %62) #8
  %513 = load ptr, ptr %60, align 8, !tbaa !5
  %514 = call ptr @_ZNKSt6vectorIN3HIR4Enum11DataVariantESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %513) #8
  %515 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.514", ptr %62, i32 0, i32 0
  store ptr %514, ptr %515, align 8
  br label %516

516:                                              ; preds = %554, %508
  %517 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3HIR4Enum11DataVariantESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %61, ptr noundef nonnull align 8 dereferenceable(8) %62) #8
  br i1 %517, label %519, label %518

518:                                              ; preds = %516
  store i32 100, ptr %9, align 4
  br label %557

519:                                              ; preds = %516
  call void @llvm.lifetime.start.p0(i64 8, ptr %63) #8
  %520 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3HIR4Enum11DataVariantESt6vectorIS3_SaIS3_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %61) #8
  store ptr %520, ptr %63, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %64) #8
  %521 = load ptr, ptr %63, align 8, !tbaa !5
  %522 = getelementptr inbounds %"struct.HIR::Enum::DataVariant", ptr %521, i32 0, i32 2
  store ptr %522, ptr %64, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %65) #8
  call void @_ZN3HIR7TypeRefC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %65)
  call void @llvm.lifetime.start.p0(i64 8, ptr %66) #8
  %523 = load ptr, ptr %6, align 8, !tbaa !5
  %524 = load ptr, ptr %64, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 128, ptr %67) #8
  %525 = load ptr, ptr %53, align 8, !tbaa !5
  invoke void @_ZN17MonomorphStatePtrC2EPKN3HIR7TypeRefEPKNS0_10PathParamsES6_S6_S6_(ptr noundef nonnull align 8 dereferenceable(128) %67, ptr noundef null, ptr noundef %525, ptr noundef null, ptr noundef null, ptr noundef null)
          to label %526 unwind label %534

526:                                              ; preds = %519
  %527 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK18StaticTraitResolve20monomorph_expand_optERK4SpanRN3HIR7TypeRefERKS4_RK13Monomorphiser(ptr noundef nonnull align 8 dereferenceable(424) %96, ptr noundef nonnull align 8 dereferenceable(8) %523, ptr noundef nonnull align 8 dereferenceable(8) %65, ptr noundef nonnull align 8 dereferenceable(8) %524, ptr noundef nonnull align 8 dereferenceable(96) %67)
          to label %528 unwind label %538

528:                                              ; preds = %526
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(128) %67) #8
  call void @llvm.lifetime.end.p0(i64 128, ptr %67) #8
  store ptr %527, ptr %66, align 8, !tbaa !5
  %529 = load ptr, ptr %6, align 8, !tbaa !5
  %530 = load ptr, ptr %66, align 8, !tbaa !5
  %531 = invoke noundef zeroext i1 @_ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %96, ptr noundef nonnull align 8 dereferenceable(8) %529, ptr noundef nonnull align 8 dereferenceable(8) %530)
          to label %532 unwind label %543

532:                                              ; preds = %528
  br i1 %531, label %547, label %533

533:                                              ; preds = %532
  store i1 false, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %548

534:                                              ; preds = %519
  %535 = landingpad { ptr, i32 }
          cleanup
  %536 = extractvalue { ptr, i32 } %535, 0
  store ptr %536, ptr %39, align 8
  %537 = extractvalue { ptr, i32 } %535, 1
  store i32 %537, ptr %40, align 4
  br label %542

538:                                              ; preds = %526
  %539 = landingpad { ptr, i32 }
          cleanup
  %540 = extractvalue { ptr, i32 } %539, 0
  store ptr %540, ptr %39, align 8
  %541 = extractvalue { ptr, i32 } %539, 1
  store i32 %541, ptr %40, align 4
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(128) %67) #8
  br label %542

542:                                              ; preds = %538, %534
  call void @llvm.lifetime.end.p0(i64 128, ptr %67) #8
  br label %556

543:                                              ; preds = %528
  %544 = landingpad { ptr, i32 }
          cleanup
  %545 = extractvalue { ptr, i32 } %544, 0
  store ptr %545, ptr %39, align 8
  %546 = extractvalue { ptr, i32 } %544, 1
  store i32 %546, ptr %40, align 4
  br label %556

547:                                              ; preds = %532
  store i32 0, ptr %9, align 4
  br label %548

548:                                              ; preds = %547, %533
  call void @llvm.lifetime.end.p0(i64 8, ptr %66) #8
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %65) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %65) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %64) #8
  %549 = load i32, ptr %9, align 4
  switch i32 %549, label %551 [
    i32 0, label %550
  ]

550:                                              ; preds = %548
  store i32 0, ptr %9, align 4
  br label %551

551:                                              ; preds = %550, %548
  call void @llvm.lifetime.end.p0(i64 8, ptr %63) #8
  %552 = load i32, ptr %9, align 4
  switch i32 %552, label %557 [
    i32 0, label %553
  ]

553:                                              ; preds = %551
  br label %554

554:                                              ; preds = %553
  %555 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3HIR4Enum11DataVariantESt6vectorIS3_SaIS3_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %61) #8
  br label %516

556:                                              ; preds = %543, %542
  call void @llvm.lifetime.end.p0(i64 8, ptr %66) #8
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %65) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %65) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %64) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %63) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %62) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %61) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %60) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %59) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %58) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %55) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %54) #8
  br label %600

557:                                              ; preds = %551, %518
  call void @llvm.lifetime.end.p0(i64 8, ptr %62) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %61) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %60) #8
  %558 = load i32, ptr %9, align 4
  switch i32 %558, label %561 [
    i32 100, label %559
  ]

559:                                              ; preds = %557
  store i1 true, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %561

560:                                              ; No predecessors!
  store i8 0, ptr %58, align 1, !tbaa !9
  br label %503, !llvm.loop !32

561:                                              ; preds = %559, %557, %507
  call void @llvm.lifetime.end.p0(i64 8, ptr %59) #8
  %562 = load i32, ptr %9, align 4
  switch i32 %562, label %565 [
    i32 97, label %563
  ]

563:                                              ; preds = %561
  br label %564

564:                                              ; preds = %563
  store i8 0, ptr %58, align 1, !tbaa !9
  br label %496, !llvm.loop !33

565:                                              ; preds = %561, %499
  call void @llvm.lifetime.end.p0(i64 1, ptr %58) #8
  %566 = load i32, ptr %9, align 4
  switch i32 %566, label %570 [
    i32 94, label %567
  ]

567:                                              ; preds = %565
  br label %568

568:                                              ; preds = %567, %494, %465
  br label %569

569:                                              ; preds = %568
  store i8 0, ptr %54, align 1, !tbaa !9
  br label %461, !llvm.loop !34

570:                                              ; preds = %565, %492, %464
  call void @llvm.lifetime.end.p0(i64 8, ptr %55) #8
  %571 = load i32, ptr %9, align 4
  switch i32 %571, label %574 [
    i32 84, label %572
  ]

572:                                              ; preds = %570
  br label %573

573:                                              ; preds = %572
  store i8 0, ptr %54, align 1, !tbaa !9
  br label %453, !llvm.loop !35

574:                                              ; preds = %570, %456
  call void @llvm.lifetime.end.p0(i64 1, ptr %54) #8
  %575 = load i32, ptr %9, align 4
  switch i32 %575, label %596 [
    i32 81, label %576
  ]

576:                                              ; preds = %574
  br label %577

577:                                              ; preds = %576
  call void @llvm.lifetime.start.p0(i64 8, ptr %68) #8
  store ptr @__func__._ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE, ptr %68, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %69) #8
  %578 = load ptr, ptr %6, align 8, !tbaa !5
  call void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %69, ptr noundef nonnull align 8 dereferenceable(8) %578)
  call void @llvm.lifetime.start.p0(i64 16, ptr %71) #8
  %579 = getelementptr inbounds %class.anon.604, ptr %71, i32 0, i32 0
  store ptr %68, ptr %579, align 8, !tbaa !5
  %580 = getelementptr inbounds %class.anon.604, ptr %71, i32 0, i32 1
  %581 = load ptr, ptr %7, align 8, !tbaa !5
  store ptr %581, ptr %580, align 8, !tbaa !5
  call void @"_ZNSt8functionIFvRSoEEC2IZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefEE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %70, ptr noundef nonnull align 8 dereferenceable(16) %71) #8
  invoke void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %69, ptr noundef %70)
          to label %582 unwind label %585

582:                                              ; preds = %577
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %70) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %71) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %69) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %69) #8
  %583 = call ptr @__cxa_allocate_exception(i64 16) #8
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %583, ptr noundef @.str.3)
          to label %584 unwind label %589

584:                                              ; preds = %582
  call void @__cxa_throw(ptr %583, ptr @_ZTISt13runtime_error, ptr @_ZNSt13runtime_errorD1Ev) #10
  unreachable

585:                                              ; preds = %577
  %586 = landingpad { ptr, i32 }
          cleanup
  %587 = extractvalue { ptr, i32 } %586, 0
  store ptr %587, ptr %39, align 8
  %588 = extractvalue { ptr, i32 } %586, 1
  store i32 %588, ptr %40, align 4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %70) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %71) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %69) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %69) #8
  br label %593

589:                                              ; preds = %582
  %590 = landingpad { ptr, i32 }
          cleanup
  %591 = extractvalue { ptr, i32 } %590, 0
  store ptr %591, ptr %39, align 8
  %592 = extractvalue { ptr, i32 } %590, 1
  store i32 %592, ptr %40, align 4
  call void @__cxa_free_exception(ptr %583) #8
  br label %593

593:                                              ; preds = %589, %585
  call void @llvm.lifetime.end.p0(i64 8, ptr %68) #8
  br label %600

594:                                              ; No predecessors!
  br label %595

595:                                              ; preds = %594
  store i32 0, ptr %9, align 4
  br label %596

596:                                              ; preds = %595, %574
  call void @llvm.lifetime.end.p0(i64 8, ptr %53) #8
  %597 = load i32, ptr %9, align 4
  switch i32 %597, label %601 [
    i32 0, label %598
  ]

598:                                              ; preds = %596
  br label %599

599:                                              ; preds = %598
  store i8 0, ptr %51, align 1, !tbaa !9
  br label %442, !llvm.loop !36

600:                                              ; preds = %593, %556
  call void @llvm.lifetime.end.p0(i64 8, ptr %53) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %52) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %51) #8
  br label %671

601:                                              ; preds = %596, %446
  call void @llvm.lifetime.end.p0(i64 8, ptr %52) #8
  %602 = load i32, ptr %9, align 4
  switch i32 %602, label %605 [
    i32 78, label %603
  ]

603:                                              ; preds = %601
  br label %604

604:                                              ; preds = %603
  store i8 0, ptr %51, align 1, !tbaa !9
  br label %435, !llvm.loop !37

605:                                              ; preds = %601, %438
  call void @llvm.lifetime.end.p0(i64 1, ptr %51) #8
  %606 = load i32, ptr %9, align 4
  switch i32 %606, label %669 [
    i32 75, label %607
  ]

607:                                              ; preds = %605
  br label %667

608:                                              ; preds = %160
  call void @llvm.lifetime.start.p0(i64 1, ptr %72) #8
  store i8 1, ptr %72, align 1, !tbaa !9
  br label %609

609:                                              ; preds = %643, %608
  %610 = load i8, ptr %72, align 1, !tbaa !9, !range !11, !noundef !12
  %611 = trunc i8 %610 to i1
  br i1 %611, label %613, label %612

612:                                              ; preds = %609
  store i32 104, ptr %9, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %72) #8
  br label %644

613:                                              ; preds = %609
  call void @llvm.lifetime.start.p0(i64 8, ptr %73) #8
  %614 = load ptr, ptr %16, align 8, !tbaa !5
  %615 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR15TypePathBinding8as_UnionEv(ptr noundef nonnull align 8 dereferenceable(16) %614)
  store ptr %615, ptr %73, align 8, !tbaa !5
  br label %616

616:                                              ; preds = %641, %613
  %617 = load ptr, ptr %73, align 8, !tbaa !5
  %618 = load i8, ptr %72, align 1, !tbaa !9, !range !11, !noundef !12
  %619 = trunc i8 %618 to i1
  br i1 %619, label %621, label %620

620:                                              ; preds = %616
  store i32 107, ptr %9, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %73) #8
  br label %642

621:                                              ; preds = %616
  br label %622

622:                                              ; preds = %621
  call void @llvm.lifetime.start.p0(i64 8, ptr %74) #8
  store ptr @__func__._ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE, ptr %74, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %75) #8
  %623 = load ptr, ptr %6, align 8, !tbaa !5
  call void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %75, ptr noundef nonnull align 8 dereferenceable(8) %623)
  call void @llvm.lifetime.start.p0(i64 16, ptr %77) #8
  %624 = getelementptr inbounds %class.anon.605, ptr %77, i32 0, i32 0
  store ptr %74, ptr %624, align 8, !tbaa !5
  %625 = getelementptr inbounds %class.anon.605, ptr %77, i32 0, i32 1
  %626 = load ptr, ptr %7, align 8, !tbaa !5
  store ptr %626, ptr %625, align 8, !tbaa !5
  call void @"_ZNSt8functionIFvRSoEEC2IZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefEE3$_1vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %76, ptr noundef nonnull align 8 dereferenceable(16) %77) #8
  invoke void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %75, ptr noundef %76)
          to label %627 unwind label %630

627:                                              ; preds = %622
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %76) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %77) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %75) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %75) #8
  %628 = call ptr @__cxa_allocate_exception(i64 16) #8
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %628, ptr noundef @.str.3)
          to label %629 unwind label %634

629:                                              ; preds = %627
  call void @__cxa_throw(ptr %628, ptr @_ZTISt13runtime_error, ptr @_ZNSt13runtime_errorD1Ev) #10
  unreachable

630:                                              ; preds = %622
  %631 = landingpad { ptr, i32 }
          cleanup
  %632 = extractvalue { ptr, i32 } %631, 0
  store ptr %632, ptr %39, align 8
  %633 = extractvalue { ptr, i32 } %631, 1
  store i32 %633, ptr %40, align 4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %76) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %77) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %75) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %75) #8
  br label %638

634:                                              ; preds = %627
  %635 = landingpad { ptr, i32 }
          cleanup
  %636 = extractvalue { ptr, i32 } %635, 0
  store ptr %636, ptr %39, align 8
  %637 = extractvalue { ptr, i32 } %635, 1
  store i32 %637, ptr %40, align 4
  call void @__cxa_free_exception(ptr %628) #8
  br label %638

638:                                              ; preds = %634, %630
  call void @llvm.lifetime.end.p0(i64 8, ptr %74) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %73) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %72) #8
  br label %671

639:                                              ; No predecessors!
  br label %640

640:                                              ; preds = %639
  br label %641

641:                                              ; preds = %640
  store i8 0, ptr %72, align 1, !tbaa !9
  br label %616, !llvm.loop !38

642:                                              ; preds = %620
  br label %643

643:                                              ; preds = %642
  store i8 0, ptr %72, align 1, !tbaa !9
  br label %609, !llvm.loop !39

644:                                              ; preds = %612
  br label %667

645:                                              ; preds = %160
  call void @llvm.lifetime.start.p0(i64 1, ptr %78) #8
  store i8 1, ptr %78, align 1, !tbaa !9
  br label %646

646:                                              ; preds = %663, %645
  %647 = load i8, ptr %78, align 1, !tbaa !9, !range !11, !noundef !12
  %648 = trunc i8 %647 to i1
  br i1 %648, label %650, label %649

649:                                              ; preds = %646
  store i32 112, ptr %9, align 4
  br label %664

650:                                              ; preds = %646
  call void @llvm.lifetime.start.p0(i64 8, ptr %79) #8
  %651 = load ptr, ptr %16, align 8, !tbaa !5
  %652 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR15TypePathBinding13as_ExternTypeEv(ptr noundef nonnull align 8 dereferenceable(16) %651)
  store ptr %652, ptr %79, align 8, !tbaa !5
  br label %653

653:                                              ; preds = %659, %650
  %654 = load ptr, ptr %79, align 8, !tbaa !5
  %655 = load i8, ptr %78, align 1, !tbaa !9, !range !11, !noundef !12
  %656 = trunc i8 %655 to i1
  br i1 %656, label %658, label %657

657:                                              ; preds = %653
  store i32 115, ptr %9, align 4
  br label %660

658:                                              ; preds = %653
  store i1 false, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %660

659:                                              ; No predecessors!
  store i8 0, ptr %78, align 1, !tbaa !9
  br label %653, !llvm.loop !40

660:                                              ; preds = %658, %657
  call void @llvm.lifetime.end.p0(i64 8, ptr %79) #8
  %661 = load i32, ptr %9, align 4
  switch i32 %661, label %664 [
    i32 115, label %662
  ]

662:                                              ; preds = %660
  br label %663

663:                                              ; preds = %662
  store i8 0, ptr %78, align 1, !tbaa !9
  br label %646, !llvm.loop !41

664:                                              ; preds = %660, %649
  call void @llvm.lifetime.end.p0(i64 1, ptr %78) #8
  %665 = load i32, ptr %9, align 4
  switch i32 %665, label %669 [
    i32 112, label %666
  ]

666:                                              ; preds = %664
  br label %667

667:                                              ; preds = %666, %644, %607, %433, %207, %185, %160
  br label %668

668:                                              ; preds = %667
  store i8 0, ptr %15, align 1, !tbaa !9
  br label %156, !llvm.loop !42

669:                                              ; preds = %664, %605, %431, %205, %183, %159
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #8
  %670 = load i32, ptr %9, align 4
  switch i32 %670, label %674 [
    i32 24, label %672
  ]

671:                                              ; preds = %638, %600, %417
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %15) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %13) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %8) #8
  br label %866

672:                                              ; preds = %669
  br label %673

673:                                              ; preds = %672
  store i8 0, ptr %15, align 1, !tbaa !9
  br label %149, !llvm.loop !43

674:                                              ; preds = %669, %152
  call void @llvm.lifetime.end.p0(i64 1, ptr %15) #8
  %675 = load i32, ptr %9, align 4
  switch i32 %675, label %678 [
    i32 21, label %676
  ]

676:                                              ; preds = %674
  store i1 true, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %678

677:                                              ; No predecessors!
  store i8 0, ptr %13, align 1, !tbaa !9
  br label %143, !llvm.loop !44

678:                                              ; preds = %676, %674, %147
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #8
  %679 = load i32, ptr %9, align 4
  switch i32 %679, label %682 [
    i32 18, label %680
  ]

680:                                              ; preds = %678
  br label %681

681:                                              ; preds = %680
  store i8 0, ptr %13, align 1, !tbaa !9
  br label %136, !llvm.loop !45

682:                                              ; preds = %678, %139
  call void @llvm.lifetime.end.p0(i64 1, ptr %13) #8
  %683 = load i32, ptr %9, align 4
  switch i32 %683, label %856 [
    i32 15, label %684
  ]

684:                                              ; preds = %682
  br label %854

685:                                              ; preds = %108
  call void @llvm.lifetime.start.p0(i64 1, ptr %80) #8
  store i8 1, ptr %80, align 1, !tbaa !9
  br label %686

686:                                              ; preds = %707, %685
  %687 = load i8, ptr %80, align 1, !tbaa !9, !range !11, !noundef !12
  %688 = trunc i8 %687 to i1
  br i1 %688, label %690, label %689

689:                                              ; preds = %686
  store i32 118, ptr %9, align 4
  br label %708

690:                                              ; preds = %686
  call void @llvm.lifetime.start.p0(i64 8, ptr %81) #8
  %691 = load ptr, ptr %10, align 8, !tbaa !5
  %692 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK3HIR8TypeData9as_BorrowEv(ptr noundef nonnull align 8 dereferenceable(184) %691)
  store ptr %692, ptr %81, align 8, !tbaa !5
  br label %693

693:                                              ; preds = %703, %690
  %694 = load ptr, ptr %81, align 8, !tbaa !5
  %695 = load i8, ptr %80, align 1, !tbaa !9, !range !11, !noundef !12
  %696 = trunc i8 %695 to i1
  br i1 %696, label %698, label %697

697:                                              ; preds = %693
  store i32 121, ptr %9, align 4
  br label %704

698:                                              ; preds = %693
  %699 = load ptr, ptr %6, align 8, !tbaa !5
  %700 = load ptr, ptr %81, align 8, !tbaa !5
  %701 = getelementptr inbounds %"struct.HIR::TypeData::Data_Borrow", ptr %700, i32 0, i32 2
  %702 = call noundef zeroext i1 @_ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %96, ptr noundef nonnull align 8 dereferenceable(8) %699, ptr noundef nonnull align 8 dereferenceable(8) %701)
  store i1 %702, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %704

703:                                              ; No predecessors!
  store i8 0, ptr %80, align 1, !tbaa !9
  br label %693, !llvm.loop !46

704:                                              ; preds = %698, %697
  call void @llvm.lifetime.end.p0(i64 8, ptr %81) #8
  %705 = load i32, ptr %9, align 4
  switch i32 %705, label %708 [
    i32 121, label %706
  ]

706:                                              ; preds = %704
  br label %707

707:                                              ; preds = %706
  store i8 0, ptr %80, align 1, !tbaa !9
  br label %686, !llvm.loop !47

708:                                              ; preds = %704, %689
  call void @llvm.lifetime.end.p0(i64 1, ptr %80) #8
  %709 = load i32, ptr %9, align 4
  switch i32 %709, label %856 [
    i32 118, label %710
  ]

710:                                              ; preds = %708
  br label %854

711:                                              ; preds = %108
  call void @llvm.lifetime.start.p0(i64 1, ptr %82) #8
  store i8 1, ptr %82, align 1, !tbaa !9
  br label %712

712:                                              ; preds = %729, %711
  %713 = load i8, ptr %82, align 1, !tbaa !9, !range !11, !noundef !12
  %714 = trunc i8 %713 to i1
  br i1 %714, label %716, label %715

715:                                              ; preds = %712
  store i32 124, ptr %9, align 4
  br label %730

716:                                              ; preds = %712
  call void @llvm.lifetime.start.p0(i64 8, ptr %83) #8
  %717 = load ptr, ptr %10, align 8, !tbaa !5
  %718 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK3HIR8TypeData10as_PointerEv(ptr noundef nonnull align 8 dereferenceable(184) %717)
  store ptr %718, ptr %83, align 8, !tbaa !5
  br label %719

719:                                              ; preds = %725, %716
  %720 = load ptr, ptr %83, align 8, !tbaa !5
  %721 = load i8, ptr %82, align 1, !tbaa !9, !range !11, !noundef !12
  %722 = trunc i8 %721 to i1
  br i1 %722, label %724, label %723

723:                                              ; preds = %719
  store i32 127, ptr %9, align 4
  br label %726

724:                                              ; preds = %719
  store i1 false, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %726

725:                                              ; No predecessors!
  store i8 0, ptr %82, align 1, !tbaa !9
  br label %719, !llvm.loop !48

726:                                              ; preds = %724, %723
  call void @llvm.lifetime.end.p0(i64 8, ptr %83) #8
  %727 = load i32, ptr %9, align 4
  switch i32 %727, label %730 [
    i32 127, label %728
  ]

728:                                              ; preds = %726
  br label %729

729:                                              ; preds = %728
  store i8 0, ptr %82, align 1, !tbaa !9
  br label %712, !llvm.loop !49

730:                                              ; preds = %726, %715
  call void @llvm.lifetime.end.p0(i64 1, ptr %82) #8
  %731 = load i32, ptr %9, align 4
  switch i32 %731, label %856 [
    i32 124, label %732
  ]

732:                                              ; preds = %730
  br label %854

733:                                              ; preds = %108
  call void @llvm.lifetime.start.p0(i64 1, ptr %84) #8
  store i8 1, ptr %84, align 1, !tbaa !9
  br label %734

734:                                              ; preds = %751, %733
  %735 = load i8, ptr %84, align 1, !tbaa !9, !range !11, !noundef !12
  %736 = trunc i8 %735 to i1
  br i1 %736, label %738, label %737

737:                                              ; preds = %734
  store i32 130, ptr %9, align 4
  br label %752

738:                                              ; preds = %734
  call void @llvm.lifetime.start.p0(i64 8, ptr %85) #8
  %739 = load ptr, ptr %10, align 8, !tbaa !5
  %740 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZNK3HIR8TypeData11as_FunctionEv(ptr noundef nonnull align 8 dereferenceable(184) %739)
  store ptr %740, ptr %85, align 8, !tbaa !5
  br label %741

741:                                              ; preds = %747, %738
  %742 = load ptr, ptr %85, align 8, !tbaa !5
  %743 = load i8, ptr %84, align 1, !tbaa !9, !range !11, !noundef !12
  %744 = trunc i8 %743 to i1
  br i1 %744, label %746, label %745

745:                                              ; preds = %741
  store i32 133, ptr %9, align 4
  br label %748

746:                                              ; preds = %741
  store i1 true, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %748

747:                                              ; No predecessors!
  store i8 0, ptr %84, align 1, !tbaa !9
  br label %741, !llvm.loop !50

748:                                              ; preds = %746, %745
  call void @llvm.lifetime.end.p0(i64 8, ptr %85) #8
  %749 = load i32, ptr %9, align 4
  switch i32 %749, label %752 [
    i32 133, label %750
  ]

750:                                              ; preds = %748
  br label %751

751:                                              ; preds = %750
  store i8 0, ptr %84, align 1, !tbaa !9
  br label %734, !llvm.loop !51

752:                                              ; preds = %748, %737
  call void @llvm.lifetime.end.p0(i64 1, ptr %84) #8
  %753 = load i32, ptr %9, align 4
  switch i32 %753, label %856 [
    i32 130, label %754
  ]

754:                                              ; preds = %752
  br label %854

755:                                              ; preds = %108
  call void @llvm.lifetime.start.p0(i64 1, ptr %86) #8
  store i8 1, ptr %86, align 1, !tbaa !9
  br label %756

756:                                              ; preds = %777, %755
  %757 = load i8, ptr %86, align 1, !tbaa !9, !range !11, !noundef !12
  %758 = trunc i8 %757 to i1
  br i1 %758, label %760, label %759

759:                                              ; preds = %756
  store i32 136, ptr %9, align 4
  br label %778

760:                                              ; preds = %756
  call void @llvm.lifetime.start.p0(i64 8, ptr %87) #8
  %761 = load ptr, ptr %10, align 8, !tbaa !5
  %762 = call noundef nonnull align 8 dereferenceable(40) ptr @_ZNK3HIR8TypeData8as_ArrayEv(ptr noundef nonnull align 8 dereferenceable(184) %761)
  store ptr %762, ptr %87, align 8, !tbaa !5
  br label %763

763:                                              ; preds = %773, %760
  %764 = load ptr, ptr %87, align 8, !tbaa !5
  %765 = load i8, ptr %86, align 1, !tbaa !9, !range !11, !noundef !12
  %766 = trunc i8 %765 to i1
  br i1 %766, label %768, label %767

767:                                              ; preds = %763
  store i32 139, ptr %9, align 4
  br label %774

768:                                              ; preds = %763
  %769 = load ptr, ptr %6, align 8, !tbaa !5
  %770 = load ptr, ptr %87, align 8, !tbaa !5
  %771 = getelementptr inbounds %"struct.HIR::TypeData::Data_Array", ptr %770, i32 0, i32 0
  %772 = call noundef zeroext i1 @_ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %96, ptr noundef nonnull align 8 dereferenceable(8) %769, ptr noundef nonnull align 8 dereferenceable(8) %771)
  store i1 %772, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %774

773:                                              ; No predecessors!
  store i8 0, ptr %86, align 1, !tbaa !9
  br label %763, !llvm.loop !52

774:                                              ; preds = %768, %767
  call void @llvm.lifetime.end.p0(i64 8, ptr %87) #8
  %775 = load i32, ptr %9, align 4
  switch i32 %775, label %778 [
    i32 139, label %776
  ]

776:                                              ; preds = %774
  br label %777

777:                                              ; preds = %776
  store i8 0, ptr %86, align 1, !tbaa !9
  br label %756, !llvm.loop !53

778:                                              ; preds = %774, %759
  call void @llvm.lifetime.end.p0(i64 1, ptr %86) #8
  %779 = load i32, ptr %9, align 4
  switch i32 %779, label %856 [
    i32 136, label %780
  ]

780:                                              ; preds = %778
  br label %854

781:                                              ; preds = %108
  call void @llvm.lifetime.start.p0(i64 1, ptr %88) #8
  store i8 1, ptr %88, align 1, !tbaa !9
  br label %782

782:                                              ; preds = %803, %781
  %783 = load i8, ptr %88, align 1, !tbaa !9, !range !11, !noundef !12
  %784 = trunc i8 %783 to i1
  br i1 %784, label %786, label %785

785:                                              ; preds = %782
  store i32 142, ptr %9, align 4
  br label %804

786:                                              ; preds = %782
  call void @llvm.lifetime.start.p0(i64 8, ptr %89) #8
  %787 = load ptr, ptr %10, align 8, !tbaa !5
  %788 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR8TypeData8as_SliceEv(ptr noundef nonnull align 8 dereferenceable(184) %787)
  store ptr %788, ptr %89, align 8, !tbaa !5
  br label %789

789:                                              ; preds = %799, %786
  %790 = load ptr, ptr %89, align 8, !tbaa !5
  %791 = load i8, ptr %88, align 1, !tbaa !9, !range !11, !noundef !12
  %792 = trunc i8 %791 to i1
  br i1 %792, label %794, label %793

793:                                              ; preds = %789
  store i32 145, ptr %9, align 4
  br label %800

794:                                              ; preds = %789
  %795 = load ptr, ptr %6, align 8, !tbaa !5
  %796 = load ptr, ptr %89, align 8, !tbaa !5
  %797 = getelementptr inbounds %"struct.HIR::TypeData::Data_Slice", ptr %796, i32 0, i32 0
  %798 = call noundef zeroext i1 @_ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %96, ptr noundef nonnull align 8 dereferenceable(8) %795, ptr noundef nonnull align 8 dereferenceable(8) %797)
  store i1 %798, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %800

799:                                              ; No predecessors!
  store i8 0, ptr %88, align 1, !tbaa !9
  br label %789, !llvm.loop !54

800:                                              ; preds = %794, %793
  call void @llvm.lifetime.end.p0(i64 8, ptr %89) #8
  %801 = load i32, ptr %9, align 4
  switch i32 %801, label %804 [
    i32 145, label %802
  ]

802:                                              ; preds = %800
  br label %803

803:                                              ; preds = %802
  store i8 0, ptr %88, align 1, !tbaa !9
  br label %782, !llvm.loop !55

804:                                              ; preds = %800, %785
  call void @llvm.lifetime.end.p0(i64 1, ptr %88) #8
  %805 = load i32, ptr %9, align 4
  switch i32 %805, label %856 [
    i32 142, label %806
  ]

806:                                              ; preds = %804
  br label %854

807:                                              ; preds = %108
  call void @llvm.lifetime.start.p0(i64 1, ptr %90) #8
  store i8 1, ptr %90, align 1, !tbaa !9
  br label %808

808:                                              ; preds = %850, %807
  %809 = load i8, ptr %90, align 1, !tbaa !9, !range !11, !noundef !12
  %810 = trunc i8 %809 to i1
  br i1 %810, label %812, label %811

811:                                              ; preds = %808
  store i32 148, ptr %9, align 4
  br label %851

812:                                              ; preds = %808
  call void @llvm.lifetime.start.p0(i64 8, ptr %91) #8
  %813 = load ptr, ptr %10, align 8, !tbaa !5
  %814 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3HIR8TypeData8as_TupleEv(ptr noundef nonnull align 8 dereferenceable(184) %813)
  store ptr %814, ptr %91, align 8, !tbaa !5
  br label %815

815:                                              ; preds = %846, %812
  %816 = load ptr, ptr %91, align 8, !tbaa !5
  %817 = load i8, ptr %90, align 1, !tbaa !9, !range !11, !noundef !12
  %818 = trunc i8 %817 to i1
  br i1 %818, label %820, label %819

819:                                              ; preds = %815
  store i32 151, ptr %9, align 4
  br label %847

820:                                              ; preds = %815
  call void @llvm.lifetime.start.p0(i64 8, ptr %92) #8
  %821 = load ptr, ptr %91, align 8, !tbaa !5
  store ptr %821, ptr %92, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %93) #8
  %822 = load ptr, ptr %92, align 8, !tbaa !5
  %823 = call ptr @_ZNKSt6vectorIN3HIR7TypeRefESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %822) #8
  %824 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.518", ptr %93, i32 0, i32 0
  store ptr %823, ptr %824, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %94) #8
  %825 = load ptr, ptr %92, align 8, !tbaa !5
  %826 = call ptr @_ZNKSt6vectorIN3HIR7TypeRefESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %825) #8
  %827 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.518", ptr %94, i32 0, i32 0
  store ptr %826, ptr %827, align 8
  br label %828

828:                                              ; preds = %841, %820
  %829 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESD_(ptr noundef nonnull align 8 dereferenceable(8) %93, ptr noundef nonnull align 8 dereferenceable(8) %94) #8
  br i1 %829, label %831, label %830

830:                                              ; preds = %828
  store i32 154, ptr %9, align 4
  br label %843

831:                                              ; preds = %828
  call void @llvm.lifetime.start.p0(i64 8, ptr %95) #8
  %832 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %93) #8
  store ptr %832, ptr %95, align 8, !tbaa !5
  %833 = load ptr, ptr %6, align 8, !tbaa !5
  %834 = load ptr, ptr %95, align 8, !tbaa !5
  %835 = call noundef zeroext i1 @_ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %96, ptr noundef nonnull align 8 dereferenceable(8) %833, ptr noundef nonnull align 8 dereferenceable(8) %834)
  br i1 %835, label %836, label %837

836:                                              ; preds = %831
  store i1 true, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %838

837:                                              ; preds = %831
  store i32 0, ptr %9, align 4
  br label %838

838:                                              ; preds = %837, %836
  call void @llvm.lifetime.end.p0(i64 8, ptr %95) #8
  %839 = load i32, ptr %9, align 4
  switch i32 %839, label %843 [
    i32 0, label %840
  ]

840:                                              ; preds = %838
  br label %841

841:                                              ; preds = %840
  %842 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %93) #8
  br label %828

843:                                              ; preds = %838, %830
  call void @llvm.lifetime.end.p0(i64 8, ptr %94) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %93) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %92) #8
  %844 = load i32, ptr %9, align 4
  switch i32 %844, label %847 [
    i32 154, label %845
  ]

845:                                              ; preds = %843
  store i1 false, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %847

846:                                              ; No predecessors!
  store i8 0, ptr %90, align 1, !tbaa !9
  br label %815, !llvm.loop !56

847:                                              ; preds = %845, %843, %819
  call void @llvm.lifetime.end.p0(i64 8, ptr %91) #8
  %848 = load i32, ptr %9, align 4
  switch i32 %848, label %851 [
    i32 151, label %849
  ]

849:                                              ; preds = %847
  br label %850

850:                                              ; preds = %849
  store i8 0, ptr %90, align 1, !tbaa !9
  br label %808, !llvm.loop !57

851:                                              ; preds = %847, %811
  call void @llvm.lifetime.end.p0(i64 1, ptr %90) #8
  %852 = load i32, ptr %9, align 4
  switch i32 %852, label %856 [
    i32 148, label %853
  ]

853:                                              ; preds = %851
  br label %854

854:                                              ; preds = %853, %806, %780, %754, %732, %710, %684, %134
  br label %855

855:                                              ; preds = %854
  store i8 0, ptr %8, align 1, !tbaa !9
  br label %104, !llvm.loop !58

856:                                              ; preds = %851, %804, %778, %752, %730, %708, %682, %132, %112, %107
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #8
  %857 = load i32, ptr %9, align 4
  switch i32 %857, label %860 [
    i32 5, label %858
  ]

858:                                              ; preds = %856
  br label %859

859:                                              ; preds = %858
  store i8 0, ptr %8, align 1, !tbaa !9
  br label %97, !llvm.loop !59

860:                                              ; preds = %856, %100
  call void @llvm.lifetime.end.p0(i64 1, ptr %8) #8
  %861 = load i32, ptr %9, align 4
  switch i32 %861, label %871 [
    i32 2, label %862
    i32 1, label %864
  ]

862:                                              ; preds = %860
  %863 = call ptr @__cxa_allocate_exception(i64 8) #8
  store ptr @.str.74, ptr %863, align 16, !tbaa !5
  call void @__cxa_throw(ptr %863, ptr @_ZTIPKc, ptr null) #10
  unreachable

864:                                              ; preds = %860
  %865 = load i1, ptr %4, align 1
  ret i1 %865

866:                                              ; preds = %671
  %867 = load ptr, ptr %39, align 8
  %868 = load i32, ptr %40, align 4
  %869 = insertvalue { ptr, i32 } poison, ptr %867, 0
  %870 = insertvalue { ptr, i32 } %869, i32 %868, 1
  resume { ptr, i32 } %870

871:                                              ; preds = %860
  unreachable
}

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNK18StaticTraitResolve20monomorph_expand_optERK4SpanRN3HIR7TypeRefERKS4_RK13Monomorphiser(ptr noundef nonnull align 8 dereferenceable(424), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(96)) #7 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK3HIR4Enum5Class3tagEv(ptr noundef nonnull align 8 dereferenceable(40)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(25) ptr @_ZNK3HIR4Enum5Class8as_ValueEv(ptr noundef nonnull align 8 dereferenceable(40)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZNKSt6vectorIN3HIR4Enum12ValueVariantESaIS2_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3HIR4Enum5Class7as_DataEv(ptr noundef nonnull align 8 dereferenceable(40)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @"_ZNSt8functionIFvRSoEEC2IZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefEE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @"_ZNSt8functionIFvRSoEEC2IZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefEE3$_1vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #2 align 2

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #7 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #8 = { nounwind }
attributes #9 = { noreturn nounwind }
attributes #10 = { noreturn }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"bool", !7, i64 0}
!11 = !{i8 0, i8 2}
!12 = !{}
!13 = distinct !{!13, !14}
!14 = !{!"llvm.loop.mustprogress"}
!15 = distinct !{!15, !14}
!16 = distinct !{!16, !14}
!17 = distinct !{!17, !14}
!18 = distinct !{!18, !14}
!19 = distinct !{!19, !14}
!20 = distinct !{!20, !14}
!21 = distinct !{!21, !14}
!22 = distinct !{!22, !14}
!23 = distinct !{!23, !14}
!24 = distinct !{!24, !14}
!25 = distinct !{!25, !14}
!26 = distinct !{!26, !14}
!27 = distinct !{!27, !14}
!28 = distinct !{!28, !14}
!29 = distinct !{!29, !14}
!30 = distinct !{!30, !14}
!31 = distinct !{!31, !14}
!32 = distinct !{!32, !14}
!33 = distinct !{!33, !14}
!34 = distinct !{!34, !14}
!35 = distinct !{!35, !14}
!36 = distinct !{!36, !14}
!37 = distinct !{!37, !14}
!38 = distinct !{!38, !14}
!39 = distinct !{!39, !14}
!40 = distinct !{!40, !14}
!41 = distinct !{!41, !14}
!42 = distinct !{!42, !14}
!43 = distinct !{!43, !14}
!44 = distinct !{!44, !14}
!45 = distinct !{!45, !14}
!46 = distinct !{!46, !14}
!47 = distinct !{!47, !14}
!48 = distinct !{!48, !14}
!49 = distinct !{!49, !14}
!50 = distinct !{!50, !14}
!51 = distinct !{!51, !14}
!52 = distinct !{!52, !14}
!53 = distinct !{!53, !14}
!54 = distinct !{!54, !14}
!55 = distinct !{!55, !14}
!56 = distinct !{!56, !14}
!57 = distinct !{!57, !14}
!58 = distinct !{!58, !14}
!59 = distinct !{!59, !14}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%"class.__gnu_cxx::__normal_iterator.507" = type { ptr }
%"class.HIR::TypeRef" = type { ptr }
%struct.MonomorphStatePtr = type { %class.MonomorphiserPP, ptr, ptr, ptr, ptr }
%class.MonomorphiserPP = type { %class.Monomorphiser }
%class.Monomorphiser = type { ptr, ptr, %"class.HIR::ItemPath", %"class.std::vector.401" }
%"class.HIR::ItemPath" = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%"class.std::vector.401" = type { %"struct.std::_Vector_base.402" }
%"struct.std::_Vector_base.402" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.__gnu_cxx::__normal_iterator.511" = type { ptr }
%"class.__gnu_cxx::__normal_iterator.514" = type { ptr }
%struct.Span = type { ptr }
%"class.std::function.0" = type { %"class.std::_Function_base", ptr }
%"class.std::_Function_base" = type { %"union.std::_Any_data", ptr }
%"union.std::_Any_data" = type { %"union.std::_Nocopy_types" }
%"union.std::_Nocopy_types" = type { { i64, i64 } }
%class.anon.604 = type { ptr, ptr }
%class.anon.605 = type { ptr, ptr }
%"class.__gnu_cxx::__normal_iterator.518" = type { ptr }

@_ZTISt13runtime_error = external constant ptr
@.str.3 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [80 x i8], align 1
@__PRETTY_FUNCTION__._ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE = external hidden unnamed_addr constant [88 x i8], align 1
@__func__._ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE = external hidden unnamed_addr constant [19 x i8], align 1

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #0

declare i32 @__gxx_personality_v0(...)

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #0

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(184) ptr @_ZNK3HIR7TypeRef4dataEv(ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(112) ptr @_ZNK3HIR8TypeData7as_PathEv(ptr noundef nonnull align 8 dereferenceable(184)) local_unnamed_addr #2 align 2

declare void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #3

declare void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) local_unnamed_addr #3

; Function Attrs: nounwind
declare void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #4

declare ptr @__cxa_allocate_exception(i64) local_unnamed_addr

declare void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef) unnamed_addr #3

declare void @__cxa_free_exception(ptr) local_unnamed_addr

; Function Attrs: nounwind
declare void @_ZNSt13runtime_errorD1Ev(ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #4

declare void @__cxa_throw(ptr, ptr, ptr) local_unnamed_addr

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR15TypePathBinding9as_StructEv(ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(32) ptr @_ZNK3HIR4Path4Data10as_GenericEv(ptr noundef nonnull align 8 dereferenceable(88)) local_unnamed_addr #2 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN3HIR7TypeRefC2Ev(ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #5 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK3HIR8TypeData3tagEv(ptr noundef nonnull align 8 dereferenceable(184)) local_unnamed_addr #2 align 2

; Function Attrs: noreturn nounwind
declare void @__assert_fail(ptr noundef, ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #6

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3HIR8TypeData8as_TupleEv(ptr noundef nonnull align 8 dereferenceable(184)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(144) ptr @_ZNK3HIR8TypeData11as_FunctionEv(ptr noundef nonnull align 8 dereferenceable(184)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN17MonomorphStatePtrC2EPKN3HIR7TypeRefEPKNS0_10PathParamsES6_S6_S6_(ptr noundef nonnull align 8 dereferenceable(128), ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) unnamed_addr #7 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96)) unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK3HIR15TypePathBinding3tagEv(ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 1 dereferenceable(1) ptr @_ZNK3HIR15TypePathBinding9as_OpaqueEv(ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 1 dereferenceable(1) ptr @_ZNK3HIR15TypePathBinding10as_UnboundEv(ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK3HIR6Struct4Data3tagEv(ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 1 dereferenceable(1) ptr @_ZNK3HIR6Struct4Data7as_UnitEv(ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3HIR6Struct4Data8as_TupleEv(ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNKSt6vectorIN3HIR6VisEntINS0_7TypeRefEEESaIS3_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNKSt6vectorIN3HIR6VisEntINS0_7TypeRefEEESaIS3_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #2 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3HIR6VisEntINS1_7TypeRefEEESt6vectorIS4_SaIS4_EEEEbRKNS_17__normal_iteratorIT_T0_EESF_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #1

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(24) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3HIR6VisEntINS1_7TypeRefEEESt6vectorIS4_SaIS4_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3HIR6VisEntINS1_7TypeRefEEESt6vectorIS4_SaIS4_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3HIR6Struct4Data8as_NamedEv(ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNKSt6vectorISt4pairI8RcStringN3HIR6VisEntINS2_7TypeRefEEEESaIS6_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNKSt6vectorISt4pairI8RcStringN3HIR6VisEntINS2_7TypeRefEEEESaIS6_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #2 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPKSt4pairI8RcStringN3HIR6VisEntINS3_7TypeRefEEEESt6vectorIS7_SaIS7_EEEEbRKNS_17__normal_iteratorIT_T0_EESI_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #1

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(32) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKSt4pairI8RcStringN3HIR6VisEntINS3_7TypeRefEEEESt6vectorIS7_SaIS7_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKSt4pairI8RcStringN3HIR6VisEntINS3_7TypeRefEEEESt6vectorIS7_SaIS7_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR15TypePathBinding7as_EnumEv(ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNKSt6vectorIN3HIR4Enum11DataVariantESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNKSt6vectorIN3HIR4Enum11DataVariantESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #2 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3HIR4Enum11DataVariantESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #1

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(24) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3HIR4Enum11DataVariantESt6vectorIS3_SaIS3_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3HIR4Enum11DataVariantESt6vectorIS3_SaIS3_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR15TypePathBinding8as_UnionEv(ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR15TypePathBinding13as_ExternTypeEv(ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNKSt6vectorIN3HIR7TypeRefESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNKSt6vectorIN3HIR7TypeRefESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #2 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESD_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #1

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 1 dereferenceable(1) ptr @_ZNK3HIR8TypeData10as_DivergeEv(ptr noundef nonnull align 8 dereferenceable(184)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(16) ptr @_ZNK3HIR8TypeData9as_BorrowEv(ptr noundef nonnull align 8 dereferenceable(184)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(16) ptr @_ZNK3HIR8TypeData10as_PointerEv(ptr noundef nonnull align 8 dereferenceable(184)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(40) ptr @_ZNK3HIR8TypeData8as_ArrayEv(ptr noundef nonnull align 8 dereferenceable(184)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR8TypeData8as_SliceEv(ptr noundef nonnull align 8 dereferenceable(184)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
define dso_local noundef zeroext i1 @_ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %0, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(8) %2) local_unnamed_addr #7 align 2 personality ptr @__gxx_personality_v0 {
.thread436:
  %3 = alloca %"class.__gnu_cxx::__normal_iterator.507", align 8
  %4 = alloca %"class.__gnu_cxx::__normal_iterator.507", align 8
  %5 = alloca %"class.HIR::TypeRef", align 8
  %6 = alloca %struct.MonomorphStatePtr, align 8
  %7 = alloca %"class.__gnu_cxx::__normal_iterator.511", align 8
  %8 = alloca %"class.__gnu_cxx::__normal_iterator.511", align 8
  %9 = alloca %"class.HIR::TypeRef", align 8
  %10 = alloca %struct.MonomorphStatePtr, align 8
  %11 = alloca %"class.__gnu_cxx::__normal_iterator.514", align 8
  %12 = alloca %"class.__gnu_cxx::__normal_iterator.514", align 8
  %13 = alloca %"class.HIR::TypeRef", align 8
  %14 = alloca %struct.MonomorphStatePtr, align 8
  %15 = alloca ptr, align 8
  %16 = alloca %struct.Span, align 8
  %17 = alloca %"class.std::function.0", align 8
  %18 = alloca %class.anon.604, align 8
  %19 = alloca ptr, align 8
  %20 = alloca %struct.Span, align 8
  %21 = alloca %"class.std::function.0", align 8
  %22 = alloca %class.anon.605, align 8
  %23 = alloca %"class.__gnu_cxx::__normal_iterator.518", align 8
  %24 = alloca %"class.__gnu_cxx::__normal_iterator.518", align 8
  br label %tailrecurse

tailrecurse:                                      ; preds = %149, %147, %140, %.thread436
  %.tr716 = phi ptr [ %2, %.thread436 ], [ %142, %140 ], [ %148, %147 ], [ %150, %149 ]
  %25 = tail call noundef nonnull align 8 dereferenceable(184) ptr @_ZNK3HIR7TypeRef4dataEv(ptr noundef nonnull align 8 dereferenceable(8) %.tr716)
  %26 = tail call noundef i32 @_ZNK3HIR8TypeData3tagEv(ptr noundef nonnull align 8 dereferenceable(184) %25)
  switch i32 %26, label %.thread442.thread483 [
    i32 0, label %27
    i32 2, label %28
    i32 4, label %.lr.ph589.split
    i32 11, label %140
    i32 12, label %143
    i32 14, label %145
    i32 8, label %147
    i32 9, label %149
    i32 10, label %151
  ]

27:                                               ; preds = %tailrecurse
  tail call void @__assert_fail(ptr noundef nonnull @.str.4, ptr noundef nonnull @.str.5, i32 noundef 2301, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE) #8
  unreachable

28:                                               ; preds = %tailrecurse
  %29 = tail call noundef nonnull align 1 dereferenceable(1) ptr @_ZNK3HIR8TypeData10as_DivergeEv(ptr noundef nonnull align 8 dereferenceable(184) %25)
  br label %.thread442.thread483

.lr.ph589.split:                                  ; preds = %tailrecurse
  %30 = tail call noundef nonnull align 8 dereferenceable(112) ptr @_ZNK3HIR8TypeData7as_PathEv(ptr noundef nonnull align 8 dereferenceable(184) %25)
  %31 = getelementptr inbounds i8, ptr %30, i64 88
  %32 = tail call noundef i32 @_ZNK3HIR15TypePathBinding3tagEv(ptr noundef nonnull align 8 dereferenceable(16) %31)
  switch i32 %32, label %.thread442.thread483 [
    i32 0, label %.split598
    i32 1, label %.split600
    i32 2, label %.split603
    i32 4, label %.preheader.split
    i32 6, label %.split687
    i32 5, label %.split609
    i32 3, label %.split612
  ]

.preheader.split:                                 ; preds = %.lr.ph589.split
  %33 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR15TypePathBinding9as_StructEv(ptr noundef nonnull align 8 dereferenceable(16) %31)
  %34 = tail call noundef nonnull align 8 dereferenceable(32) ptr @_ZNK3HIR4Path4Data10as_GenericEv(ptr noundef nonnull align 8 dereferenceable(88) %30)
  %35 = load ptr, ptr %33, align 8, !tbaa !5
  %36 = getelementptr inbounds i8, ptr %35, i64 104
  %37 = tail call noundef i32 @_ZNK3HIR6Struct4Data3tagEv(ptr noundef nonnull align 8 dereferenceable(32) %36)
  switch i32 %37, label %.thread442.thread483 [
    i32 0, label %.split511
    i32 1, label %.split513
    i32 2, label %.split515
    i32 3, label %.split519
  ], !llvm.loop !9

.split598:                                        ; preds = %.lr.ph589.split
  tail call void @__assert_fail(ptr noundef nonnull @.str.4, ptr noundef nonnull @.str.5, i32 noundef 2308, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE) #8
  unreachable

.split600:                                        ; preds = %.lr.ph589.split
  %38 = tail call noundef nonnull align 1 dereferenceable(1) ptr @_ZNK3HIR15TypePathBinding10as_UnboundEv(ptr noundef nonnull align 8 dereferenceable(16) %31)
  br label %.thread442.thread483

.split603:                                        ; preds = %.lr.ph589.split
  %39 = tail call noundef nonnull align 1 dereferenceable(1) ptr @_ZNK3HIR15TypePathBinding9as_OpaqueEv(ptr noundef nonnull align 8 dereferenceable(16) %31)
  br label %.thread442.thread483

.split511:                                        ; preds = %.preheader.split
  tail call void @__assert_fail(ptr noundef nonnull @.str.4, ptr noundef nonnull @.str.5, i32 noundef 2320, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE) #8
  unreachable

.split513:                                        ; preds = %.preheader.split
  %40 = tail call noundef nonnull align 1 dereferenceable(1) ptr @_ZNK3HIR6Struct4Data7as_UnitEv(ptr noundef nonnull align 8 dereferenceable(32) %36)
  br label %.thread442.thread483

.split515:                                        ; preds = %.preheader.split
  %41 = getelementptr inbounds i8, ptr %34, i64 8
  %42 = tail call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3HIR6Struct4Data8as_TupleEv(ptr noundef nonnull align 8 dereferenceable(32) %36)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %3) #9
  %43 = tail call ptr @_ZNKSt6vectorIN3HIR6VisEntINS0_7TypeRefEEESaIS3_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %42) #9
  store ptr %43, ptr %3, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #9
  %44 = tail call ptr @_ZNKSt6vectorIN3HIR6VisEntINS0_7TypeRefEEESaIS3_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %42) #9
  store ptr %44, ptr %4, align 8
  %45 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3HIR6VisEntINS1_7TypeRefEEESt6vectorIS4_SaIS4_EEEEbRKNS_17__normal_iteratorIT_T0_EESF_(ptr noundef nonnull align 8 dereferenceable(8) %3, ptr noundef nonnull align 8 dereferenceable(8) %4) #9
  br i1 %45, label %.lr.ph704, label %._crit_edge705

.lr.ph704:                                        ; preds = %.split515, %60
  %46 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3HIR6VisEntINS1_7TypeRefEEESt6vectorIS4_SaIS4_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %3) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %5) #9
  call void @_ZN3HIR7TypeRefC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %5)
  call void @llvm.lifetime.start.p0(i64 128, ptr nonnull %6) #9
  invoke void @_ZN17MonomorphStatePtrC2EPKN3HIR7TypeRefEPKNS0_10PathParamsES6_S6_S6_(ptr noundef nonnull align 8 dereferenceable(128) %6, ptr noundef null, ptr noundef nonnull %41, ptr noundef null, ptr noundef null, ptr noundef null)
          to label %47 unwind label %53

47:                                               ; preds = %.lr.ph704
  %48 = getelementptr inbounds i8, ptr %46, i64 16
  %49 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK18StaticTraitResolve20monomorph_expand_optERK4SpanRN3HIR7TypeRefERKS4_RK13Monomorphiser(ptr noundef nonnull align 8 dereferenceable(424) %0, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(8) %5, ptr noundef nonnull align 8 dereferenceable(8) %48, ptr noundef nonnull align 8 dereferenceable(96) %6)
          to label %50 unwind label %55

50:                                               ; preds = %47
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(128) %6) #9
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %6) #9
  %51 = invoke noundef zeroext i1 @_ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %0, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(8) %49)
          to label %52 unwind label %58

52:                                               ; preds = %50
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %5) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #9
  br i1 %51, label %select.unfold388, label %60

53:                                               ; preds = %.lr.ph704
  %54 = landingpad { ptr, i32 }
          cleanup
  br label %57

55:                                               ; preds = %47
  %56 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(128) %6) #9
  br label %57

57:                                               ; preds = %55, %53
  %.pn372 = phi { ptr, i32 } [ %56, %55 ], [ %54, %53 ]
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %6) #9
  br label %63

58:                                               ; preds = %50
  %59 = landingpad { ptr, i32 }
          cleanup
  br label %63

60:                                               ; preds = %52
  %61 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3HIR6VisEntINS1_7TypeRefEEESt6vectorIS4_SaIS4_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %3) #9
  %62 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3HIR6VisEntINS1_7TypeRefEEESt6vectorIS4_SaIS4_EEEEbRKNS_17__normal_iteratorIT_T0_EESF_(ptr noundef nonnull align 8 dereferenceable(8) %3, ptr noundef nonnull align 8 dereferenceable(8) %4) #9
  br i1 %62, label %.lr.ph704, label %._crit_edge705

63:                                               ; preds = %58, %57
  %.pn374 = phi { ptr, i32 } [ %59, %58 ], [ %.pn372, %57 ]
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %5) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #9
  br label %139

._crit_edge705:                                   ; preds = %60, %.split515
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #9
  br label %.thread442.thread483

.split519:                                        ; preds = %.preheader.split
  %64 = getelementptr inbounds i8, ptr %34, i64 8
  %65 = tail call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3HIR6Struct4Data8as_NamedEv(ptr noundef nonnull align 8 dereferenceable(32) %36)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %7) #9
  %66 = tail call ptr @_ZNKSt6vectorISt4pairI8RcStringN3HIR6VisEntINS2_7TypeRefEEEESaIS6_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %65) #9
  store ptr %66, ptr %7, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #9
  %67 = tail call ptr @_ZNKSt6vectorISt4pairI8RcStringN3HIR6VisEntINS2_7TypeRefEEEESaIS6_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %65) #9
  store ptr %67, ptr %8, align 8
  %68 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKSt4pairI8RcStringN3HIR6VisEntINS3_7TypeRefEEEESt6vectorIS7_SaIS7_EEEEbRKNS_17__normal_iteratorIT_T0_EESI_(ptr noundef nonnull align 8 dereferenceable(8) %7, ptr noundef nonnull align 8 dereferenceable(8) %8) #9
  br i1 %68, label %.lr.ph701, label %._crit_edge702

.lr.ph701:                                        ; preds = %.split519, %83
  %69 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKSt4pairI8RcStringN3HIR6VisEntINS3_7TypeRefEEEESt6vectorIS7_SaIS7_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %7) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #9
  call void @_ZN3HIR7TypeRefC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %9)
  call void @llvm.lifetime.start.p0(i64 128, ptr nonnull %10) #9
  invoke void @_ZN17MonomorphStatePtrC2EPKN3HIR7TypeRefEPKNS0_10PathParamsES6_S6_S6_(ptr noundef nonnull align 8 dereferenceable(128) %10, ptr noundef null, ptr noundef nonnull %64, ptr noundef null, ptr noundef null, ptr noundef null)
          to label %70 unwind label %76

70:                                               ; preds = %.lr.ph701
  %71 = getelementptr inbounds i8, ptr %69, i64 24
  %72 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK18StaticTraitResolve20monomorph_expand_optERK4SpanRN3HIR7TypeRefERKS4_RK13Monomorphiser(ptr noundef nonnull align 8 dereferenceable(424) %0, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(8) %71, ptr noundef nonnull align 8 dereferenceable(96) %10)
          to label %73 unwind label %78

73:                                               ; preds = %70
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(128) %10) #9
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %10) #9
  %74 = invoke noundef zeroext i1 @_ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %0, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(8) %72)
          to label %75 unwind label %81

75:                                               ; preds = %73
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %9) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #9
  br i1 %74, label %select.unfold, label %83

76:                                               ; preds = %.lr.ph701
  %77 = landingpad { ptr, i32 }
          cleanup
  br label %80

78:                                               ; preds = %70
  %79 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(128) %10) #9
  br label %80

80:                                               ; preds = %78, %76
  %.pn368 = phi { ptr, i32 } [ %79, %78 ], [ %77, %76 ]
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %10) #9
  br label %86

81:                                               ; preds = %73
  %82 = landingpad { ptr, i32 }
          cleanup
  br label %86

83:                                               ; preds = %75
  %84 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKSt4pairI8RcStringN3HIR6VisEntINS3_7TypeRefEEEESt6vectorIS7_SaIS7_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %7) #9
  %85 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKSt4pairI8RcStringN3HIR6VisEntINS3_7TypeRefEEEESt6vectorIS7_SaIS7_EEEEbRKNS_17__normal_iteratorIT_T0_EESI_(ptr noundef nonnull align 8 dereferenceable(8) %7, ptr noundef nonnull align 8 dereferenceable(8) %8) #9
  br i1 %85, label %.lr.ph701, label %._crit_edge702

86:                                               ; preds = %81, %80
  %.pn370 = phi { ptr, i32 } [ %82, %81 ], [ %.pn368, %80 ]
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %9) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %7) #9
  br label %139

._crit_edge702:                                   ; preds = %83, %.split519
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %7) #9
  br label %.thread442.thread483

select.unfold:                                    ; preds = %75
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %7) #9
  br label %.thread442.thread483

select.unfold388:                                 ; preds = %52
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #9
  br label %.thread442.thread483

.split687:                                        ; preds = %.lr.ph589.split
  %87 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR15TypePathBinding7as_EnumEv(ptr noundef nonnull align 8 dereferenceable(16) %31)
  %88 = tail call noundef nonnull align 8 dereferenceable(32) ptr @_ZNK3HIR4Path4Data10as_GenericEv(ptr noundef nonnull align 8 dereferenceable(88) %30)
  %89 = getelementptr inbounds i8, ptr %88, i64 8
  %90 = load ptr, ptr %87, align 8, !tbaa !5
  %91 = getelementptr inbounds i8, ptr %90, i64 104
  %92 = tail call noundef i32 @_ZNK3HIR4Enum5Class3tagEv(ptr noundef nonnull align 8 dereferenceable(40) %91)
  switch i32 %92, label %.thread411 [
    i32 0, label %.split689.us
    i32 2, label %.split691.us
    i32 1, label %.split694.us
  ], !llvm.loop !11

.split689.us:                                     ; preds = %.split687
  tail call void @__assert_fail(ptr noundef nonnull @.str.4, ptr noundef nonnull @.str.5, i32 noundef 2349, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE) #8
  unreachable

.split691.us:                                     ; preds = %.split687
  %93 = tail call noundef nonnull align 8 dereferenceable(25) ptr @_ZNK3HIR4Enum5Class8as_ValueEv(ptr noundef nonnull align 8 dereferenceable(40) %91)
  %94 = tail call noundef i64 @_ZNKSt6vectorIN3HIR4Enum12ValueVariantESaIS2_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %93) #9
  %95 = icmp eq i64 %94, 0
  br label %.thread442.thread483

.split694.us:                                     ; preds = %.split687
  %96 = tail call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3HIR4Enum5Class7as_DataEv(ptr noundef nonnull align 8 dereferenceable(40) %91)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %11) #9
  %97 = tail call ptr @_ZNKSt6vectorIN3HIR4Enum11DataVariantESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %96) #9
  store ptr %97, ptr %11, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %12) #9
  %98 = tail call ptr @_ZNKSt6vectorIN3HIR4Enum11DataVariantESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %96) #9
  store ptr %98, ptr %12, align 8
  %99 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3HIR4Enum11DataVariantESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %11, ptr noundef nonnull align 8 dereferenceable(8) %12) #9
  br i1 %99, label %.lr.ph698, label %._crit_edge699

.lr.ph698:                                        ; preds = %.split694.us, %114
  %100 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3HIR4Enum11DataVariantESt6vectorIS3_SaIS3_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %11) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %13) #9
  call void @_ZN3HIR7TypeRefC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %13)
  call void @llvm.lifetime.start.p0(i64 128, ptr nonnull %14) #9
  invoke void @_ZN17MonomorphStatePtrC2EPKN3HIR7TypeRefEPKNS0_10PathParamsES6_S6_S6_(ptr noundef nonnull align 8 dereferenceable(128) %14, ptr noundef null, ptr noundef nonnull %89, ptr noundef null, ptr noundef null, ptr noundef null)
          to label %101 unwind label %107

101:                                              ; preds = %.lr.ph698
  %102 = getelementptr inbounds i8, ptr %100, i64 16
  %103 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK18StaticTraitResolve20monomorph_expand_optERK4SpanRN3HIR7TypeRefERKS4_RK13Monomorphiser(ptr noundef nonnull align 8 dereferenceable(424) %0, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(8) %13, ptr noundef nonnull align 8 dereferenceable(8) %102, ptr noundef nonnull align 8 dereferenceable(96) %14)
          to label %104 unwind label %109

104:                                              ; preds = %101
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(128) %14) #9
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %14) #9
  %105 = invoke noundef zeroext i1 @_ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %0, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(8) %103)
          to label %106 unwind label %112

106:                                              ; preds = %104
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %13) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #9
  br i1 %105, label %114, label %118

107:                                              ; preds = %.lr.ph698
  %108 = landingpad { ptr, i32 }
          cleanup
  br label %111

109:                                              ; preds = %101
  %110 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(128) %14) #9
  br label %111

111:                                              ; preds = %109, %107
  %.pn361 = phi { ptr, i32 } [ %110, %109 ], [ %108, %107 ]
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %14) #9
  br label %117

112:                                              ; preds = %104
  %113 = landingpad { ptr, i32 }
          cleanup
  br label %117

114:                                              ; preds = %106
  %115 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3HIR4Enum11DataVariantESt6vectorIS3_SaIS3_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %11) #9
  %116 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3HIR4Enum11DataVariantESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %11, ptr noundef nonnull align 8 dereferenceable(8) %12) #9
  br i1 %116, label %.lr.ph698, label %._crit_edge699

117:                                              ; preds = %112, %111
  %.pn363 = phi { ptr, i32 } [ %113, %112 ], [ %.pn361, %111 ]
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %13) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #9
  br label %139

._crit_edge699:                                   ; preds = %114, %.split694.us
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #9
  br label %.thread442.thread483

118:                                              ; preds = %106
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #9
  br label %.thread442.thread483

.thread411:                                       ; preds = %.split687
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %15) #9
  store ptr @__func__._ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE, ptr %15, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %16) #9
  call void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %16, ptr noundef nonnull align 8 dereferenceable(8) %1)
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %18) #9
  store ptr %15, ptr %18, align 8, !tbaa !5
  %119 = getelementptr inbounds i8, ptr %18, i64 8
  store ptr %.tr716, ptr %119, align 8, !tbaa !5
  call void @"_ZNSt8functionIFvRSoEEC2IZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefEE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %17, ptr noundef nonnull align 8 dereferenceable(16) %18) #9
  invoke void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %16, ptr noundef nonnull %17)
          to label %120 unwind label %123

120:                                              ; preds = %.thread411
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %17) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %18) #9
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %16) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %16) #9
  %121 = call ptr @__cxa_allocate_exception(i64 16) #9
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %121, ptr noundef nonnull @.str.3)
          to label %122 unwind label %125

122:                                              ; preds = %120
  call void @__cxa_throw(ptr nonnull %121, ptr nonnull @_ZTISt13runtime_error, ptr nonnull @_ZNSt13runtime_errorD1Ev) #10
  unreachable

123:                                              ; preds = %.thread411
  %124 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %17) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %18) #9
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %16) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %16) #9
  br label %127

125:                                              ; preds = %120
  %126 = landingpad { ptr, i32 }
          cleanup
  call void @__cxa_free_exception(ptr %121) #9
  br label %127

127:                                              ; preds = %125, %123
  %.pn365 = phi { ptr, i32 } [ %126, %125 ], [ %124, %123 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %15) #9
  br label %139

.split609:                                        ; preds = %.lr.ph589.split
  %128 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR15TypePathBinding8as_UnionEv(ptr noundef nonnull align 8 dereferenceable(16) %31)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %19) #9
  store ptr @__func__._ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE, ptr %19, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %20) #9
  call void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %20, ptr noundef nonnull align 8 dereferenceable(8) %1)
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %22) #9
  store ptr %19, ptr %22, align 8, !tbaa !5
  %129 = getelementptr inbounds i8, ptr %22, i64 8
  store ptr %.tr716, ptr %129, align 8, !tbaa !5
  call void @"_ZNSt8functionIFvRSoEEC2IZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefEE3$_1vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %21, ptr noundef nonnull align 8 dereferenceable(16) %22) #9
  invoke void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %20, ptr noundef nonnull %21)
          to label %130 unwind label %133

130:                                              ; preds = %.split609
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %21) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %22) #9
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %20) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #9
  %131 = call ptr @__cxa_allocate_exception(i64 16) #9
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %131, ptr noundef nonnull @.str.3)
          to label %132 unwind label %135

132:                                              ; preds = %130
  call void @__cxa_throw(ptr nonnull %131, ptr nonnull @_ZTISt13runtime_error, ptr nonnull @_ZNSt13runtime_errorD1Ev) #10
  unreachable

133:                                              ; preds = %.split609
  %134 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %21) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %22) #9
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %20) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #9
  br label %137

135:                                              ; preds = %130
  %136 = landingpad { ptr, i32 }
          cleanup
  call void @__cxa_free_exception(ptr %131) #9
  br label %137

137:                                              ; preds = %135, %133
  %.pn = phi { ptr, i32 } [ %136, %135 ], [ %134, %133 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #9
  br label %139

.split612:                                        ; preds = %.lr.ph589.split
  %138 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR15TypePathBinding13as_ExternTypeEv(ptr noundef nonnull align 8 dereferenceable(16) %31)
  br label %.thread442.thread483

139:                                              ; preds = %117, %127, %63, %86, %137
  %.pn.pn = phi { ptr, i32 } [ %.pn, %137 ], [ %.pn370, %86 ], [ %.pn374, %63 ], [ %.pn365, %127 ], [ %.pn363, %117 ]
  resume { ptr, i32 } %.pn.pn

140:                                              ; preds = %tailrecurse
  %141 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK3HIR8TypeData9as_BorrowEv(ptr noundef nonnull align 8 dereferenceable(184) %25)
  %142 = getelementptr inbounds i8, ptr %141, i64 8
  br label %tailrecurse

143:                                              ; preds = %tailrecurse
  %144 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK3HIR8TypeData10as_PointerEv(ptr noundef nonnull align 8 dereferenceable(184) %25)
  br label %.thread442.thread483

145:                                              ; preds = %tailrecurse
  %146 = tail call noundef nonnull align 8 dereferenceable(144) ptr @_ZNK3HIR8TypeData11as_FunctionEv(ptr noundef nonnull align 8 dereferenceable(184) %25)
  br label %.thread442.thread483

147:                                              ; preds = %tailrecurse
  %148 = tail call noundef nonnull align 8 dereferenceable(40) ptr @_ZNK3HIR8TypeData8as_ArrayEv(ptr noundef nonnull align 8 dereferenceable(184) %25)
  br label %tailrecurse

149:                                              ; preds = %tailrecurse
  %150 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR8TypeData8as_SliceEv(ptr noundef nonnull align 8 dereferenceable(184) %25)
  br label %tailrecurse

151:                                              ; preds = %tailrecurse
  %152 = tail call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3HIR8TypeData8as_TupleEv(ptr noundef nonnull align 8 dereferenceable(184) %25)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %23) #9
  %153 = tail call ptr @_ZNKSt6vectorIN3HIR7TypeRefESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %152) #9
  store ptr %153, ptr %23, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %24) #9
  %154 = tail call ptr @_ZNKSt6vectorIN3HIR7TypeRefESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %152) #9
  store ptr %154, ptr %24, align 8
  %155 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESD_(ptr noundef nonnull align 8 dereferenceable(8) %23, ptr noundef nonnull align 8 dereferenceable(8) %24) #9
  br i1 %155, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %151, %158
  %156 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %23) #9
  %157 = call noundef zeroext i1 @_ZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %0, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(8) %156)
  br i1 %157, label %select.unfold440, label %158

158:                                              ; preds = %.lr.ph
  %159 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %23) #9
  %160 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESD_(ptr noundef nonnull align 8 dereferenceable(8) %23, ptr noundef nonnull align 8 dereferenceable(8) %24) #9
  br i1 %160, label %.lr.ph, label %._crit_edge

._crit_edge:                                      ; preds = %158, %151
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %24) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %23) #9
  br label %.thread442.thread483

select.unfold440:                                 ; preds = %.lr.ph
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %24) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %23) #9
  br label %.thread442.thread483

.thread442.thread483:                             ; preds = %.preheader.split, %.lr.ph589.split, %118, %._crit_edge699, %.split691.us, %._crit_edge702, %._crit_edge705, %.split612, %.split603, %.split600, %select.unfold388, %select.unfold, %.split513, %._crit_edge, %145, %143, %28, %tailrecurse, %select.unfold440
  %.87482 = phi i1 [ false, %._crit_edge ], [ true, %145 ], [ false, %143 ], [ true, %28 ], [ false, %tailrecurse ], [ true, %select.unfold440 ], [ false, %._crit_edge702 ], [ false, %._crit_edge705 ], [ false, %.split513 ], [ true, %select.unfold ], [ true, %select.unfold388 ], [ false, %.split600 ], [ false, %.split603 ], [ false, %.split612 ], [ false, %118 ], [ true, %._crit_edge699 ], [ %95, %.split691.us ], [ true, %.lr.ph589.split ], [ true, %.preheader.split ]
  ret i1 %.87482
}

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNK18StaticTraitResolve20monomorph_expand_optERK4SpanRN3HIR7TypeRefERKS4_RK13Monomorphiser(ptr noundef nonnull align 8 dereferenceable(424), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(96)) local_unnamed_addr #7 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK3HIR4Enum5Class3tagEv(ptr noundef nonnull align 8 dereferenceable(40)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(25) ptr @_ZNK3HIR4Enum5Class8as_ValueEv(ptr noundef nonnull align 8 dereferenceable(40)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZNKSt6vectorIN3HIR4Enum12ValueVariantESaIS2_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3HIR4Enum5Class7as_DataEv(ptr noundef nonnull align 8 dereferenceable(40)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @"_ZNSt8functionIFvRSoEEC2IZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefEE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @"_ZNSt8functionIFvRSoEEC2IZNK18StaticTraitResolve18type_is_impossibleERK4SpanRKN3HIR7TypeRefEE3$_1vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #2 align 2

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #7 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #8 = { noreturn nounwind }
attributes #9 = { nounwind }
attributes #10 = { noreturn }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}
!11 = distinct !{!11, !10}


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LCSSAPass,LICMPass,LoopInstSimplifyPass,LoopRotatePass,LoopSimplifyCFGPass,LoopSimplifyPass,LoopUnrollPass,SCCPPass,SROAPass,SimplifyCFGPass,TailCallElimPass