; LLVM IR from thepowersgang/mrustc :: src/hir_typeck/helpers.ll (ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE)

; 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"

%"struct.std::_Rb_tree_iterator" = type { ptr }
%"class.__gnu_cxx::__normal_iterator.162" = type { ptr }
%struct.Span = type { ptr }
%"class.std::function" = 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.167 = type { ptr }
%"class.__gnu_cxx::__normal_iterator.164" = type { ptr }
%"struct.HIR::TypeData::Data_Infer" = type { i32, i32 }
%"struct.HIR::TypeData_Path" = type { %"class.HIR::Path", %"class.HIR::TypePathBinding", %"class.std::unique_ptr.29" }
%"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.29" }
%"class.HIR::TypeRef" = type { 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.26, %class.ThinVector.27, %class.ThinVector.28 }
%class.ThinVector.26 = type { ptr }
%class.ThinVector.27 = type { ptr }
%class.ThinVector.28 = type { ptr }
%"class.HIR::TypePathBinding" = type { i32, %"union.HIR::TypePathBinding::DataUnion" }
%"union.HIR::TypePathBinding::DataUnion" = type { ptr }
%"class.std::unique_ptr.29" = type { %"struct.std::__uniq_ptr_data.30" }
%"struct.std::__uniq_ptr_data.30" = type { %"class.std::__uniq_ptr_impl.31" }
%"class.std::__uniq_ptr_impl.31" = type { %"class.std::tuple.32" }
%"class.std::tuple.32" = type { %"struct.std::_Tuple_impl.33" }
%"struct.std::_Tuple_impl.33" = type { %"struct.std::_Head_base.36" }
%"struct.std::_Head_base.36" = type { ptr }
%"struct.HIR::Path::Data::Data_UfcsUnknown" = type { %"class.HIR::TypeRef", %class.RcString, %"struct.HIR::PathParams" }
%"struct.HIR::Path::Data::Data_UfcsInherent" = type { %"class.HIR::TypeRef", %class.RcString, %"struct.HIR::PathParams", %"struct.HIR::PathParams" }
%"struct.HIR::TypeData_TraitObject" = type <{ %"class.HIR::TraitPath", %"class.std::vector.45", %"struct.HIR::LifetimeRef", [4 x i8] }>
%"class.HIR::TraitPath" = type { %"class.std::unique_ptr.29", %"class.HIR::GenericPath", %"class.std::map", %"class.std::map.40", ptr }
%"class.std::map" = type { %"class.std::_Rb_tree" }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitPath::AtyEqual>, std::_Select1st<std::pair<const RcString, HIR::TraitPath::AtyEqual>>, std::less<RcString>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitPath::AtyEqual>, std::_Select1st<std::pair<const RcString, HIR::TraitPath::AtyEqual>>, std::less<RcString>>::_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 }
%"class.std::map.40" = type { %"class.std::_Rb_tree.41" }
%"class.std::_Rb_tree.41" = type { %"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitPath::AtyBound>, std::_Select1st<std::pair<const RcString, HIR::TraitPath::AtyBound>>, std::less<RcString>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitPath::AtyBound>, std::_Select1st<std::pair<const RcString, HIR::TraitPath::AtyBound>>, std::less<RcString>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"class.std::vector.45" = type { %"struct.std::_Vector_base.46" }
%"struct.std::_Vector_base.46" = type { %"struct.std::_Vector_base<HIR::GenericPath, std::allocator<HIR::GenericPath>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::GenericPath, std::allocator<HIR::GenericPath>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::GenericPath, std::allocator<HIR::GenericPath>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::GenericPath, std::allocator<HIR::GenericPath>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.HIR::LifetimeRef" = type { i32 }
%"struct.std::pair.165" = type { %class.RcString, %"struct.HIR::TraitPath::AtyEqual" }
%"struct.HIR::TraitPath::AtyEqual" = type { %"class.HIR::GenericPath", %"class.HIR::TypeRef" }
%"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.16", [8 x i8] }
%"class.std::unique_ptr.16" = type { %"struct.std::__uniq_ptr_data.17" }
%"struct.std::__uniq_ptr_data.17" = type { %"class.std::__uniq_ptr_impl.18" }
%"class.std::__uniq_ptr_impl.18" = type { %"class.std::tuple.19" }
%"class.std::tuple.19" = type { %"struct.std::_Tuple_impl.20" }
%"struct.std::_Tuple_impl.20" = type { %"struct.std::_Head_base.23" }
%"struct.std::_Head_base.23" = type { ptr }
%"struct.HIR::TypeData::Data_Slice" = type { %"class.HIR::TypeRef" }
%"struct.HIR::TypeData::Data_Borrow" = type { %"struct.HIR::LifetimeRef", i32, %"class.HIR::TypeRef" }
%"struct.HIR::TypeData::Data_Pointer" = type { i32, %"class.HIR::TypeRef" }
%"struct.HIR::TypeData_FunctionPointer" = type { %"class.HIR::GenericParams", i8, i8, %class.RcString, %"class.HIR::TypeRef", %"class.std::vector.60" }
%"class.HIR::GenericParams" = type { %"class.std::vector.65", %"class.std::vector.70", %"class.std::vector.75", %"class.std::vector.80" }
%"class.std::vector.65" = type { %"struct.std::_Vector_base.66" }
%"struct.std::_Vector_base.66" = 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.70" = type { %"struct.std::_Vector_base.71" }
%"struct.std::_Vector_base.71" = 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.75" = type { %"struct.std::_Vector_base.76" }
%"struct.std::_Vector_base.76" = 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.80" = type { %"struct.std::_Vector_base.81" }
%"struct.std::_Vector_base.81" = 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.std::vector.60" = type { %"struct.std::_Vector_base.61" }
%"struct.std::_Vector_base.61" = type { %"struct.std::_Vector_base<HIR::TypeRef, std::allocator<HIR::TypeRef>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::TypeRef, std::allocator<HIR::TypeRef>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::TypeRef, std::allocator<HIR::TypeRef>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::TypeRef, std::allocator<HIR::TypeRef>>::_Vector_impl_data" = type { ptr, ptr, ptr }

@g_debug_indent_level = external global i32, align 4
@.str.7 = external hidden unnamed_addr constant [81 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [17 x i8], align 1
@_ZTISt13runtime_error = external constant ptr
@.str.13 = external hidden unnamed_addr constant [39 x i8], align 1
@__PRETTY_FUNCTION__._ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE = external hidden unnamed_addr constant [51 x i8], align 1
@__FUNCTION__._ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE = external hidden unnamed_addr constant [10 x i8], align 1
@.str.44 = external hidden unnamed_addr constant [10 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 noundef zeroext i1 @_Z13debug_enabledv() #1

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_7TypeRefE(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #1

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) #2

declare noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef, ptr noundef) #1

declare i32 @__gxx_personality_v0(...)

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) #3 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef nonnull align 8 dereferenceable(216) ptr @_ZSt3decRSt8ios_base(ptr noundef nonnull align 8 dereferenceable(216)) #2

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) #3 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_(ptr noundef nonnull align 8 dereferenceable(8)) #2

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

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

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

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

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

declare ptr @__cxa_allocate_exception(i64)

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

declare void @__cxa_free_exception(ptr)

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

declare void @__cxa_throw(ptr, ptr, ptr)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(49) %0, ptr noundef nonnull align 8 dereferenceable(8) %1) #3 align 2 personality ptr @__gxx_personality_v0 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca i8, align 1
  %6 = alloca i32, align 4
  %7 = alloca ptr, align 8
  %8 = alloca i8, align 1
  %9 = alloca ptr, align 8
  %10 = alloca i8, align 1
  %11 = alloca ptr, align 8
  %12 = alloca i8, align 1
  %13 = alloca ptr, align 8
  %14 = alloca i8, align 1
  %15 = alloca ptr, align 8
  %16 = alloca ptr, align 8
  %17 = alloca ptr, align 8
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  %20 = alloca i8, align 1
  %21 = alloca ptr, align 8
  %22 = alloca i8, align 1
  %23 = alloca ptr, align 8
  %24 = alloca ptr, align 8
  %25 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %26 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %27 = alloca ptr, align 8
  %28 = alloca ptr, align 8
  %29 = alloca %"class.__gnu_cxx::__normal_iterator.162", align 8
  %30 = alloca %"class.__gnu_cxx::__normal_iterator.162", align 8
  %31 = alloca ptr, align 8
  %32 = alloca i8, align 1
  %33 = alloca ptr, align 8
  %34 = alloca %struct.Span, align 8
  %35 = alloca %"class.std::function", align 8
  %36 = alloca %class.anon.167, align 8
  %37 = alloca ptr, align 8
  %38 = alloca i32, align 4
  %39 = alloca i8, align 1
  %40 = alloca ptr, align 8
  %41 = alloca i8, align 1
  %42 = alloca ptr, align 8
  %43 = alloca i8, align 1
  %44 = alloca ptr, align 8
  %45 = alloca ptr, align 8
  %46 = alloca %"class.__gnu_cxx::__normal_iterator.164", align 8
  %47 = alloca %"class.__gnu_cxx::__normal_iterator.164", align 8
  %48 = alloca ptr, align 8
  %49 = alloca i8, align 1
  %50 = alloca ptr, align 8
  %51 = alloca i8, align 1
  %52 = alloca ptr, align 8
  %53 = alloca i8, align 1
  %54 = alloca ptr, align 8
  %55 = alloca i8, align 1
  %56 = alloca ptr, align 8
  %57 = alloca ptr, align 8
  %58 = alloca %"class.__gnu_cxx::__normal_iterator.164", align 8
  %59 = alloca %"class.__gnu_cxx::__normal_iterator.164", align 8
  %60 = alloca ptr, align 8
  %61 = alloca i8, align 1
  %62 = alloca ptr, align 8
  %63 = alloca i8, align 1
  %64 = alloca ptr, align 8
  store ptr %0, ptr %3, align 8, !tbaa !5
  store ptr %1, ptr %4, align 8, !tbaa !5
  %65 = load ptr, ptr %3, align 8
  call void @llvm.lifetime.start.p0(i64 1, ptr %5) #8
  store i8 1, ptr %5, align 1, !tbaa !9
  br label %66

66:                                               ; preds = %558, %2
  %67 = load i8, ptr %5, align 1, !tbaa !9, !range !11, !noundef !12
  %68 = trunc i8 %67 to i1
  br i1 %68, label %70, label %69

69:                                               ; preds = %66
  store i32 2, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %5) #8
  br label %559

70:                                               ; preds = %66
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #8
  %71 = load ptr, ptr %4, align 8, !tbaa !5
  %72 = call noundef nonnull align 8 dereferenceable(184) ptr @_ZN3HIR7TypeRef8data_mutEv(ptr noundef nonnull align 8 dereferenceable(8) %71)
  store ptr %72, ptr %7, align 8, !tbaa !5
  br label %73

73:                                               ; preds = %556, %70
  %74 = load i8, ptr %5, align 1, !tbaa !9, !range !11, !noundef !12
  %75 = trunc i8 %74 to i1
  br i1 %75, label %77, label %76

76:                                               ; preds = %73
  store i32 5, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #8
  br label %557

77:                                               ; preds = %73
  %78 = load ptr, ptr %7, align 8, !tbaa !5
  %79 = call noundef i32 @_ZNK3HIR8TypeData3tagEv(ptr noundef nonnull align 8 dereferenceable(184) %78)
  switch i32 %79, label %555 [
    i32 0, label %80
    i32 1, label %81
    i32 2, label %124
    i32 3, label %142
    i32 4, label %160
    i32 5, label %225
    i32 6, label %243
    i32 7, label %303
    i32 8, label %342
    i32 9, label %370
    i32 10, label %390
    i32 11, label %424
    i32 12, label %444
    i32 13, label %464
    i32 14, label %482
    i32 15, label %519
    i32 16, label %537
  ]

80:                                               ; preds = %77
  call void @__assert_fail(ptr noundef @.str.13, ptr noundef @.str.7, i32 noundef 564, ptr noundef @__PRETTY_FUNCTION__._ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE) #9
  unreachable

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

82:                                               ; preds = %122, %81
  %83 = load i8, ptr %8, align 1, !tbaa !9, !range !11, !noundef !12
  %84 = trunc i8 %83 to i1
  br i1 %84, label %86, label %85

85:                                               ; preds = %82
  store i32 9, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %8) #8
  br label %123

86:                                               ; preds = %82
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #8
  %87 = load ptr, ptr %7, align 8, !tbaa !5
  %88 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZN3HIR8TypeData8as_InferEv(ptr noundef nonnull align 8 dereferenceable(184) %87)
  store ptr %88, ptr %9, align 8, !tbaa !5
  br label %89

89:                                               ; preds = %120, %86
  %90 = load ptr, ptr %9, align 8, !tbaa !5
  %91 = load i8, ptr %8, align 1, !tbaa !9, !range !11, !noundef !12
  %92 = trunc i8 %91 to i1
  br i1 %92, label %94, label %93

93:                                               ; preds = %89
  store i32 12, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #8
  br label %121

94:                                               ; preds = %89
  %95 = load ptr, ptr %9, align 8, !tbaa !5
  %96 = getelementptr inbounds %"struct.HIR::TypeData::Data_Infer", ptr %95, i32 0, i32 0
  %97 = load i32, ptr %96, align 4, !tbaa !13
  %98 = icmp eq i32 %97, -1
  br i1 %98, label %99, label %119

99:                                               ; preds = %94
  %100 = load ptr, ptr %9, align 8, !tbaa !5
  %101 = getelementptr inbounds %"struct.HIR::TypeData::Data_Infer", ptr %100, i32 0, i32 1
  %102 = load i32, ptr %101, align 4, !tbaa !17
  %103 = call noundef i32 @_ZN16HMTypeInferrence8new_ivarEN3HIR10InferClassE(ptr noundef nonnull align 8 dereferenceable(49) %65, i32 noundef %102)
  %104 = load ptr, ptr %9, align 8, !tbaa !5
  %105 = getelementptr inbounds %"struct.HIR::TypeData::Data_Infer", ptr %104, i32 0, i32 0
  store i32 %103, ptr %105, align 4, !tbaa !13
  call void @_ZN16HMTypeInferrence11mark_changeEv(ptr noundef nonnull align 8 dereferenceable(49) %65)
  br label %106

106:                                              ; preds = %99
  %107 = call noundef zeroext i1 @_Z13debug_enabledv()
  br i1 %107, label %108, label %116

108:                                              ; preds = %106
  %109 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !18
  %110 = call noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %109, ptr noundef @__FUNCTION__._ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE)
  %111 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %110, ptr noundef @.str.44)
  %112 = load ptr, ptr %4, align 8, !tbaa !5
  %113 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_7TypeRefE(ptr noundef nonnull align 8 dereferenceable(8) %111, ptr noundef nonnull align 8 dereferenceable(8) %112)
  %114 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %113, ptr noundef @_ZSt3decRSt8ios_base)
  %115 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %114, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  br label %116

116:                                              ; preds = %108, %106
  br label %117

117:                                              ; preds = %116
  br label %118

118:                                              ; preds = %117
  br label %119

119:                                              ; preds = %118, %94
  br label %120

120:                                              ; preds = %119
  store i8 0, ptr %8, align 1, !tbaa !9
  br label %89, !llvm.loop !19

121:                                              ; preds = %93
  br label %122

122:                                              ; preds = %121
  store i8 0, ptr %8, align 1, !tbaa !9
  br label %82, !llvm.loop !21

123:                                              ; preds = %85
  br label %555

124:                                              ; preds = %77
  call void @llvm.lifetime.start.p0(i64 1, ptr %10) #8
  store i8 1, ptr %10, align 1, !tbaa !9
  br label %125

125:                                              ; preds = %140, %124
  %126 = load i8, ptr %10, align 1, !tbaa !9, !range !11, !noundef !12
  %127 = trunc i8 %126 to i1
  br i1 %127, label %129, label %128

128:                                              ; preds = %125
  store i32 17, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %10) #8
  br label %141

129:                                              ; preds = %125
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #8
  %130 = load ptr, ptr %7, align 8, !tbaa !5
  %131 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZN3HIR8TypeData10as_DivergeEv(ptr noundef nonnull align 8 dereferenceable(184) %130)
  store ptr %131, ptr %11, align 8, !tbaa !5
  br label %132

132:                                              ; preds = %138, %129
  %133 = load ptr, ptr %11, align 8, !tbaa !5
  %134 = load i8, ptr %10, align 1, !tbaa !9, !range !11, !noundef !12
  %135 = trunc i8 %134 to i1
  br i1 %135, label %137, label %136

136:                                              ; preds = %132
  store i32 20, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #8
  br label %139

137:                                              ; preds = %132
  br label %138

138:                                              ; preds = %137
  store i8 0, ptr %10, align 1, !tbaa !9
  br label %132, !llvm.loop !22

139:                                              ; preds = %136
  br label %140

140:                                              ; preds = %139
  store i8 0, ptr %10, align 1, !tbaa !9
  br label %125, !llvm.loop !23

141:                                              ; preds = %128
  br label %555

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

143:                                              ; preds = %158, %142
  %144 = load i8, ptr %12, align 1, !tbaa !9, !range !11, !noundef !12
  %145 = trunc i8 %144 to i1
  br i1 %145, label %147, label %146

146:                                              ; preds = %143
  store i32 23, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %12) #8
  br label %159

147:                                              ; preds = %143
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #8
  %148 = load ptr, ptr %7, align 8, !tbaa !5
  %149 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZN3HIR8TypeData12as_PrimitiveEv(ptr noundef nonnull align 8 dereferenceable(184) %148)
  store ptr %149, ptr %13, align 8, !tbaa !5
  br label %150

150:                                              ; preds = %156, %147
  %151 = load ptr, ptr %13, align 8, !tbaa !5
  %152 = load i8, ptr %12, align 1, !tbaa !9, !range !11, !noundef !12
  %153 = trunc i8 %152 to i1
  br i1 %153, label %155, label %154

154:                                              ; preds = %150
  store i32 26, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #8
  br label %157

155:                                              ; preds = %150
  br label %156

156:                                              ; preds = %155
  store i8 0, ptr %12, align 1, !tbaa !9
  br label %150, !llvm.loop !24

157:                                              ; preds = %154
  br label %158

158:                                              ; preds = %157
  store i8 0, ptr %12, align 1, !tbaa !9
  br label %143, !llvm.loop !25

159:                                              ; preds = %146
  br label %555

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

161:                                              ; preds = %223, %160
  %162 = load i8, ptr %14, align 1, !tbaa !9, !range !11, !noundef !12
  %163 = trunc i8 %162 to i1
  br i1 %163, label %165, label %164

164:                                              ; preds = %161
  store i32 29, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %14) #8
  br label %224

165:                                              ; preds = %161
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #8
  %166 = load ptr, ptr %7, align 8, !tbaa !5
  %167 = call noundef nonnull align 8 dereferenceable(112) ptr @_ZN3HIR8TypeData7as_PathEv(ptr noundef nonnull align 8 dereferenceable(184) %166)
  store ptr %167, ptr %15, align 8, !tbaa !5
  br label %168

168:                                              ; preds = %221, %165
  %169 = load ptr, ptr %15, align 8, !tbaa !5
  %170 = load i8, ptr %14, align 1, !tbaa !9, !range !11, !noundef !12
  %171 = trunc i8 %170 to i1
  br i1 %171, label %173, label %172

172:                                              ; preds = %168
  store i32 32, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #8
  br label %222

173:                                              ; preds = %168
  %174 = load ptr, ptr %15, align 8, !tbaa !5
  %175 = getelementptr inbounds %"struct.HIR::TypeData_Path", ptr %174, i32 0, i32 0
  %176 = getelementptr inbounds %"class.HIR::Path", ptr %175, i32 0, i32 0
  %177 = call noundef i32 @_ZNK3HIR4Path4Data3tagEv(ptr noundef nonnull align 8 dereferenceable(88) %176)
  switch i32 %177, label %220 [
    i32 0, label %178
    i32 1, label %179
    i32 3, label %187
    i32 4, label %200
    i32 2, label %210
  ]

178:                                              ; preds = %173
  call void @__assert_fail(ptr noundef @.str.13, ptr noundef @.str.7, i32 noundef 595, ptr noundef @__PRETTY_FUNCTION__._ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE) #9
  unreachable

179:                                              ; preds = %173
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #8
  %180 = load ptr, ptr %15, align 8, !tbaa !5
  %181 = getelementptr inbounds %"struct.HIR::TypeData_Path", ptr %180, i32 0, i32 0
  %182 = getelementptr inbounds %"class.HIR::Path", ptr %181, i32 0, i32 0
  %183 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZN3HIR4Path4Data10as_GenericEv(ptr noundef nonnull align 8 dereferenceable(88) %182)
  store ptr %183, ptr %16, align 8, !tbaa !5
  %184 = load ptr, ptr %16, align 8, !tbaa !5
  %185 = load ptr, ptr %16, align 8, !tbaa !5
  %186 = getelementptr inbounds %"class.HIR::GenericPath", ptr %185, i32 0, i32 1
  call void @_ZN16HMTypeInferrence16add_ivars_paramsERN3HIR10PathParamsE(ptr noundef nonnull align 8 dereferenceable(49) %65, ptr noundef nonnull align 8 dereferenceable(24) %186)
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #8
  br label %220

187:                                              ; preds = %173
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #8
  %188 = load ptr, ptr %15, align 8, !tbaa !5
  %189 = getelementptr inbounds %"struct.HIR::TypeData_Path", ptr %188, i32 0, i32 0
  %190 = getelementptr inbounds %"class.HIR::Path", ptr %189, i32 0, i32 0
  %191 = call noundef nonnull align 8 dereferenceable(80) ptr @_ZN3HIR4Path4Data12as_UfcsKnownEv(ptr noundef nonnull align 8 dereferenceable(88) %190)
  store ptr %191, ptr %17, align 8, !tbaa !5
  %192 = load ptr, ptr %17, align 8, !tbaa !5
  %193 = load ptr, ptr %17, align 8, !tbaa !5
  %194 = getelementptr inbounds %"struct.HIR::Path::Data::Data_UfcsKnown", ptr %193, i32 0, i32 0
  call void @_ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(49) %65, ptr noundef nonnull align 8 dereferenceable(8) %194)
  %195 = load ptr, ptr %17, align 8, !tbaa !5
  %196 = getelementptr inbounds %"struct.HIR::Path::Data::Data_UfcsKnown", ptr %195, i32 0, i32 1
  %197 = getelementptr inbounds %"class.HIR::GenericPath", ptr %196, i32 0, i32 1
  call void @_ZN16HMTypeInferrence16add_ivars_paramsERN3HIR10PathParamsE(ptr noundef nonnull align 8 dereferenceable(49) %65, ptr noundef nonnull align 8 dereferenceable(24) %197)
  %198 = load ptr, ptr %17, align 8, !tbaa !5
  %199 = getelementptr inbounds %"struct.HIR::Path::Data::Data_UfcsKnown", ptr %198, i32 0, i32 3
  call void @_ZN16HMTypeInferrence16add_ivars_paramsERN3HIR10PathParamsE(ptr noundef nonnull align 8 dereferenceable(49) %65, ptr noundef nonnull align 8 dereferenceable(24) %199)
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #8
  br label %220

200:                                              ; preds = %173
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #8
  %201 = load ptr, ptr %15, align 8, !tbaa !5
  %202 = getelementptr inbounds %"struct.HIR::TypeData_Path", ptr %201, i32 0, i32 0
  %203 = getelementptr inbounds %"class.HIR::Path", ptr %202, i32 0, i32 0
  %204 = call noundef nonnull align 8 dereferenceable(40) ptr @_ZN3HIR4Path4Data14as_UfcsUnknownEv(ptr noundef nonnull align 8 dereferenceable(88) %203)
  store ptr %204, ptr %18, align 8, !tbaa !5
  %205 = load ptr, ptr %18, align 8, !tbaa !5
  %206 = load ptr, ptr %18, align 8, !tbaa !5
  %207 = getelementptr inbounds %"struct.HIR::Path::Data::Data_UfcsUnknown", ptr %206, i32 0, i32 0
  call void @_ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(49) %65, ptr noundef nonnull align 8 dereferenceable(8) %207)
  %208 = load ptr, ptr %18, align 8, !tbaa !5
  %209 = getelementptr inbounds %"struct.HIR::Path::Data::Data_UfcsUnknown", ptr %208, i32 0, i32 2
  call void @_ZN16HMTypeInferrence16add_ivars_paramsERN3HIR10PathParamsE(ptr noundef nonnull align 8 dereferenceable(49) %65, ptr noundef nonnull align 8 dereferenceable(24) %209)
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #8
  br label %220

210:                                              ; preds = %173
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #8
  %211 = load ptr, ptr %15, align 8, !tbaa !5
  %212 = getelementptr inbounds %"struct.HIR::TypeData_Path", ptr %211, i32 0, i32 0
  %213 = getelementptr inbounds %"class.HIR::Path", ptr %212, i32 0, i32 0
  %214 = call noundef nonnull align 8 dereferenceable(64) ptr @_ZN3HIR4Path4Data15as_UfcsInherentEv(ptr noundef nonnull align 8 dereferenceable(88) %213)
  store ptr %214, ptr %19, align 8, !tbaa !5
  %215 = load ptr, ptr %19, align 8, !tbaa !5
  %216 = load ptr, ptr %19, align 8, !tbaa !5
  %217 = getelementptr inbounds %"struct.HIR::Path::Data::Data_UfcsInherent", ptr %216, i32 0, i32 0
  call void @_ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(49) %65, ptr noundef nonnull align 8 dereferenceable(8) %217)
  %218 = load ptr, ptr %19, align 8, !tbaa !5
  %219 = getelementptr inbounds %"struct.HIR::Path::Data::Data_UfcsInherent", ptr %218, i32 0, i32 2
  call void @_ZN16HMTypeInferrence16add_ivars_paramsERN3HIR10PathParamsE(ptr noundef nonnull align 8 dereferenceable(49) %65, ptr noundef nonnull align 8 dereferenceable(24) %219)
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #8
  br label %220

220:                                              ; preds = %210, %200, %187, %179, %173
  br label %221

221:                                              ; preds = %220
  store i8 0, ptr %14, align 1, !tbaa !9
  br label %168, !llvm.loop !26

222:                                              ; preds = %172
  br label %223

223:                                              ; preds = %222
  store i8 0, ptr %14, align 1, !tbaa !9
  br label %161, !llvm.loop !27

224:                                              ; preds = %164
  br label %555

225:                                              ; preds = %77
  call void @llvm.lifetime.start.p0(i64 1, ptr %20) #8
  store i8 1, ptr %20, align 1, !tbaa !9
  br label %226

226:                                              ; preds = %241, %225
  %227 = load i8, ptr %20, align 1, !tbaa !9, !range !11, !noundef !12
  %228 = trunc i8 %227 to i1
  br i1 %228, label %230, label %229

229:                                              ; preds = %226
  store i32 36, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %20) #8
  br label %242

230:                                              ; preds = %226
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #8
  %231 = load ptr, ptr %7, align 8, !tbaa !5
  %232 = call noundef nonnull align 8 dereferenceable(12) ptr @_ZN3HIR8TypeData10as_GenericEv(ptr noundef nonnull align 8 dereferenceable(184) %231)
  store ptr %232, ptr %21, align 8, !tbaa !5
  br label %233

233:                                              ; preds = %239, %230
  %234 = load ptr, ptr %21, align 8, !tbaa !5
  %235 = load i8, ptr %20, align 1, !tbaa !9, !range !11, !noundef !12
  %236 = trunc i8 %235 to i1
  br i1 %236, label %238, label %237

237:                                              ; preds = %233
  store i32 39, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #8
  br label %240

238:                                              ; preds = %233
  br label %239

239:                                              ; preds = %238
  store i8 0, ptr %20, align 1, !tbaa !9
  br label %233, !llvm.loop !28

240:                                              ; preds = %237
  br label %241

241:                                              ; preds = %240
  store i8 0, ptr %20, align 1, !tbaa !9
  br label %226, !llvm.loop !29

242:                                              ; preds = %229
  br label %555

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

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

247:                                              ; preds = %244
  store i32 42, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %22) #8
  br label %302

248:                                              ; preds = %244
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #8
  %249 = load ptr, ptr %7, align 8, !tbaa !5
  %250 = call noundef nonnull align 8 dereferenceable(172) ptr @_ZN3HIR8TypeData14as_TraitObjectEv(ptr noundef nonnull align 8 dereferenceable(184) %249)
  store ptr %250, ptr %23, align 8, !tbaa !5
  br label %251

251:                                              ; preds = %299, %248
  %252 = load ptr, ptr %23, align 8, !tbaa !5
  %253 = load i8, ptr %22, align 1, !tbaa !9, !range !11, !noundef !12
  %254 = trunc i8 %253 to i1
  br i1 %254, label %256, label %255

255:                                              ; preds = %251
  store i32 45, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #8
  br label %300

256:                                              ; preds = %251
  %257 = load ptr, ptr %23, align 8, !tbaa !5
  %258 = getelementptr inbounds %"struct.HIR::TypeData_TraitObject", ptr %257, i32 0, i32 0
  %259 = getelementptr inbounds %"class.HIR::TraitPath", ptr %258, i32 0, i32 1
  %260 = getelementptr inbounds %"class.HIR::GenericPath", ptr %259, i32 0, i32 1
  call void @_ZN16HMTypeInferrence16add_ivars_paramsERN3HIR10PathParamsE(ptr noundef nonnull align 8 dereferenceable(49) %65, ptr noundef nonnull align 8 dereferenceable(24) %260)
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #8
  %261 = load ptr, ptr %23, align 8, !tbaa !5
  %262 = getelementptr inbounds %"struct.HIR::TypeData_TraitObject", ptr %261, i32 0, i32 0
  %263 = getelementptr inbounds %"class.HIR::TraitPath", ptr %262, i32 0, i32 2
  store ptr %263, ptr %24, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #8
  %264 = load ptr, ptr %24, align 8, !tbaa !5
  %265 = call ptr @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %264) #8
  %266 = getelementptr inbounds %"struct.std::_Rb_tree_iterator", ptr %25, i32 0, i32 0
  store ptr %265, ptr %266, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #8
  %267 = load ptr, ptr %24, align 8, !tbaa !5
  %268 = call ptr @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %267) #8
  %269 = getelementptr inbounds %"struct.std::_Rb_tree_iterator", ptr %26, i32 0, i32 0
  store ptr %268, ptr %269, align 8
  br label %270

270:                                              ; preds = %278, %256
  %271 = call noundef zeroext i1 @_ZStneRKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitPath8AtyEqualEEES9_(ptr noundef nonnull align 8 dereferenceable(8) %25, ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  br i1 %271, label %273, label %272

272:                                              ; preds = %270
  store i32 48, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #8
  br label %280

273:                                              ; preds = %270
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #8
  %274 = call noundef nonnull align 8 dereferenceable(48) ptr @_ZNKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitPath8AtyEqualEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #8
  store ptr %274, ptr %27, align 8, !tbaa !5
  %275 = load ptr, ptr %27, align 8, !tbaa !5
  %276 = getelementptr inbounds %"struct.std::pair.165", ptr %275, i32 0, i32 1
  %277 = getelementptr inbounds %"struct.HIR::TraitPath::AtyEqual", ptr %276, i32 0, i32 1
  call void @_ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(49) %65, ptr noundef nonnull align 8 dereferenceable(8) %277)
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #8
  br label %278

278:                                              ; preds = %273
  %279 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitPath8AtyEqualEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #8
  br label %270

280:                                              ; preds = %272
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #8
  %281 = load ptr, ptr %23, align 8, !tbaa !5
  %282 = getelementptr inbounds %"struct.HIR::TypeData_TraitObject", ptr %281, i32 0, i32 1
  store ptr %282, ptr %28, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #8
  %283 = load ptr, ptr %28, align 8, !tbaa !5
  %284 = call ptr @_ZNSt6vectorIN3HIR11GenericPathESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %283) #8
  %285 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.162", ptr %29, i32 0, i32 0
  store ptr %284, ptr %285, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #8
  %286 = load ptr, ptr %28, align 8, !tbaa !5
  %287 = call ptr @_ZNSt6vectorIN3HIR11GenericPathESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %286) #8
  %288 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.162", ptr %30, i32 0, i32 0
  store ptr %287, ptr %288, align 8
  br label %289

289:                                              ; preds = %296, %280
  %290 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3HIR11GenericPathESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %29, ptr noundef nonnull align 8 dereferenceable(8) %30) #8
  br i1 %290, label %292, label %291

291:                                              ; preds = %289
  store i32 50, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #8
  br label %298

292:                                              ; preds = %289
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #8
  %293 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3HIR11GenericPathESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %29) #8
  store ptr %293, ptr %31, align 8, !tbaa !5
  %294 = load ptr, ptr %31, align 8, !tbaa !5
  %295 = getelementptr inbounds %"class.HIR::GenericPath", ptr %294, i32 0, i32 1
  call void @_ZN16HMTypeInferrence16add_ivars_paramsERN3HIR10PathParamsE(ptr noundef nonnull align 8 dereferenceable(49) %65, ptr noundef nonnull align 8 dereferenceable(24) %295)
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #8
  br label %296

296:                                              ; preds = %292
  %297 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3HIR11GenericPathESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %29) #8
  br label %289

298:                                              ; preds = %291
  br label %299

299:                                              ; preds = %298
  store i8 0, ptr %22, align 1, !tbaa !9
  br label %251, !llvm.loop !30

300:                                              ; preds = %255
  br label %301

301:                                              ; preds = %300
  store i8 0, ptr %22, align 1, !tbaa !9
  br label %244, !llvm.loop !31

302:                                              ; preds = %247
  br label %555

303:                                              ; preds = %77
  call void @llvm.lifetime.start.p0(i64 1, ptr %32) #8
  store i8 1, ptr %32, align 1, !tbaa !9
  br label %304

304:                                              ; preds = %340, %303
  %305 = load i8, ptr %32, align 1, !tbaa !9, !range !11, !noundef !12
  %306 = trunc i8 %305 to i1
  br i1 %306, label %308, label %307

307:                                              ; preds = %304
  store i32 52, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %32) #8
  br label %341

308:                                              ; preds = %304
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #8
  %309 = load ptr, ptr %7, align 8, !tbaa !5
  %310 = call noundef nonnull align 8 dereferenceable(160) ptr @_ZN3HIR8TypeData13as_ErasedTypeEv(ptr noundef nonnull align 8 dereferenceable(184) %309)
  store ptr %310, ptr %33, align 8, !tbaa !5
  br label %311

311:                                              ; preds = %337, %308
  %312 = load ptr, ptr %33, align 8, !tbaa !5
  %313 = load i8, ptr %32, align 1, !tbaa !9, !range !11, !noundef !12
  %314 = trunc i8 %313 to i1
  br i1 %314, label %316, label %315

315:                                              ; preds = %311
  store i32 55, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #8
  br label %339

316:                                              ; preds = %311
  %317 = load ptr, ptr %4, align 8, !tbaa !5
  %318 = call noundef zeroext i1 @_ZNK16HMTypeInferrence19type_contains_ivarsERKN3HIR7TypeRefEb(ptr noundef nonnull align 8 dereferenceable(49) %65, ptr noundef nonnull align 8 dereferenceable(8) %317, i1 noundef zeroext true)
  br i1 %318, label %319, label %336

319:                                              ; preds = %316
  br label %320

320:                                              ; preds = %319
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #8
  call void @_ZN4SpanC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %34)
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #8
  %321 = getelementptr inbounds %class.anon.167, ptr %36, i32 0, i32 0
  %322 = load ptr, ptr %4, align 8, !tbaa !5
  store ptr %322, ptr %321, align 8, !tbaa !5
  call void @"_ZNSt8functionIFvRSoEEC2IZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefEE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %35, ptr noundef nonnull align 8 dereferenceable(8) %36) #8
  invoke void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %34, ptr noundef %35)
          to label %323 unwind label %326

323:                                              ; preds = %320
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %35) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %34) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #8
  %324 = call ptr @__cxa_allocate_exception(i64 16) #8
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %324, ptr noundef @.str.8)
          to label %325 unwind label %330

325:                                              ; preds = %323
  call void @__cxa_throw(ptr %324, ptr @_ZTISt13runtime_error, ptr @_ZNSt13runtime_errorD1Ev) #10
  unreachable

326:                                              ; preds = %320
  %327 = landingpad { ptr, i32 }
          cleanup
  %328 = extractvalue { ptr, i32 } %327, 0
  store ptr %328, ptr %37, align 8
  %329 = extractvalue { ptr, i32 } %327, 1
  store i32 %329, ptr %38, align 4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %35) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %34) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #8
  br label %338

330:                                              ; preds = %323
  %331 = landingpad { ptr, i32 }
          cleanup
  %332 = extractvalue { ptr, i32 } %331, 0
  store ptr %332, ptr %37, align 8
  %333 = extractvalue { ptr, i32 } %331, 1
  store i32 %333, ptr %38, align 4
  call void @__cxa_free_exception(ptr %324) #8
  br label %338

334:                                              ; No predecessors!
  br label %335

335:                                              ; preds = %334
  br label %336

336:                                              ; preds = %335, %316
  br label %337

337:                                              ; preds = %336
  store i8 0, ptr %32, align 1, !tbaa !9
  br label %311, !llvm.loop !32

338:                                              ; preds = %330, %326
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %32) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %5) #8
  br label %560

339:                                              ; preds = %315
  br label %340

340:                                              ; preds = %339
  store i8 0, ptr %32, align 1, !tbaa !9
  br label %304, !llvm.loop !33

341:                                              ; preds = %307
  br label %555

342:                                              ; preds = %77
  call void @llvm.lifetime.start.p0(i64 1, ptr %39) #8
  store i8 1, ptr %39, align 1, !tbaa !9
  br label %343

343:                                              ; preds = %368, %342
  %344 = load i8, ptr %39, align 1, !tbaa !9, !range !11, !noundef !12
  %345 = trunc i8 %344 to i1
  br i1 %345, label %347, label %346

346:                                              ; preds = %343
  store i32 60, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %39) #8
  br label %369

347:                                              ; preds = %343
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #8
  %348 = load ptr, ptr %7, align 8, !tbaa !5
  %349 = call noundef nonnull align 8 dereferenceable(40) ptr @_ZN3HIR8TypeData8as_ArrayEv(ptr noundef nonnull align 8 dereferenceable(184) %348)
  store ptr %349, ptr %40, align 8, !tbaa !5
  br label %350

350:                                              ; preds = %366, %347
  %351 = load ptr, ptr %40, align 8, !tbaa !5
  %352 = load i8, ptr %39, align 1, !tbaa !9, !range !11, !noundef !12
  %353 = trunc i8 %352 to i1
  br i1 %353, label %355, label %354

354:                                              ; preds = %350
  store i32 63, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #8
  br label %367

355:                                              ; preds = %350
  %356 = load ptr, ptr %40, align 8, !tbaa !5
  %357 = getelementptr inbounds %"struct.HIR::TypeData::Data_Array", ptr %356, i32 0, i32 0
  call void @_ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(49) %65, ptr noundef nonnull align 8 dereferenceable(8) %357)
  %358 = load ptr, ptr %40, align 8, !tbaa !5
  %359 = getelementptr inbounds %"struct.HIR::TypeData::Data_Array", ptr %358, i32 0, i32 1
  %360 = call noundef zeroext i1 @_ZNK3HIR9ArraySize14is_UnevaluatedEv(ptr noundef nonnull align 8 dereferenceable(32) %359)
  br i1 %360, label %361, label %365

361:                                              ; preds = %355
  %362 = load ptr, ptr %40, align 8, !tbaa !5
  %363 = getelementptr inbounds %"struct.HIR::TypeData::Data_Array", ptr %362, i32 0, i32 1
  %364 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZN3HIR9ArraySize14as_UnevaluatedEv(ptr noundef nonnull align 8 dereferenceable(32) %363)
  call void @_ZN16HMTypeInferrence9add_ivarsERN3HIR12ConstGenericE(ptr noundef nonnull align 8 dereferenceable(49) %65, ptr noundef nonnull align 8 dereferenceable(24) %364)
  br label %365

365:                                              ; preds = %361, %355
  br label %366

366:                                              ; preds = %365
  store i8 0, ptr %39, align 1, !tbaa !9
  br label %350, !llvm.loop !34

367:                                              ; preds = %354
  br label %368

368:                                              ; preds = %367
  store i8 0, ptr %39, align 1, !tbaa !9
  br label %343, !llvm.loop !35

369:                                              ; preds = %346
  br label %555

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

371:                                              ; preds = %388, %370
  %372 = load i8, ptr %41, align 1, !tbaa !9, !range !11, !noundef !12
  %373 = trunc i8 %372 to i1
  br i1 %373, label %375, label %374

374:                                              ; preds = %371
  store i32 66, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %41) #8
  br label %389

375:                                              ; preds = %371
  call void @llvm.lifetime.start.p0(i64 8, ptr %42) #8
  %376 = load ptr, ptr %7, align 8, !tbaa !5
  %377 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIR8TypeData8as_SliceEv(ptr noundef nonnull align 8 dereferenceable(184) %376)
  store ptr %377, ptr %42, align 8, !tbaa !5
  br label %378

378:                                              ; preds = %386, %375
  %379 = load ptr, ptr %42, align 8, !tbaa !5
  %380 = load i8, ptr %41, align 1, !tbaa !9, !range !11, !noundef !12
  %381 = trunc i8 %380 to i1
  br i1 %381, label %383, label %382

382:                                              ; preds = %378
  store i32 69, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #8
  br label %387

383:                                              ; preds = %378
  %384 = load ptr, ptr %42, align 8, !tbaa !5
  %385 = getelementptr inbounds %"struct.HIR::TypeData::Data_Slice", ptr %384, i32 0, i32 0
  call void @_ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(49) %65, ptr noundef nonnull align 8 dereferenceable(8) %385)
  br label %386

386:                                              ; preds = %383
  store i8 0, ptr %41, align 1, !tbaa !9
  br label %378, !llvm.loop !36

387:                                              ; preds = %382
  br label %388

388:                                              ; preds = %387
  store i8 0, ptr %41, align 1, !tbaa !9
  br label %371, !llvm.loop !37

389:                                              ; preds = %374
  br label %555

390:                                              ; preds = %77
  call void @llvm.lifetime.start.p0(i64 1, ptr %43) #8
  store i8 1, ptr %43, align 1, !tbaa !9
  br label %391

391:                                              ; preds = %422, %390
  %392 = load i8, ptr %43, align 1, !tbaa !9, !range !11, !noundef !12
  %393 = trunc i8 %392 to i1
  br i1 %393, label %395, label %394

394:                                              ; preds = %391
  store i32 72, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %43) #8
  br label %423

395:                                              ; preds = %391
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #8
  %396 = load ptr, ptr %7, align 8, !tbaa !5
  %397 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZN3HIR8TypeData8as_TupleEv(ptr noundef nonnull align 8 dereferenceable(184) %396)
  store ptr %397, ptr %44, align 8, !tbaa !5
  br label %398

398:                                              ; preds = %420, %395
  %399 = load ptr, ptr %44, align 8, !tbaa !5
  %400 = load i8, ptr %43, align 1, !tbaa !9, !range !11, !noundef !12
  %401 = trunc i8 %400 to i1
  br i1 %401, label %403, label %402

402:                                              ; preds = %398
  store i32 75, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #8
  br label %421

403:                                              ; preds = %398
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #8
  %404 = load ptr, ptr %44, align 8, !tbaa !5
  store ptr %404, ptr %45, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %46) #8
  %405 = load ptr, ptr %45, align 8, !tbaa !5
  %406 = call ptr @_ZNSt6vectorIN3HIR7TypeRefESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %405) #8
  %407 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.164", ptr %46, i32 0, i32 0
  store ptr %406, ptr %407, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #8
  %408 = load ptr, ptr %45, align 8, !tbaa !5
  %409 = call ptr @_ZNSt6vectorIN3HIR7TypeRefESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %408) #8
  %410 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.164", ptr %47, i32 0, i32 0
  store ptr %409, ptr %410, align 8
  br label %411

411:                                              ; preds = %417, %403
  %412 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %46, ptr noundef nonnull align 8 dereferenceable(8) %47) #8
  br i1 %412, label %414, label %413

413:                                              ; preds = %411
  store i32 78, ptr %6, align 4
  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
  br label %419

414:                                              ; preds = %411
  call void @llvm.lifetime.start.p0(i64 8, ptr %48) #8
  %415 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %46) #8
  store ptr %415, ptr %48, align 8, !tbaa !5
  %416 = load ptr, ptr %48, align 8, !tbaa !5
  call void @_ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(49) %65, ptr noundef nonnull align 8 dereferenceable(8) %416)
  call void @llvm.lifetime.end.p0(i64 8, ptr %48) #8
  br label %417

417:                                              ; preds = %414
  %418 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %46) #8
  br label %411

419:                                              ; preds = %413
  br label %420

420:                                              ; preds = %419
  store i8 0, ptr %43, align 1, !tbaa !9
  br label %398, !llvm.loop !38

421:                                              ; preds = %402
  br label %422

422:                                              ; preds = %421
  store i8 0, ptr %43, align 1, !tbaa !9
  br label %391, !llvm.loop !39

423:                                              ; preds = %394
  br label %555

424:                                              ; preds = %77
  call void @llvm.lifetime.start.p0(i64 1, ptr %49) #8
  store i8 1, ptr %49, align 1, !tbaa !9
  br label %425

425:                                              ; preds = %442, %424
  %426 = load i8, ptr %49, align 1, !tbaa !9, !range !11, !noundef !12
  %427 = trunc i8 %426 to i1
  br i1 %427, label %429, label %428

428:                                              ; preds = %425
  store i32 80, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %49) #8
  br label %443

429:                                              ; preds = %425
  call void @llvm.lifetime.start.p0(i64 8, ptr %50) #8
  %430 = load ptr, ptr %7, align 8, !tbaa !5
  %431 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN3HIR8TypeData9as_BorrowEv(ptr noundef nonnull align 8 dereferenceable(184) %430)
  store ptr %431, ptr %50, align 8, !tbaa !5
  br label %432

432:                                              ; preds = %440, %429
  %433 = load ptr, ptr %50, align 8, !tbaa !5
  %434 = load i8, ptr %49, align 1, !tbaa !9, !range !11, !noundef !12
  %435 = trunc i8 %434 to i1
  br i1 %435, label %437, label %436

436:                                              ; preds = %432
  store i32 83, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %50) #8
  br label %441

437:                                              ; preds = %432
  %438 = load ptr, ptr %50, align 8, !tbaa !5
  %439 = getelementptr inbounds %"struct.HIR::TypeData::Data_Borrow", ptr %438, i32 0, i32 2
  call void @_ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(49) %65, ptr noundef nonnull align 8 dereferenceable(8) %439)
  br label %440

440:                                              ; preds = %437
  store i8 0, ptr %49, align 1, !tbaa !9
  br label %432, !llvm.loop !40

441:                                              ; preds = %436
  br label %442

442:                                              ; preds = %441
  store i8 0, ptr %49, align 1, !tbaa !9
  br label %425, !llvm.loop !41

443:                                              ; preds = %428
  br label %555

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

445:                                              ; preds = %462, %444
  %446 = load i8, ptr %51, align 1, !tbaa !9, !range !11, !noundef !12
  %447 = trunc i8 %446 to i1
  br i1 %447, label %449, label %448

448:                                              ; preds = %445
  store i32 86, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %51) #8
  br label %463

449:                                              ; preds = %445
  call void @llvm.lifetime.start.p0(i64 8, ptr %52) #8
  %450 = load ptr, ptr %7, align 8, !tbaa !5
  %451 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN3HIR8TypeData10as_PointerEv(ptr noundef nonnull align 8 dereferenceable(184) %450)
  store ptr %451, ptr %52, align 8, !tbaa !5
  br label %452

452:                                              ; preds = %460, %449
  %453 = load ptr, ptr %52, align 8, !tbaa !5
  %454 = load i8, ptr %51, align 1, !tbaa !9, !range !11, !noundef !12
  %455 = trunc i8 %454 to i1
  br i1 %455, label %457, label %456

456:                                              ; preds = %452
  store i32 89, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %52) #8
  br label %461

457:                                              ; preds = %452
  %458 = load ptr, ptr %52, align 8, !tbaa !5
  %459 = getelementptr inbounds %"struct.HIR::TypeData::Data_Pointer", ptr %458, i32 0, i32 1
  call void @_ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(49) %65, ptr noundef nonnull align 8 dereferenceable(8) %459)
  br label %460

460:                                              ; preds = %457
  store i8 0, ptr %51, align 1, !tbaa !9
  br label %452, !llvm.loop !42

461:                                              ; preds = %456
  br label %462

462:                                              ; preds = %461
  store i8 0, ptr %51, align 1, !tbaa !9
  br label %445, !llvm.loop !43

463:                                              ; preds = %448
  br label %555

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

465:                                              ; preds = %480, %464
  %466 = load i8, ptr %53, align 1, !tbaa !9, !range !11, !noundef !12
  %467 = trunc i8 %466 to i1
  br i1 %467, label %469, label %468

468:                                              ; preds = %465
  store i32 92, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %53) #8
  br label %481

469:                                              ; preds = %465
  call void @llvm.lifetime.start.p0(i64 8, ptr %54) #8
  %470 = load ptr, ptr %7, align 8, !tbaa !5
  %471 = call noundef nonnull align 8 dereferenceable(112) ptr @_ZN3HIR8TypeData16as_NamedFunctionEv(ptr noundef nonnull align 8 dereferenceable(184) %470)
  store ptr %471, ptr %54, align 8, !tbaa !5
  br label %472

472:                                              ; preds = %478, %469
  %473 = load ptr, ptr %54, align 8, !tbaa !5
  %474 = load i8, ptr %53, align 1, !tbaa !9, !range !11, !noundef !12
  %475 = trunc i8 %474 to i1
  br i1 %475, label %477, label %476

476:                                              ; preds = %472
  store i32 95, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %54) #8
  br label %479

477:                                              ; preds = %472
  br label %478

478:                                              ; preds = %477
  store i8 0, ptr %53, align 1, !tbaa !9
  br label %472, !llvm.loop !44

479:                                              ; preds = %476
  br label %480

480:                                              ; preds = %479
  store i8 0, ptr %53, align 1, !tbaa !9
  br label %465, !llvm.loop !45

481:                                              ; preds = %468
  br label %555

482:                                              ; preds = %77
  call void @llvm.lifetime.start.p0(i64 1, ptr %55) #8
  store i8 1, ptr %55, align 1, !tbaa !9
  br label %483

483:                                              ; preds = %517, %482
  %484 = load i8, ptr %55, align 1, !tbaa !9, !range !11, !noundef !12
  %485 = trunc i8 %484 to i1
  br i1 %485, label %487, label %486

486:                                              ; preds = %483
  store i32 98, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %55) #8
  br label %518

487:                                              ; preds = %483
  call void @llvm.lifetime.start.p0(i64 8, ptr %56) #8
  %488 = load ptr, ptr %7, align 8, !tbaa !5
  %489 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3HIR8TypeData11as_FunctionEv(ptr noundef nonnull align 8 dereferenceable(184) %488)
  store ptr %489, ptr %56, align 8, !tbaa !5
  br label %490

490:                                              ; preds = %515, %487
  %491 = load ptr, ptr %56, align 8, !tbaa !5
  %492 = load i8, ptr %55, align 1, !tbaa !9, !range !11, !noundef !12
  %493 = trunc i8 %492 to i1
  br i1 %493, label %495, label %494

494:                                              ; preds = %490
  store i32 101, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %56) #8
  br label %516

495:                                              ; preds = %490
  %496 = load ptr, ptr %56, align 8, !tbaa !5
  %497 = getelementptr inbounds %"struct.HIR::TypeData_FunctionPointer", ptr %496, i32 0, i32 4
  call void @_ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(49) %65, ptr noundef nonnull align 8 dereferenceable(8) %497)
  call void @llvm.lifetime.start.p0(i64 8, ptr %57) #8
  %498 = load ptr, ptr %56, align 8, !tbaa !5
  %499 = getelementptr inbounds %"struct.HIR::TypeData_FunctionPointer", ptr %498, i32 0, i32 5
  store ptr %499, ptr %57, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %58) #8
  %500 = load ptr, ptr %57, align 8, !tbaa !5
  %501 = call ptr @_ZNSt6vectorIN3HIR7TypeRefESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %500) #8
  %502 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.164", ptr %58, i32 0, i32 0
  store ptr %501, ptr %502, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %59) #8
  %503 = load ptr, ptr %57, align 8, !tbaa !5
  %504 = call ptr @_ZNSt6vectorIN3HIR7TypeRefESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %503) #8
  %505 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.164", ptr %59, i32 0, i32 0
  store ptr %504, ptr %505, align 8
  br label %506

506:                                              ; preds = %512, %495
  %507 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %58, ptr noundef nonnull align 8 dereferenceable(8) %59) #8
  br i1 %507, label %509, label %508

508:                                              ; preds = %506
  store i32 104, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %59) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %58) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %57) #8
  br label %514

509:                                              ; preds = %506
  call void @llvm.lifetime.start.p0(i64 8, ptr %60) #8
  %510 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %58) #8
  store ptr %510, ptr %60, align 8, !tbaa !5
  %511 = load ptr, ptr %60, align 8, !tbaa !5
  call void @_ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(49) %65, ptr noundef nonnull align 8 dereferenceable(8) %511)
  call void @llvm.lifetime.end.p0(i64 8, ptr %60) #8
  br label %512

512:                                              ; preds = %509
  %513 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %58) #8
  br label %506

514:                                              ; preds = %508
  br label %515

515:                                              ; preds = %514
  store i8 0, ptr %55, align 1, !tbaa !9
  br label %490, !llvm.loop !46

516:                                              ; preds = %494
  br label %517

517:                                              ; preds = %516
  store i8 0, ptr %55, align 1, !tbaa !9
  br label %483, !llvm.loop !47

518:                                              ; preds = %486
  br label %555

519:                                              ; preds = %77
  call void @llvm.lifetime.start.p0(i64 1, ptr %61) #8
  store i8 1, ptr %61, align 1, !tbaa !9
  br label %520

520:                                              ; preds = %535, %519
  %521 = load i8, ptr %61, align 1, !tbaa !9, !range !11, !noundef !12
  %522 = trunc i8 %521 to i1
  br i1 %522, label %524, label %523

523:                                              ; preds = %520
  store i32 106, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %61) #8
  br label %536

524:                                              ; preds = %520
  call void @llvm.lifetime.start.p0(i64 8, ptr %62) #8
  %525 = load ptr, ptr %7, align 8, !tbaa !5
  %526 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIR8TypeData10as_ClosureEv(ptr noundef nonnull align 8 dereferenceable(184) %525)
  store ptr %526, ptr %62, align 8, !tbaa !5
  br label %527

527:                                              ; preds = %533, %524
  %528 = load ptr, ptr %62, align 8, !tbaa !5
  %529 = load i8, ptr %61, align 1, !tbaa !9, !range !11, !noundef !12
  %530 = trunc i8 %529 to i1
  br i1 %530, label %532, label %531

531:                                              ; preds = %527
  store i32 109, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %62) #8
  br label %534

532:                                              ; preds = %527
  br label %533

533:                                              ; preds = %532
  store i8 0, ptr %61, align 1, !tbaa !9
  br label %527, !llvm.loop !48

534:                                              ; preds = %531
  br label %535

535:                                              ; preds = %534
  store i8 0, ptr %61, align 1, !tbaa !9
  br label %520, !llvm.loop !49

536:                                              ; preds = %523
  br label %555

537:                                              ; preds = %77
  call void @llvm.lifetime.start.p0(i64 1, ptr %63) #8
  store i8 1, ptr %63, align 1, !tbaa !9
  br label %538

538:                                              ; preds = %553, %537
  %539 = load i8, ptr %63, align 1, !tbaa !9, !range !11, !noundef !12
  %540 = trunc i8 %539 to i1
  br i1 %540, label %542, label %541

541:                                              ; preds = %538
  store i32 112, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %63) #8
  br label %554

542:                                              ; preds = %538
  call void @llvm.lifetime.start.p0(i64 8, ptr %64) #8
  %543 = load ptr, ptr %7, align 8, !tbaa !5
  %544 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIR8TypeData12as_GeneratorEv(ptr noundef nonnull align 8 dereferenceable(184) %543)
  store ptr %544, ptr %64, align 8, !tbaa !5
  br label %545

545:                                              ; preds = %551, %542
  %546 = load ptr, ptr %64, align 8, !tbaa !5
  %547 = load i8, ptr %63, align 1, !tbaa !9, !range !11, !noundef !12
  %548 = trunc i8 %547 to i1
  br i1 %548, label %550, label %549

549:                                              ; preds = %545
  store i32 115, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %64) #8
  br label %552

550:                                              ; preds = %545
  br label %551

551:                                              ; preds = %550
  store i8 0, ptr %63, align 1, !tbaa !9
  br label %545, !llvm.loop !50

552:                                              ; preds = %549
  br label %553

553:                                              ; preds = %552
  store i8 0, ptr %63, align 1, !tbaa !9
  br label %538, !llvm.loop !51

554:                                              ; preds = %541
  br label %555

555:                                              ; preds = %554, %536, %518, %481, %463, %443, %423, %389, %369, %341, %302, %242, %224, %159, %141, %123, %77
  br label %556

556:                                              ; preds = %555
  store i8 0, ptr %5, align 1, !tbaa !9
  br label %73, !llvm.loop !52

557:                                              ; preds = %76
  br label %558

558:                                              ; preds = %557
  store i8 0, ptr %5, align 1, !tbaa !9
  br label %66, !llvm.loop !53

559:                                              ; preds = %69
  ret void

560:                                              ; preds = %338
  %561 = load ptr, ptr %37, align 8
  %562 = load i32, ptr %38, align 4
  %563 = insertvalue { ptr, i32 } poison, ptr %561, 0
  %564 = insertvalue { ptr, i32 } %563, i32 %562, 1
  resume { ptr, i32 } %564
}

; Function Attrs: mustprogress uwtable
declare dso_local noundef i32 @_ZN16HMTypeInferrence8new_ivarEN3HIR10InferClassE(ptr noundef nonnull align 8 dereferenceable(49), i32 noundef) #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN16HMTypeInferrence11mark_changeEv(ptr noundef nonnull align 8 dereferenceable(49)) #3 align 2

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN16HMTypeInferrence16add_ivars_paramsERN3HIR10PathParamsE(ptr noundef nonnull align 8 dereferenceable(49), ptr noundef nonnull align 8 dereferenceable(24)) #3 align 2

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZNK16HMTypeInferrence19type_contains_ivarsERKN3HIR7TypeRefEb(ptr noundef nonnull align 8 dereferenceable(49), ptr noundef nonnull align 8 dereferenceable(8), i1 noundef zeroext) #3 align 2

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN16HMTypeInferrence9add_ivarsERN3HIR12ConstGenericE(ptr noundef nonnull align 8 dereferenceable(49), ptr noundef nonnull align 8 dereferenceable(24)) #3 align 2

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

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

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { "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 = { 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 #3 = { 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 #4 = { 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 #5 = { 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 #6 = { 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 = { 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 #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 = !{!14, !15, i64 0}
!14 = !{!"_ZTSN3HIR8TypeData10Data_InferE", !15, i64 0, !16, i64 4}
!15 = !{!"int", !7, i64 0}
!16 = !{!"_ZTSN3HIR10InferClassE", !7, i64 0}
!17 = !{!14, !16, i64 4}
!18 = !{!15, !15, i64 0}
!19 = distinct !{!19, !20}
!20 = !{!"llvm.loop.mustprogress"}
!21 = distinct !{!21, !20}
!22 = distinct !{!22, !20}
!23 = distinct !{!23, !20}
!24 = distinct !{!24, !20}
!25 = distinct !{!25, !20}
!26 = distinct !{!26, !20}
!27 = distinct !{!27, !20}
!28 = distinct !{!28, !20}
!29 = distinct !{!29, !20}
!30 = distinct !{!30, !20}
!31 = distinct !{!31, !20}
!32 = distinct !{!32, !20}
!33 = distinct !{!33, !20}
!34 = distinct !{!34, !20}
!35 = distinct !{!35, !20}
!36 = distinct !{!36, !20}
!37 = distinct !{!37, !20}
!38 = distinct !{!38, !20}
!39 = distinct !{!39, !20}
!40 = distinct !{!40, !20}
!41 = distinct !{!41, !20}
!42 = distinct !{!42, !20}
!43 = distinct !{!43, !20}
!44 = distinct !{!44, !20}
!45 = distinct !{!45, !20}
!46 = distinct !{!46, !20}
!47 = distinct !{!47, !20}
!48 = distinct !{!48, !20}
!49 = distinct !{!49, !20}
!50 = distinct !{!50, !20}
!51 = distinct !{!51, !20}
!52 = distinct !{!52, !20}
!53 = distinct !{!53, !20}


; 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"

%"struct.std::_Rb_tree_iterator" = type { ptr }
%"class.__gnu_cxx::__normal_iterator.162" = type { ptr }
%struct.Span = type { ptr }
%"class.std::function" = 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.167 = type { ptr }
%"class.__gnu_cxx::__normal_iterator.164" = type { ptr }

@g_debug_indent_level = external local_unnamed_addr global i32, align 4
@.str.7 = external hidden unnamed_addr constant [81 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [17 x i8], align 1
@_ZTISt13runtime_error = external constant ptr
@.str.13 = external hidden unnamed_addr constant [39 x i8], align 1
@__PRETTY_FUNCTION__._ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE = external hidden unnamed_addr constant [51 x i8], align 1
@__FUNCTION__._ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE = external hidden unnamed_addr constant [10 x i8], align 1
@.str.44 = external hidden unnamed_addr constant [10 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 noundef zeroext i1 @_Z13debug_enabledv() local_unnamed_addr #1

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_7TypeRefE(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #1

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) local_unnamed_addr #2

declare noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef, ptr noundef) local_unnamed_addr #1

declare i32 @__gxx_personality_v0(...)

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) local_unnamed_addr #3 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef nonnull align 8 dereferenceable(216) ptr @_ZSt3decRSt8ios_base(ptr noundef nonnull align 8 dereferenceable(216)) #2

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) local_unnamed_addr #3 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_(ptr noundef nonnull align 8 dereferenceable(8)) #2

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

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

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

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

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

declare ptr @__cxa_allocate_exception(i64) local_unnamed_addr

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

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 #6

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(49) %0, ptr noundef nonnull align 8 dereferenceable(8) %1) local_unnamed_addr #3 align 2 personality ptr @__gxx_personality_v0 {
.lr.ph487:
  %2 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %3 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %4 = alloca %"class.__gnu_cxx::__normal_iterator.162", align 8
  %5 = alloca %"class.__gnu_cxx::__normal_iterator.162", align 8
  %6 = alloca %struct.Span, align 8
  %7 = alloca %"class.std::function", align 8
  %8 = alloca %class.anon.167, align 8
  %9 = alloca %"class.__gnu_cxx::__normal_iterator.164", align 8
  %10 = alloca %"class.__gnu_cxx::__normal_iterator.164", align 8
  %11 = alloca %"class.__gnu_cxx::__normal_iterator.164", align 8
  %12 = alloca %"class.__gnu_cxx::__normal_iterator.164", align 8
  br label %tailrecurse

tailrecurse:                                      ; preds = %.preheader182.split.split, %.preheader186.split.split, %.preheader188.split.split, %.lr.ph487
  %.tr496 = phi ptr [ %1, %.lr.ph487 ], [ %25, %.preheader188.split.split ], [ %27, %.preheader186.split.split ], [ %32, %.preheader182.split.split ]
  %13 = tail call noundef nonnull align 8 dereferenceable(184) ptr @_ZN3HIR7TypeRef8data_mutEv(ptr noundef nonnull align 8 dereferenceable(8) %.tr496)
  %14 = tail call noundef i32 @_ZNK3HIR8TypeData3tagEv(ptr noundef nonnull align 8 dereferenceable(184) %13)
  switch i32 %14, label %common.ret [
    i32 0, label %46
    i32 1, label %.preheader.split.split
    i32 2, label %.preheader168.split
    i32 3, label %.preheader170.split
    i32 4, label %.preheader172.split.split
    i32 5, label %.preheader174.split
    i32 6, label %.lr.ph355
    i32 7, label %.preheader178.split
    i32 8, label %.preheader180.split.split
    i32 9, label %.preheader182.split.split
    i32 10, label %.preheader184.split.split
    i32 11, label %.preheader186.split.split
    i32 12, label %.preheader188.split.split
    i32 13, label %.preheader190.split
    i32 14, label %.preheader192.split.split
    i32 15, label %.preheader194.split
    i32 16, label %.preheader196.split
  ]

common.ret:                                       ; preds = %..loopexit156_crit_edge, %98, %.preheader180.split.split, %59, %.preheader172.split.split, %47, %52, %.preheader.split.split, %..loopexit164_crit_edge, %..loopexit160_crit_edge, %tailrecurse, %.preheader168.split, %.preheader170.split, %.preheader174.split, %.preheader190.split, %.preheader194.split, %.preheader196.split, %.preheader178.split, %69, %66, %62
  ret void

.preheader196.split:                              ; preds = %tailrecurse
  %15 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIR8TypeData12as_GeneratorEv(ptr noundef nonnull align 8 dereferenceable(184) %13)
  br label %common.ret

.preheader194.split:                              ; preds = %tailrecurse
  %16 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIR8TypeData10as_ClosureEv(ptr noundef nonnull align 8 dereferenceable(184) %13)
  br label %common.ret

.preheader192.split.split:                        ; preds = %tailrecurse
  %17 = tail call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3HIR8TypeData11as_FunctionEv(ptr noundef nonnull align 8 dereferenceable(184) %13)
  %18 = getelementptr inbounds i8, ptr %17, i64 112
  %19 = getelementptr inbounds i8, ptr %17, i64 120
  tail call void @_ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(49) %0, ptr noundef nonnull align 8 dereferenceable(8) %18)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %11) #8
  %20 = tail call ptr @_ZNSt6vectorIN3HIR7TypeRefESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %19) #8
  store ptr %20, ptr %11, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %12) #8
  %21 = tail call ptr @_ZNSt6vectorIN3HIR7TypeRefESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %19) #8
  store ptr %21, ptr %12, align 8
  %22 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %11, ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  br i1 %22, label %.lr.ph, label %..loopexit164_crit_edge

.preheader190.split:                              ; preds = %tailrecurse
  %23 = tail call noundef nonnull align 8 dereferenceable(112) ptr @_ZN3HIR8TypeData16as_NamedFunctionEv(ptr noundef nonnull align 8 dereferenceable(184) %13)
  br label %common.ret

.preheader188.split.split:                        ; preds = %tailrecurse
  %24 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZN3HIR8TypeData10as_PointerEv(ptr noundef nonnull align 8 dereferenceable(184) %13)
  %25 = getelementptr inbounds i8, ptr %24, i64 8
  br label %tailrecurse

.preheader186.split.split:                        ; preds = %tailrecurse
  %26 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZN3HIR8TypeData9as_BorrowEv(ptr noundef nonnull align 8 dereferenceable(184) %13)
  %27 = getelementptr inbounds i8, ptr %26, i64 8
  br label %tailrecurse

.preheader184.split.split:                        ; preds = %tailrecurse
  %28 = tail call noundef nonnull align 8 dereferenceable(24) ptr @_ZN3HIR8TypeData8as_TupleEv(ptr noundef nonnull align 8 dereferenceable(184) %13)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #8
  %29 = tail call ptr @_ZNSt6vectorIN3HIR7TypeRefESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %28) #8
  store ptr %29, ptr %9, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #8
  %30 = tail call ptr @_ZNSt6vectorIN3HIR7TypeRefESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %28) #8
  store ptr %30, ptr %10, align 8
  %31 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(8) %10) #8
  br i1 %31, label %.lr.ph263, label %..loopexit160_crit_edge

.preheader182.split.split:                        ; preds = %tailrecurse
  %32 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIR8TypeData8as_SliceEv(ptr noundef nonnull align 8 dereferenceable(184) %13)
  br label %tailrecurse

.preheader180.split.split:                        ; preds = %tailrecurse
  %33 = tail call noundef nonnull align 8 dereferenceable(40) ptr @_ZN3HIR8TypeData8as_ArrayEv(ptr noundef nonnull align 8 dereferenceable(184) %13)
  %34 = getelementptr inbounds i8, ptr %33, i64 8
  tail call void @_ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(49) %0, ptr noundef nonnull align 8 dereferenceable(8) %33)
  %35 = tail call noundef zeroext i1 @_ZNK3HIR9ArraySize14is_UnevaluatedEv(ptr noundef nonnull align 8 dereferenceable(32) %34)
  br i1 %35, label %98, label %common.ret

.preheader178.split:                              ; preds = %tailrecurse
  %36 = tail call noundef nonnull align 8 dereferenceable(160) ptr @_ZN3HIR8TypeData13as_ErasedTypeEv(ptr noundef nonnull align 8 dereferenceable(184) %13)
  %37 = tail call noundef zeroext i1 @_ZNK16HMTypeInferrence19type_contains_ivarsERKN3HIR7TypeRefEb(ptr noundef nonnull align 8 dereferenceable(49) %0, ptr noundef nonnull align 8 dereferenceable(8) %.tr496, i1 noundef zeroext true)
  br i1 %37, label %.split, label %common.ret, !llvm.loop !5

.preheader174.split:                              ; preds = %tailrecurse
  %38 = tail call noundef nonnull align 8 dereferenceable(12) ptr @_ZN3HIR8TypeData10as_GenericEv(ptr noundef nonnull align 8 dereferenceable(184) %13)
  br label %common.ret

.preheader172.split.split:                        ; preds = %tailrecurse
  %39 = tail call noundef nonnull align 8 dereferenceable(112) ptr @_ZN3HIR8TypeData7as_PathEv(ptr noundef nonnull align 8 dereferenceable(184) %13)
  %40 = tail call noundef i32 @_ZNK3HIR4Path4Data3tagEv(ptr noundef nonnull align 8 dereferenceable(88) %39)
  switch i32 %40, label %common.ret [
    i32 0, label %.split381
    i32 1, label %59
    i32 3, label %62
    i32 4, label %66
    i32 2, label %69
  ]

.preheader170.split:                              ; preds = %tailrecurse
  %41 = tail call noundef nonnull align 4 dereferenceable(4) ptr @_ZN3HIR8TypeData12as_PrimitiveEv(ptr noundef nonnull align 8 dereferenceable(184) %13)
  br label %common.ret

.preheader168.split:                              ; preds = %tailrecurse
  %42 = tail call noundef nonnull align 1 dereferenceable(1) ptr @_ZN3HIR8TypeData10as_DivergeEv(ptr noundef nonnull align 8 dereferenceable(184) %13)
  br label %common.ret

.preheader.split.split:                           ; preds = %tailrecurse
  %43 = tail call noundef nonnull align 4 dereferenceable(8) ptr @_ZN3HIR8TypeData8as_InferEv(ptr noundef nonnull align 8 dereferenceable(184) %13)
  %44 = load i32, ptr %43, align 4
  %45 = icmp eq i32 %44, -1
  br i1 %45, label %47, label %common.ret

46:                                               ; preds = %tailrecurse
  tail call void @__assert_fail(ptr noundef nonnull @.str.13, ptr noundef nonnull @.str.7, i32 noundef 564, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE) #9
  unreachable

47:                                               ; preds = %.preheader.split.split
  %48 = getelementptr inbounds i8, ptr %43, i64 4
  %49 = load i32, ptr %48, align 4, !tbaa !7
  %50 = tail call noundef i32 @_ZN16HMTypeInferrence8new_ivarEN3HIR10InferClassE(ptr noundef nonnull align 8 dereferenceable(49) %0, i32 noundef %49)
  store i32 %50, ptr %43, align 4, !tbaa !13
  tail call void @_ZN16HMTypeInferrence11mark_changeEv(ptr noundef nonnull align 8 dereferenceable(49) %0)
  %51 = tail call noundef zeroext i1 @_Z13debug_enabledv()
  br i1 %51, label %52, label %common.ret

52:                                               ; preds = %47
  %53 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !14
  %54 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %53, ptr noundef nonnull @__FUNCTION__._ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE)
  %55 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %54, ptr noundef nonnull @.str.44)
  %56 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_7TypeRefE(ptr noundef nonnull align 8 dereferenceable(8) %55, ptr noundef nonnull align 8 dereferenceable(8) %.tr496)
  %57 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %56, ptr noundef nonnull @_ZSt3decRSt8ios_base)
  %58 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %57, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  br label %common.ret

.split381:                                        ; preds = %.preheader172.split.split
  tail call void @__assert_fail(ptr noundef nonnull @.str.13, ptr noundef nonnull @.str.7, i32 noundef 595, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE) #9
  unreachable

59:                                               ; preds = %.preheader172.split.split
  %60 = tail call noundef nonnull align 8 dereferenceable(32) ptr @_ZN3HIR4Path4Data10as_GenericEv(ptr noundef nonnull align 8 dereferenceable(88) %39)
  %61 = getelementptr inbounds i8, ptr %60, i64 8
  tail call void @_ZN16HMTypeInferrence16add_ivars_paramsERN3HIR10PathParamsE(ptr noundef nonnull align 8 dereferenceable(49) %0, ptr noundef nonnull align 8 dereferenceable(24) %61)
  br label %common.ret

62:                                               ; preds = %.preheader172.split.split
  %63 = tail call noundef nonnull align 8 dereferenceable(80) ptr @_ZN3HIR4Path4Data12as_UfcsKnownEv(ptr noundef nonnull align 8 dereferenceable(88) %39)
  tail call void @_ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(49) %0, ptr noundef nonnull align 8 dereferenceable(8) %63)
  %64 = getelementptr inbounds i8, ptr %63, i64 16
  tail call void @_ZN16HMTypeInferrence16add_ivars_paramsERN3HIR10PathParamsE(ptr noundef nonnull align 8 dereferenceable(49) %0, ptr noundef nonnull align 8 dereferenceable(24) %64)
  %65 = getelementptr inbounds i8, ptr %63, i64 48
  tail call void @_ZN16HMTypeInferrence16add_ivars_paramsERN3HIR10PathParamsE(ptr noundef nonnull align 8 dereferenceable(49) %0, ptr noundef nonnull align 8 dereferenceable(24) %65)
  br label %common.ret

66:                                               ; preds = %.preheader172.split.split
  %67 = tail call noundef nonnull align 8 dereferenceable(40) ptr @_ZN3HIR4Path4Data14as_UfcsUnknownEv(ptr noundef nonnull align 8 dereferenceable(88) %39)
  tail call void @_ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(49) %0, ptr noundef nonnull align 8 dereferenceable(8) %67)
  %68 = getelementptr inbounds i8, ptr %67, i64 16
  tail call void @_ZN16HMTypeInferrence16add_ivars_paramsERN3HIR10PathParamsE(ptr noundef nonnull align 8 dereferenceable(49) %0, ptr noundef nonnull align 8 dereferenceable(24) %68)
  br label %common.ret

69:                                               ; preds = %.preheader172.split.split
  %70 = tail call noundef nonnull align 8 dereferenceable(64) ptr @_ZN3HIR4Path4Data15as_UfcsInherentEv(ptr noundef nonnull align 8 dereferenceable(88) %39)
  tail call void @_ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(49) %0, ptr noundef nonnull align 8 dereferenceable(8) %70)
  %71 = getelementptr inbounds i8, ptr %70, i64 16
  tail call void @_ZN16HMTypeInferrence16add_ivars_paramsERN3HIR10PathParamsE(ptr noundef nonnull align 8 dereferenceable(49) %0, ptr noundef nonnull align 8 dereferenceable(24) %71)
  br label %common.ret

.lr.ph355:                                        ; preds = %tailrecurse
  %72 = tail call noundef nonnull align 8 dereferenceable(172) ptr @_ZN3HIR8TypeData14as_TraitObjectEv(ptr noundef nonnull align 8 dereferenceable(184) %13)
  %73 = getelementptr inbounds i8, ptr %72, i64 16
  %74 = getelementptr inbounds i8, ptr %72, i64 40
  %75 = getelementptr inbounds i8, ptr %72, i64 144
  tail call void @_ZN16HMTypeInferrence16add_ivars_paramsERN3HIR10PathParamsE(ptr noundef nonnull align 8 dereferenceable(49) %0, ptr noundef nonnull align 8 dereferenceable(24) %73)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %2) #8
  %76 = tail call ptr @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %74) #8
  store ptr %76, ptr %2, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %3) #8
  %77 = tail call ptr @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %74) #8
  store ptr %77, ptr %3, align 8
  %78 = call noundef zeroext i1 @_ZStneRKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitPath8AtyEqualEEES9_(ptr noundef nonnull align 8 dereferenceable(8) %2, ptr noundef nonnull align 8 dereferenceable(8) %3) #8
  br i1 %78, label %.lr.ph349, label %._crit_edge350

._crit_edge350:                                   ; preds = %.lr.ph349, %.lr.ph355
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %2) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #8
  %79 = call ptr @_ZNSt6vectorIN3HIR11GenericPathESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %75) #8
  store ptr %79, ptr %4, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %5) #8
  %80 = call ptr @_ZNSt6vectorIN3HIR11GenericPathESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %75) #8
  store ptr %80, ptr %5, align 8
  %81 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3HIR11GenericPathESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %4, ptr noundef nonnull align 8 dereferenceable(8) %5) #8
  br i1 %81, label %.lr.ph352, label %..loopexit156_crit_edge

.lr.ph349:                                        ; preds = %.lr.ph355, %.lr.ph349
  %82 = call noundef nonnull align 8 dereferenceable(48) ptr @_ZNKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitPath8AtyEqualEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %2) #8
  %83 = getelementptr inbounds i8, ptr %82, i64 40
  call void @_ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(49) %0, ptr noundef nonnull align 8 dereferenceable(8) %83)
  %84 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitPath8AtyEqualEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %2) #8
  %85 = call noundef zeroext i1 @_ZStneRKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitPath8AtyEqualEEES9_(ptr noundef nonnull align 8 dereferenceable(8) %2, ptr noundef nonnull align 8 dereferenceable(8) %3) #8
  br i1 %85, label %.lr.ph349, label %._crit_edge350

..loopexit156_crit_edge:                          ; preds = %.lr.ph352, %._crit_edge350
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #8
  br label %common.ret

.lr.ph352:                                        ; preds = %._crit_edge350, %.lr.ph352
  %86 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3HIR11GenericPathESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %4) #8
  %87 = getelementptr inbounds i8, ptr %86, i64 8
  call void @_ZN16HMTypeInferrence16add_ivars_paramsERN3HIR10PathParamsE(ptr noundef nonnull align 8 dereferenceable(49) %0, ptr noundef nonnull align 8 dereferenceable(24) %87)
  %88 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3HIR11GenericPathESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %4) #8
  %89 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3HIR11GenericPathESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %4, ptr noundef nonnull align 8 dereferenceable(8) %5) #8
  br i1 %89, label %.lr.ph352, label %..loopexit156_crit_edge

.split:                                           ; preds = %.preheader178.split
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #8
  call void @_ZN4SpanC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %6)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #8
  store ptr %.tr496, ptr %8, align 8, !tbaa !15
  call void @"_ZNSt8functionIFvRSoEEC2IZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefEE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %7, ptr noundef nonnull align 8 dereferenceable(8) %8) #8
  invoke void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %6, ptr noundef nonnull %7)
          to label %90 unwind label %93

90:                                               ; preds = %.split
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %6) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #8
  %91 = call ptr @__cxa_allocate_exception(i64 16) #8
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %91, ptr noundef nonnull @.str.8)
          to label %92 unwind label %95

92:                                               ; preds = %90
  call void @__cxa_throw(ptr nonnull %91, ptr nonnull @_ZTISt13runtime_error, ptr nonnull @_ZNSt13runtime_errorD1Ev) #10
  unreachable

93:                                               ; preds = %.split
  %94 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %6) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #8
  br label %97

95:                                               ; preds = %90
  %96 = landingpad { ptr, i32 }
          cleanup
  call void @__cxa_free_exception(ptr %91) #8
  br label %97

97:                                               ; preds = %95, %93
  %.pn = phi { ptr, i32 } [ %96, %95 ], [ %94, %93 ]
  resume { ptr, i32 } %.pn

98:                                               ; preds = %.preheader180.split.split
  %99 = tail call noundef nonnull align 8 dereferenceable(24) ptr @_ZN3HIR9ArraySize14as_UnevaluatedEv(ptr noundef nonnull align 8 dereferenceable(32) %34)
  tail call void @_ZN16HMTypeInferrence9add_ivarsERN3HIR12ConstGenericE(ptr noundef nonnull align 8 dereferenceable(49) %0, ptr noundef nonnull align 8 dereferenceable(24) %99)
  br label %common.ret

..loopexit160_crit_edge:                          ; preds = %.lr.ph263, %.preheader184.split.split
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #8
  br label %common.ret

.lr.ph263:                                        ; preds = %.preheader184.split.split, %.lr.ph263
  %100 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %9) #8
  call void @_ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(49) %0, ptr noundef nonnull align 8 dereferenceable(8) %100)
  %101 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %9) #8
  %102 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(8) %10) #8
  br i1 %102, label %.lr.ph263, label %..loopexit160_crit_edge

..loopexit164_crit_edge:                          ; preds = %.lr.ph, %.preheader192.split.split
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #8
  br label %common.ret

.lr.ph:                                           ; preds = %.preheader192.split.split, %.lr.ph
  %103 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %11) #8
  call void @_ZN16HMTypeInferrence9add_ivarsERN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(49) %0, ptr noundef nonnull align 8 dereferenceable(8) %103)
  %104 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %11) #8
  %105 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %11, ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  br i1 %105, label %.lr.ph, label %..loopexit164_crit_edge
}

; Function Attrs: mustprogress uwtable
declare dso_local noundef i32 @_ZN16HMTypeInferrence8new_ivarEN3HIR10InferClassE(ptr noundef nonnull align 8 dereferenceable(49), i32 noundef) local_unnamed_addr #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN16HMTypeInferrence11mark_changeEv(ptr noundef nonnull align 8 dereferenceable(49)) local_unnamed_addr #3 align 2

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN16HMTypeInferrence16add_ivars_paramsERN3HIR10PathParamsE(ptr noundef nonnull align 8 dereferenceable(49), ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #3 align 2

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZNK16HMTypeInferrence19type_contains_ivarsERKN3HIR7TypeRefEb(ptr noundef nonnull align 8 dereferenceable(49), ptr noundef nonnull align 8 dereferenceable(8), i1 noundef zeroext) local_unnamed_addr #3 align 2

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN16HMTypeInferrence9add_ivarsERN3HIR12ConstGenericE(ptr noundef nonnull align 8 dereferenceable(49), ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #3 align 2

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

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

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { "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 = { 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 #3 = { 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 #4 = { 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 #5 = { 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 #6 = { 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 = { 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 #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 = distinct !{!5, !6}
!6 = !{!"llvm.loop.mustprogress"}
!7 = !{!8, !12, i64 4}
!8 = !{!"_ZTSN3HIR8TypeData10Data_InferE", !9, i64 0, !12, i64 4}
!9 = !{!"int", !10, i64 0}
!10 = !{!"omnipotent char", !11, i64 0}
!11 = !{!"Simple C++ TBAA"}
!12 = !{!"_ZTSN3HIR10InferClassE", !10, i64 0}
!13 = !{!8, !9, i64 0}
!14 = !{!9, !9, i64 0}
!15 = !{!16, !16, i64 0}
!16 = !{!"any pointer", !10, i64 0}


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