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

; 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.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.179 = type { ptr, ptr }
%class.anon.180 = type { ptr }
%"class.HIR::TypeRef" = type { ptr }
%struct.Monomorph_AddLifetimes = type { %class.Monomorphiser }
%class.Monomorphiser = type { ptr, ptr, %"class.HIR::ItemPath", %"class.std::vector.181" }
%"class.HIR::ItemPath" = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%"class.std::vector.181" = type { %"struct.std::_Vector_base.182" }
%"struct.std::_Vector_base.182" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.anon.186 = type { ptr }
%class.anon.187 = type { ptr, ptr, ptr }
%"class.std::unique_ptr" = type { %"struct.std::__uniq_ptr_data" }
%"struct.std::__uniq_ptr_data" = type { %"class.std::__uniq_ptr_impl" }
%"class.std::__uniq_ptr_impl" = type { %"class.std::tuple" }
%"class.std::tuple" = type { %"struct.std::_Tuple_impl" }
%"struct.std::_Tuple_impl" = type { %"struct.std::_Head_base.6" }
%"struct.std::_Head_base.6" = type { ptr }
%"struct.HMTypeInferrence::IVar" = type { i32, %"class.std::unique_ptr" }
%"struct.HIR::TypeData::Data_Infer" = type { i32, i32 }

@g_debug_indent_level = external global i32, align 4
@.str.1 = external hidden unnamed_addr constant [4 x i8], align 1
@.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
@.str.37 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.47 = external hidden unnamed_addr constant [5 x i8], align 1
@__FUNCTION__._ZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefE = external hidden unnamed_addr constant [12 x i8], align 1
@.str.49 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.50 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.51 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.52 = external hidden unnamed_addr constant [19 x i8], align 1
@__PRETTY_FUNCTION__._ZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefE = external hidden unnamed_addr constant [65 x i8], align 1
@.str.53 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.54 = 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

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

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) #4 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) #4 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: mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZNKSt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8)) #3 align 2

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

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEj(ptr noundef nonnull align 8 dereferenceable(8), i32 noundef) #4 align 2

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN4SpanC2Ev(ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #3 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 #7

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

declare void @__cxa_throw(ptr, ptr, ptr)

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(49) %0, i32 noundef %1, ptr noundef %2) #4 align 2 personality ptr @__gxx_personality_v0 {
  %4 = alloca ptr, align 8
  %5 = alloca i32, align 4
  %6 = alloca ptr, align 8
  %7 = alloca %struct.Span, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca i32, align 4
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca %struct.Span, align 8
  %15 = alloca %"class.std::function", align 8
  %16 = alloca %class.anon.179, align 8
  %17 = alloca %struct.Span, align 8
  %18 = alloca %"class.std::function", align 8
  %19 = alloca %class.anon.180, align 8
  %20 = alloca ptr, align 8
  %21 = alloca i32, align 4
  %22 = alloca %"class.HIR::TypeRef", align 8
  %23 = alloca %struct.Monomorph_AddLifetimes, align 8
  %24 = alloca ptr, align 8
  %25 = alloca ptr, align 8
  %26 = alloca %struct.Span, align 8
  %27 = alloca %"class.std::function", align 8
  %28 = alloca %class.anon.186, align 8
  %29 = alloca %struct.Span, align 8
  %30 = alloca %"class.std::function", align 8
  %31 = alloca %class.anon.187, align 8
  %32 = alloca %"class.std::unique_ptr", align 8
  store ptr %0, ptr %4, align 8, !tbaa !5
  store i32 %1, ptr %5, align 4, !tbaa !9
  store ptr %2, ptr %6, align 8, !tbaa !5
  %33 = load ptr, ptr %4, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #8
  call void @_ZN4SpanC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %7)
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #8
  %34 = load i32, ptr %5, align 4, !tbaa !9
  %35 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNK16HMTypeInferrence16get_pointed_ivarEj(ptr noundef nonnull align 8 dereferenceable(49) %33, i32 noundef %34)
          to label %36 unwind label %66

36:                                               ; preds = %3
  store ptr %35, ptr %8, align 8, !tbaa !5
  br label %37

37:                                               ; preds = %36
  %38 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %39 unwind label %66

39:                                               ; preds = %37
  br i1 %38, label %40, label %70

40:                                               ; preds = %39
  %41 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !9
  %42 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %41, ptr noundef @__FUNCTION__._ZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefE)
          to label %43 unwind label %66

43:                                               ; preds = %40
  %44 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %42, ptr noundef @.str.49)
          to label %45 unwind label %66

45:                                               ; preds = %43
  %46 = load i32, ptr %5, align 4, !tbaa !9
  %47 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEj(ptr noundef nonnull align 8 dereferenceable(8) %44, i32 noundef %46)
          to label %48 unwind label %66

48:                                               ; preds = %45
  %49 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %47, ptr noundef @.str.50)
          to label %50 unwind label %66

50:                                               ; preds = %48
  %51 = load ptr, ptr %8, align 8, !tbaa !5
  %52 = getelementptr inbounds %"struct.HMTypeInferrence::IVar", ptr %51, i32 0, i32 1
  %53 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS1_EEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %52) #8
  %54 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_7TypeRefE(ptr noundef nonnull align 8 dereferenceable(8) %49, ptr noundef nonnull align 8 dereferenceable(8) %53)
          to label %55 unwind label %66

55:                                               ; preds = %50
  %56 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %54, ptr noundef @.str.51)
          to label %57 unwind label %66

57:                                               ; preds = %55
  %58 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_7TypeRefE(ptr noundef nonnull align 8 dereferenceable(8) %56, ptr noundef nonnull align 8 dereferenceable(8) %2)
          to label %59 unwind label %66

59:                                               ; preds = %57
  %60 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %58, ptr noundef @.str.37)
          to label %61 unwind label %66

61:                                               ; preds = %59
  %62 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %60, ptr noundef @_ZSt3decRSt8ios_base)
          to label %63 unwind label %66

63:                                               ; preds = %61
  %64 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %62, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %65 unwind label %66

65:                                               ; preds = %63
  br label %70

66:                                               ; preds = %402, %63, %61, %59, %57, %55, %50, %48, %45, %43, %40, %37, %3
  %67 = landingpad { ptr, i32 }
          cleanup
  %68 = extractvalue { ptr, i32 } %67, 0
  store ptr %68, ptr %9, align 8
  %69 = extractvalue { ptr, i32 } %67, 1
  store i32 %69, ptr %10, align 4
  br label %408

70:                                               ; preds = %65, %39
  br label %71

71:                                               ; preds = %70
  br label %72

72:                                               ; preds = %71
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #8
  %73 = invoke noundef nonnull align 8 dereferenceable(184) ptr @_ZNK3HIR7TypeRef4dataEv(ptr noundef nonnull align 8 dereferenceable(8) %2)
          to label %74 unwind label %87

74:                                               ; preds = %72
  %75 = invoke noundef ptr @_ZNK3HIR8TypeData9opt_InferEv(ptr noundef nonnull align 8 dereferenceable(184) %73)
          to label %76 unwind label %87

76:                                               ; preds = %74
  store ptr %75, ptr %11, align 8, !tbaa !5
  %77 = load ptr, ptr %11, align 8, !tbaa !5
  %78 = icmp ne ptr %77, null
  br i1 %78, label %79, label %241

79:                                               ; preds = %76
  %80 = load ptr, ptr %11, align 8, !tbaa !5
  %81 = getelementptr inbounds %"struct.HIR::TypeData::Data_Infer", ptr %80, i32 0, i32 0
  %82 = load i32, ptr %81, align 4, !tbaa !11
  %83 = load i32, ptr %5, align 4, !tbaa !9
  %84 = icmp ne i32 %82, %83
  br i1 %84, label %85, label %86

85:                                               ; preds = %79
  br label %92

86:                                               ; preds = %79
  call void @__assert_fail(ptr noundef @.str.52, ptr noundef @.str.7, i32 noundef 765, ptr noundef @__PRETTY_FUNCTION__._ZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefE) #9
  unreachable

87:                                               ; preds = %270, %268, %266, %264, %261, %259, %256, %253, %241, %221, %219, %216, %214, %209, %207, %204, %201, %183, %102, %97, %74, %72
  %88 = landingpad { ptr, i32 }
          cleanup
  %89 = extractvalue { ptr, i32 } %88, 0
  store ptr %89, ptr %9, align 8
  %90 = extractvalue { ptr, i32 } %88, 1
  store i32 %90, ptr %10, align 4
  br label %407

91:                                               ; No predecessors!
  br label %92

92:                                               ; preds = %91, %85
  %93 = load ptr, ptr %11, align 8, !tbaa !5
  %94 = getelementptr inbounds %"struct.HIR::TypeData::Data_Infer", ptr %93, i32 0, i32 1
  %95 = load i32, ptr %94, align 4, !tbaa !14
  %96 = icmp ne i32 %95, 0
  br i1 %96, label %97, label %200

97:                                               ; preds = %92
  %98 = load ptr, ptr %8, align 8, !tbaa !5
  %99 = getelementptr inbounds %"struct.HMTypeInferrence::IVar", ptr %98, i32 0, i32 1
  %100 = call noundef ptr @_ZNKSt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %99) #8
  %101 = invoke noundef nonnull align 8 dereferenceable(184) ptr @_ZNK3HIR7TypeRef4dataEv(ptr noundef nonnull align 8 dereferenceable(8) %100)
          to label %102 unwind label %87

102:                                              ; preds = %97
  %103 = invoke noundef i32 @_ZNK3HIR8TypeData3tagEv(ptr noundef nonnull align 8 dereferenceable(184) %101)
          to label %104 unwind label %87

104:                                              ; preds = %102
  switch i32 %103, label %176 [
    i32 0, label %105
    i32 3, label %106
    i32 1, label %125
  ]

105:                                              ; preds = %104
  call void @__assert_fail(ptr noundef @.str.13, ptr noundef @.str.7, i32 noundef 780, ptr noundef @__PRETTY_FUNCTION__._ZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefE) #9
  unreachable

106:                                              ; preds = %104
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #8
  %107 = load ptr, ptr %8, align 8, !tbaa !5
  %108 = getelementptr inbounds %"struct.HMTypeInferrence::IVar", ptr %107, i32 0, i32 1
  %109 = call noundef ptr @_ZNKSt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %108) #8
  %110 = invoke noundef nonnull align 8 dereferenceable(184) ptr @_ZNK3HIR7TypeRef4dataEv(ptr noundef nonnull align 8 dereferenceable(8) %109)
          to label %111 unwind label %121

111:                                              ; preds = %106
  %112 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZNK3HIR8TypeData12as_PrimitiveEv(ptr noundef nonnull align 8 dereferenceable(184) %110)
          to label %113 unwind label %121

113:                                              ; preds = %111
  store ptr %112, ptr %12, align 8, !tbaa !5
  %114 = load ptr, ptr %12, align 8, !tbaa !5
  %115 = load ptr, ptr %11, align 8, !tbaa !5
  %116 = getelementptr inbounds %"struct.HIR::TypeData::Data_Infer", ptr %115, i32 0, i32 1
  %117 = load i32, ptr %116, align 4, !tbaa !14
  %118 = load ptr, ptr %12, align 8, !tbaa !5
  %119 = load i32, ptr %118, align 4, !tbaa !15
  invoke void @_Z26check_type_class_primitiveRK4SpanRKN3HIR7TypeRefENS2_10InferClassENS2_8CoreTypeE(ptr noundef nonnull align 8 dereferenceable(8) %7, ptr noundef nonnull align 8 dereferenceable(8) %2, i32 noundef %117, i32 noundef %119)
          to label %120 unwind label %121

120:                                              ; preds = %113
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #8
  br label %199

121:                                              ; preds = %113, %111, %106
  %122 = landingpad { ptr, i32 }
          cleanup
  %123 = extractvalue { ptr, i32 } %122, 0
  store ptr %123, ptr %9, align 8
  %124 = extractvalue { ptr, i32 } %122, 1
  store i32 %124, ptr %10, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #8
  br label %407

125:                                              ; preds = %104
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #8
  %126 = load ptr, ptr %8, align 8, !tbaa !5
  %127 = getelementptr inbounds %"struct.HMTypeInferrence::IVar", ptr %126, i32 0, i32 1
  %128 = call noundef ptr @_ZNKSt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %127) #8
  %129 = invoke noundef nonnull align 8 dereferenceable(184) ptr @_ZNK3HIR7TypeRef4dataEv(ptr noundef nonnull align 8 dereferenceable(8) %128)
          to label %130 unwind label %155

130:                                              ; preds = %125
  %131 = invoke noundef nonnull align 4 dereferenceable(8) ptr @_ZNK3HIR8TypeData8as_InferEv(ptr noundef nonnull align 8 dereferenceable(184) %129)
          to label %132 unwind label %155

132:                                              ; preds = %130
  store ptr %131, ptr %13, align 8, !tbaa !5
  %133 = load ptr, ptr %13, align 8, !tbaa !5
  %134 = load ptr, ptr %13, align 8, !tbaa !5
  %135 = getelementptr inbounds %"struct.HIR::TypeData::Data_Infer", ptr %134, i32 0, i32 1
  %136 = load i32, ptr %135, align 4, !tbaa !14
  %137 = icmp ne i32 %136, 0
  br i1 %137, label %138, label %174

138:                                              ; preds = %132
  %139 = load ptr, ptr %13, align 8, !tbaa !5
  %140 = getelementptr inbounds %"struct.HIR::TypeData::Data_Infer", ptr %139, i32 0, i32 1
  %141 = load i32, ptr %140, align 4, !tbaa !14
  %142 = load ptr, ptr %11, align 8, !tbaa !5
  %143 = getelementptr inbounds %"struct.HIR::TypeData::Data_Infer", ptr %142, i32 0, i32 1
  %144 = load i32, ptr %143, align 4, !tbaa !14
  %145 = icmp ne i32 %141, %144
  br i1 %145, label %146, label %174

146:                                              ; preds = %138
  br label %147

147:                                              ; preds = %146
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #8
  invoke void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull align 8 dereferenceable(8) %7)
          to label %148 unwind label %159

148:                                              ; preds = %147
  call void @llvm.lifetime.start.p0(i64 16, ptr %16) #8
  %149 = getelementptr inbounds %class.anon.179, ptr %16, i32 0, i32 0
  store ptr %2, ptr %149, align 8, !tbaa !5
  %150 = getelementptr inbounds %class.anon.179, ptr %16, i32 0, i32 1
  %151 = load ptr, ptr %8, align 8, !tbaa !5
  store ptr %151, ptr %150, align 8, !tbaa !5
  call void @"_ZNSt8functionIFvRSoEEC2IZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefEE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %15, ptr noundef nonnull align 8 dereferenceable(16) %16) #8
  invoke void @_ZNK4Span5errorE9ErrorTypeSt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %14, i32 noundef 0, ptr noundef %15)
          to label %152 unwind label %163

152:                                              ; preds = %148
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %16) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %14) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #8
  %153 = call ptr @__cxa_allocate_exception(i64 16) #8
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %153, ptr noundef @.str.53)
          to label %154 unwind label %168

154:                                              ; preds = %152
  invoke void @__cxa_throw(ptr %153, ptr @_ZTISt13runtime_error, ptr @_ZNSt13runtime_errorD1Ev) #10
          to label %414 unwind label %155

155:                                              ; preds = %154, %130, %125
  %156 = landingpad { ptr, i32 }
          cleanup
  %157 = extractvalue { ptr, i32 } %156, 0
  store ptr %157, ptr %9, align 8
  %158 = extractvalue { ptr, i32 } %156, 1
  store i32 %158, ptr %10, align 4
  br label %175

159:                                              ; preds = %147
  %160 = landingpad { ptr, i32 }
          cleanup
  %161 = extractvalue { ptr, i32 } %160, 0
  store ptr %161, ptr %9, align 8
  %162 = extractvalue { ptr, i32 } %160, 1
  store i32 %162, ptr %10, align 4
  br label %167

163:                                              ; preds = %148
  %164 = landingpad { ptr, i32 }
          cleanup
  %165 = extractvalue { ptr, i32 } %164, 0
  store ptr %165, ptr %9, align 8
  %166 = extractvalue { ptr, i32 } %164, 1
  store i32 %166, ptr %10, align 4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %16) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %14) #8
  br label %167

167:                                              ; preds = %163, %159
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #8
  br label %175

168:                                              ; preds = %152
  %169 = landingpad { ptr, i32 }
          cleanup
  %170 = extractvalue { ptr, i32 } %169, 0
  store ptr %170, ptr %9, align 8
  %171 = extractvalue { ptr, i32 } %169, 1
  store i32 %171, ptr %10, align 4
  call void @__cxa_free_exception(ptr %153) #8
  br label %175

172:                                              ; No predecessors!
  br label %173

173:                                              ; preds = %172
  br label %174

174:                                              ; preds = %173, %138, %132
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #8
  br label %199

175:                                              ; preds = %168, %167, %155
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #8
  br label %407

176:                                              ; preds = %104
  br label %177

177:                                              ; preds = %176
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #8
  invoke void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %17, ptr noundef nonnull align 8 dereferenceable(8) %7)
          to label %178 unwind label %184

178:                                              ; preds = %177
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #8
  %179 = getelementptr inbounds %class.anon.180, ptr %19, i32 0, i32 0
  %180 = load ptr, ptr %8, align 8, !tbaa !5
  store ptr %180, ptr %179, align 8, !tbaa !5
  call void @"_ZNSt8functionIFvRSoEEC2IZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefEE3$_1vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %18, ptr noundef nonnull align 8 dereferenceable(8) %19) #8
  invoke void @_ZNK4Span5errorE9ErrorTypeSt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %17, i32 noundef 0, ptr noundef %18)
          to label %181 unwind label %188

181:                                              ; preds = %178
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %17) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #8
  %182 = call ptr @__cxa_allocate_exception(i64 16) #8
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %182, ptr noundef @.str.53)
          to label %183 unwind label %193

183:                                              ; preds = %181
  invoke void @__cxa_throw(ptr %182, ptr @_ZTISt13runtime_error, ptr @_ZNSt13runtime_errorD1Ev) #10
          to label %414 unwind label %87

184:                                              ; preds = %177
  %185 = landingpad { ptr, i32 }
          cleanup
  %186 = extractvalue { ptr, i32 } %185, 0
  store ptr %186, ptr %9, align 8
  %187 = extractvalue { ptr, i32 } %185, 1
  store i32 %187, ptr %10, align 4
  br label %192

188:                                              ; preds = %178
  %189 = landingpad { ptr, i32 }
          cleanup
  %190 = extractvalue { ptr, i32 } %189, 0
  store ptr %190, ptr %9, align 8
  %191 = extractvalue { ptr, i32 } %189, 1
  store i32 %191, ptr %10, align 4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %17) #8
  br label %192

192:                                              ; preds = %188, %184
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #8
  br label %407

193:                                              ; preds = %181
  %194 = landingpad { ptr, i32 }
          cleanup
  %195 = extractvalue { ptr, i32 } %194, 0
  store ptr %195, ptr %9, align 8
  %196 = extractvalue { ptr, i32 } %194, 1
  store i32 %196, ptr %10, align 4
  call void @__cxa_free_exception(ptr %182) #8
  br label %407

197:                                              ; No predecessors!
  br label %198

198:                                              ; preds = %197
  br label %199

199:                                              ; preds = %198, %174, %120
  br label %200

200:                                              ; preds = %199, %92
  br label %201

201:                                              ; preds = %200
  %202 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %203 unwind label %87

203:                                              ; preds = %201
  br i1 %202, label %204, label %224

204:                                              ; preds = %203
  %205 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !9
  %206 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %205, ptr noundef @__FUNCTION__._ZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefE)
          to label %207 unwind label %87

207:                                              ; preds = %204
  %208 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %206, ptr noundef @.str.54)
          to label %209 unwind label %87

209:                                              ; preds = %207
  %210 = load ptr, ptr %11, align 8, !tbaa !5
  %211 = getelementptr inbounds %"struct.HIR::TypeData::Data_Infer", ptr %210, i32 0, i32 0
  %212 = load i32, ptr %211, align 4, !tbaa !11
  %213 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEj(ptr noundef nonnull align 8 dereferenceable(8) %208, i32 noundef %212)
          to label %214 unwind label %87

214:                                              ; preds = %209
  %215 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %213, ptr noundef @.str.47)
          to label %216 unwind label %87

216:                                              ; preds = %214
  %217 = load i32, ptr %5, align 4, !tbaa !9
  %218 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEj(ptr noundef nonnull align 8 dereferenceable(8) %215, i32 noundef %217)
          to label %219 unwind label %87

219:                                              ; preds = %216
  %220 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %218, ptr noundef @_ZSt3decRSt8ios_base)
          to label %221 unwind label %87

221:                                              ; preds = %219
  %222 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %220, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %223 unwind label %87

223:                                              ; preds = %221
  br label %224

224:                                              ; preds = %223, %203
  br label %225

225:                                              ; preds = %224
  br label %226

226:                                              ; preds = %225
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #8
  %227 = load ptr, ptr %11, align 8, !tbaa !5
  %228 = getelementptr inbounds %"struct.HIR::TypeData::Data_Infer", ptr %227, i32 0, i32 0
  %229 = load i32, ptr %228, align 4, !tbaa !11
  %230 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNK16HMTypeInferrence16get_pointed_ivarEj(ptr noundef nonnull align 8 dereferenceable(49) %33, i32 noundef %229)
          to label %231 unwind label %237

231:                                              ; preds = %226
  store ptr %230, ptr %20, align 8, !tbaa !5
  %232 = load i32, ptr %5, align 4, !tbaa !9
  %233 = load ptr, ptr %20, align 8, !tbaa !5
  %234 = getelementptr inbounds %"struct.HMTypeInferrence::IVar", ptr %233, i32 0, i32 0
  store i32 %232, ptr %234, align 8, !tbaa !17
  %235 = load ptr, ptr %20, align 8, !tbaa !5
  %236 = getelementptr inbounds %"struct.HMTypeInferrence::IVar", ptr %235, i32 0, i32 1
  call void @_ZNSt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS1_EE5resetEPS1_(ptr noundef nonnull align 8 dereferenceable(8) %236, ptr noundef null) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #8
  br label %399

237:                                              ; preds = %226
  %238 = landingpad { ptr, i32 }
          cleanup
  %239 = extractvalue { ptr, i32 } %238, 0
  store ptr %239, ptr %9, align 8
  %240 = extractvalue { ptr, i32 } %238, 1
  store i32 %240, ptr %10, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #8
  br label %407

241:                                              ; preds = %76
  %242 = load ptr, ptr %8, align 8, !tbaa !5
  %243 = getelementptr inbounds %"struct.HMTypeInferrence::IVar", ptr %242, i32 0, i32 1
  %244 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS1_EEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %243) #8
  %245 = invoke noundef zeroext i1 @_ZNK3HIR7TypeRefeqERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %244, ptr noundef nonnull align 8 dereferenceable(8) %2)
          to label %246 unwind label %87

246:                                              ; preds = %241
  br i1 %245, label %247, label %248

247:                                              ; preds = %246
  store i32 1, ptr %21, align 4
  br label %400

248:                                              ; preds = %246
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #8
  call void @llvm.lifetime.start.p0(i64 96, ptr %23) #8
  invoke void @_ZZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefEEN22Monomorph_AddLifetimesC2Ev(ptr noundef nonnull align 8 dereferenceable(96) %23)
          to label %249 unwind label %273

249:                                              ; preds = %248
  invoke void @_ZNK13Monomorphiser14monomorph_typeERK4SpanRKN3HIR7TypeRefEb(ptr dead_on_unwind writable sret(%"class.HIR::TypeRef") align 8 %22, ptr noundef nonnull align 8 dereferenceable(96) %23, ptr noundef nonnull align 8 dereferenceable(8) %7, ptr noundef nonnull align 8 dereferenceable(8) %2, i1 noundef zeroext true)
          to label %250 unwind label %277

250:                                              ; preds = %249
  %251 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIR7TypeRefaSEOS0_(ptr noundef nonnull align 8 dereferenceable(8) %2, ptr noundef nonnull align 8 dereferenceable(8) %22)
          to label %252 unwind label %281

252:                                              ; preds = %250
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %22) #8
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %23) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr %23) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #8
  br label %253

253:                                              ; preds = %252
  %254 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %255 unwind label %87

255:                                              ; preds = %253
  br i1 %254, label %256, label %287

256:                                              ; preds = %255
  %257 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !9
  %258 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %257, ptr noundef @__FUNCTION__._ZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefE)
          to label %259 unwind label %87

259:                                              ; preds = %256
  %260 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %258, ptr noundef @.str.54)
          to label %261 unwind label %87

261:                                              ; preds = %259
  %262 = load i32, ptr %5, align 4, !tbaa !9
  %263 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEj(ptr noundef nonnull align 8 dereferenceable(8) %260, i32 noundef %262)
          to label %264 unwind label %87

264:                                              ; preds = %261
  %265 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %263, ptr noundef @.str.1)
          to label %266 unwind label %87

266:                                              ; preds = %264
  %267 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_7TypeRefE(ptr noundef nonnull align 8 dereferenceable(8) %265, ptr noundef nonnull align 8 dereferenceable(8) %2)
          to label %268 unwind label %87

268:                                              ; preds = %266
  %269 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %267, ptr noundef @_ZSt3decRSt8ios_base)
          to label %270 unwind label %87

270:                                              ; preds = %268
  %271 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %269, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %272 unwind label %87

272:                                              ; preds = %270
  br label %287

273:                                              ; preds = %248
  %274 = landingpad { ptr, i32 }
          cleanup
  %275 = extractvalue { ptr, i32 } %274, 0
  store ptr %275, ptr %9, align 8
  %276 = extractvalue { ptr, i32 } %274, 1
  store i32 %276, ptr %10, align 4
  br label %286

277:                                              ; preds = %249
  %278 = landingpad { ptr, i32 }
          cleanup
  %279 = extractvalue { ptr, i32 } %278, 0
  store ptr %279, ptr %9, align 8
  %280 = extractvalue { ptr, i32 } %278, 1
  store i32 %280, ptr %10, align 4
  br label %285

281:                                              ; preds = %250
  %282 = landingpad { ptr, i32 }
          cleanup
  %283 = extractvalue { ptr, i32 } %282, 0
  store ptr %283, ptr %9, align 8
  %284 = extractvalue { ptr, i32 } %282, 1
  store i32 %284, ptr %10, align 4
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %22) #8
  br label %285

285:                                              ; preds = %281, %277
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %23) #8
  br label %286

286:                                              ; preds = %285, %273
  call void @llvm.lifetime.end.p0(i64 96, ptr %23) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #8
  br label %407

287:                                              ; preds = %272, %255
  br label %288

288:                                              ; preds = %287
  br label %289

289:                                              ; preds = %288
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #8
  %290 = load ptr, ptr %8, align 8, !tbaa !5
  %291 = getelementptr inbounds %"struct.HMTypeInferrence::IVar", ptr %290, i32 0, i32 1
  %292 = call noundef ptr @_ZNKSt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %291) #8
  %293 = invoke noundef nonnull align 8 dereferenceable(184) ptr @_ZNK3HIR7TypeRef4dataEv(ptr noundef nonnull align 8 dereferenceable(8) %292)
          to label %294 unwind label %303

294:                                              ; preds = %289
  %295 = invoke noundef ptr @_ZNK3HIR8TypeData9opt_InferEv(ptr noundef nonnull align 8 dereferenceable(184) %293)
          to label %296 unwind label %303

296:                                              ; preds = %294
  store ptr %295, ptr %24, align 8, !tbaa !5
  %297 = load ptr, ptr %24, align 8, !tbaa !5
  %298 = icmp ne ptr %297, null
  br i1 %298, label %299, label %357

299:                                              ; preds = %296
  %300 = load ptr, ptr %24, align 8, !tbaa !5
  %301 = getelementptr inbounds %"struct.HIR::TypeData::Data_Infer", ptr %300, i32 0, i32 1
  %302 = load i32, ptr %301, align 4, !tbaa !14
  switch i32 %302, label %356 [
    i32 0, label %356
    i32 1, label %307
    i32 2, label %307
  ]

303:                                              ; preds = %367, %294, %289
  %304 = landingpad { ptr, i32 }
          cleanup
  %305 = extractvalue { ptr, i32 } %304, 0
  store ptr %305, ptr %9, align 8
  %306 = extractvalue { ptr, i32 } %304, 1
  store i32 %306, ptr %10, align 4
  br label %393

307:                                              ; preds = %299, %299
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #8
  %308 = invoke noundef nonnull align 8 dereferenceable(184) ptr @_ZNK3HIR7TypeRef4dataEv(ptr noundef nonnull align 8 dereferenceable(8) %2)
          to label %309 unwind label %321

309:                                              ; preds = %307
  %310 = invoke noundef ptr @_ZNK3HIR8TypeData13opt_PrimitiveEv(ptr noundef nonnull align 8 dereferenceable(184) %308)
          to label %311 unwind label %321

311:                                              ; preds = %309
  store ptr %310, ptr %25, align 8, !tbaa !5
  %312 = load ptr, ptr %25, align 8, !tbaa !5
  %313 = icmp ne ptr %312, null
  br i1 %313, label %314, label %325

314:                                              ; preds = %311
  %315 = load ptr, ptr %24, align 8, !tbaa !5
  %316 = getelementptr inbounds %"struct.HIR::TypeData::Data_Infer", ptr %315, i32 0, i32 1
  %317 = load i32, ptr %316, align 4, !tbaa !14
  %318 = load ptr, ptr %25, align 8, !tbaa !5
  %319 = load i32, ptr %318, align 4, !tbaa !15
  invoke void @_Z26check_type_class_primitiveRK4SpanRKN3HIR7TypeRefENS2_10InferClassENS2_8CoreTypeE(ptr noundef nonnull align 8 dereferenceable(8) %7, ptr noundef nonnull align 8 dereferenceable(8) %2, i32 noundef %317, i32 noundef %319)
          to label %320 unwind label %321

320:                                              ; preds = %314
  br label %354

321:                                              ; preds = %337, %327, %325, %314, %309, %307
  %322 = landingpad { ptr, i32 }
          cleanup
  %323 = extractvalue { ptr, i32 } %322, 0
  store ptr %323, ptr %9, align 8
  %324 = extractvalue { ptr, i32 } %322, 1
  store i32 %324, ptr %10, align 4
  br label %355

325:                                              ; preds = %311
  %326 = invoke noundef nonnull align 8 dereferenceable(184) ptr @_ZNK3HIR7TypeRef4dataEv(ptr noundef nonnull align 8 dereferenceable(8) %2)
          to label %327 unwind label %321

327:                                              ; preds = %325
  %328 = invoke noundef zeroext i1 @_ZNK3HIR8TypeData10is_DivergeEv(ptr noundef nonnull align 8 dereferenceable(184) %326)
          to label %329 unwind label %321

329:                                              ; preds = %327
  br i1 %328, label %330, label %331

330:                                              ; preds = %329
  br label %353

331:                                              ; preds = %329
  br label %332

332:                                              ; preds = %331
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #8
  invoke void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %26, ptr noundef nonnull align 8 dereferenceable(8) %7)
          to label %333 unwind label %338

333:                                              ; preds = %332
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #8
  %334 = getelementptr inbounds %class.anon.186, ptr %28, i32 0, i32 0
  store ptr %2, ptr %334, align 8, !tbaa !5
  call void @"_ZNSt8functionIFvRSoEEC2IZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefEE3$_2vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %27, ptr noundef nonnull align 8 dereferenceable(8) %28) #8
  invoke void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %26, ptr noundef %27)
          to label %335 unwind label %342

335:                                              ; preds = %333
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %27) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #8
  %336 = call ptr @__cxa_allocate_exception(i64 16) #8
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %336, ptr noundef @.str.8)
          to label %337 unwind label %347

337:                                              ; preds = %335
  invoke void @__cxa_throw(ptr %336, ptr @_ZTISt13runtime_error, ptr @_ZNSt13runtime_errorD1Ev) #10
          to label %414 unwind label %321

338:                                              ; preds = %332
  %339 = landingpad { ptr, i32 }
          cleanup
  %340 = extractvalue { ptr, i32 } %339, 0
  store ptr %340, ptr %9, align 8
  %341 = extractvalue { ptr, i32 } %339, 1
  store i32 %341, ptr %10, align 4
  br label %346

342:                                              ; preds = %333
  %343 = landingpad { ptr, i32 }
          cleanup
  %344 = extractvalue { ptr, i32 } %343, 0
  store ptr %344, ptr %9, align 8
  %345 = extractvalue { ptr, i32 } %343, 1
  store i32 %345, ptr %10, align 4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %27) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  br label %346

346:                                              ; preds = %342, %338
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #8
  br label %355

347:                                              ; preds = %335
  %348 = landingpad { ptr, i32 }
          cleanup
  %349 = extractvalue { ptr, i32 } %348, 0
  store ptr %349, ptr %9, align 8
  %350 = extractvalue { ptr, i32 } %348, 1
  store i32 %350, ptr %10, align 4
  call void @__cxa_free_exception(ptr %336) #8
  br label %355

351:                                              ; No predecessors!
  br label %352

352:                                              ; preds = %351
  br label %353

353:                                              ; preds = %352, %330
  br label %354

354:                                              ; preds = %353, %320
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #8
  br label %356

355:                                              ; preds = %347, %346, %321
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #8
  br label %393

356:                                              ; preds = %354, %299, %299
  br label %388

357:                                              ; preds = %296
  br label %358

358:                                              ; preds = %357
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #8
  invoke void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %29, ptr noundef nonnull align 8 dereferenceable(8) %7)
          to label %359 unwind label %368

359:                                              ; preds = %358
  call void @llvm.lifetime.start.p0(i64 24, ptr %31) #8
  %360 = getelementptr inbounds %class.anon.187, ptr %31, i32 0, i32 0
  store ptr %5, ptr %360, align 8, !tbaa !5
  %361 = getelementptr inbounds %class.anon.187, ptr %31, i32 0, i32 1
  %362 = load ptr, ptr %8, align 8, !tbaa !5
  store ptr %362, ptr %361, align 8, !tbaa !5
  %363 = getelementptr inbounds %class.anon.187, ptr %31, i32 0, i32 2
  store ptr %2, ptr %363, align 8, !tbaa !5
  invoke void @"_ZNSt8functionIFvRSoEEC2IZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefEE3$_3vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %30, ptr noundef nonnull align 8 dereferenceable(24) %31)
          to label %364 unwind label %372

364:                                              ; preds = %359
  invoke void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %29, ptr noundef %30)
          to label %365 unwind label %376

365:                                              ; preds = %364
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %30) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %31) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %29) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #8
  %366 = call ptr @__cxa_allocate_exception(i64 16) #8
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %366, ptr noundef @.str.8)
          to label %367 unwind label %382

367:                                              ; preds = %365
  invoke void @__cxa_throw(ptr %366, ptr @_ZTISt13runtime_error, ptr @_ZNSt13runtime_errorD1Ev) #10
          to label %414 unwind label %303

368:                                              ; preds = %358
  %369 = landingpad { ptr, i32 }
          cleanup
  %370 = extractvalue { ptr, i32 } %369, 0
  store ptr %370, ptr %9, align 8
  %371 = extractvalue { ptr, i32 } %369, 1
  store i32 %371, ptr %10, align 4
  br label %381

372:                                              ; preds = %359
  %373 = landingpad { ptr, i32 }
          cleanup
  %374 = extractvalue { ptr, i32 } %373, 0
  store ptr %374, ptr %9, align 8
  %375 = extractvalue { ptr, i32 } %373, 1
  store i32 %375, ptr %10, align 4
  br label %380

376:                                              ; preds = %364
  %377 = landingpad { ptr, i32 }
          cleanup
  %378 = extractvalue { ptr, i32 } %377, 0
  store ptr %378, ptr %9, align 8
  %379 = extractvalue { ptr, i32 } %377, 1
  store i32 %379, ptr %10, align 4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %30) #8
  br label %380

380:                                              ; preds = %376, %372
  call void @llvm.lifetime.end.p0(i64 24, ptr %31) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %29) #8
  br label %381

381:                                              ; preds = %380, %368
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #8
  br label %393

382:                                              ; preds = %365
  %383 = landingpad { ptr, i32 }
          cleanup
  %384 = extractvalue { ptr, i32 } %383, 0
  store ptr %384, ptr %9, align 8
  %385 = extractvalue { ptr, i32 } %383, 1
  store i32 %385, ptr %10, align 4
  call void @__cxa_free_exception(ptr %366) #8
  br label %393

386:                                              ; No predecessors!
  br label %387

387:                                              ; preds = %386
  br label %388

388:                                              ; preds = %387, %356
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #8
  invoke void @_Z15make_unique_ptrIN3HIR7TypeRefEESt10unique_ptrIT_St14default_deleteIS3_EEOS3_(ptr dead_on_unwind writable sret(%"class.std::unique_ptr") align 8 %32, ptr noundef nonnull align 8 dereferenceable(8) %2)
          to label %389 unwind label %394

389:                                              ; preds = %388
  %390 = load ptr, ptr %8, align 8, !tbaa !5
  %391 = getelementptr inbounds %"struct.HMTypeInferrence::IVar", ptr %390, i32 0, i32 1
  %392 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS1_EEaSEOS4_(ptr noundef nonnull align 8 dereferenceable(8) %391, ptr noundef nonnull align 8 dereferenceable(8) %32) #8
  call void @_ZNSt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %32) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #8
  br label %398

393:                                              ; preds = %382, %381, %355, %303
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #8
  br label %407

394:                                              ; preds = %388
  %395 = landingpad { ptr, i32 }
          cleanup
  %396 = extractvalue { ptr, i32 } %395, 0
  store ptr %396, ptr %9, align 8
  %397 = extractvalue { ptr, i32 } %395, 1
  store i32 %397, ptr %10, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #8
  br label %407

398:                                              ; preds = %389
  br label %399

399:                                              ; preds = %398, %231
  store i32 0, ptr %21, align 4
  br label %400

400:                                              ; preds = %399, %247
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #8
  %401 = load i32, ptr %21, align 4
  switch i32 %401, label %404 [
    i32 0, label %402
  ]

402:                                              ; preds = %400
  invoke void @_ZN16HMTypeInferrence11mark_changeEv(ptr noundef nonnull align 8 dereferenceable(49) %33)
          to label %403 unwind label %66

403:                                              ; preds = %402
  store i32 0, ptr %21, align 4
  br label %404

404:                                              ; preds = %403, %400
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %7) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #8
  %405 = load i32, ptr %21, align 4
  switch i32 %405, label %414 [
    i32 0, label %406
    i32 1, label %406
  ]

406:                                              ; preds = %404, %404
  ret void

407:                                              ; preds = %394, %393, %286, %237, %193, %192, %175, %121, %87
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #8
  br label %408

408:                                              ; preds = %407, %66
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %7) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #8
  br label %409

409:                                              ; preds = %408
  %410 = load ptr, ptr %9, align 8
  %411 = load i32, ptr %10, align 4
  %412 = insertvalue { ptr, i32 } poison, ptr %410, 0
  %413 = insertvalue { ptr, i32 } %412, i32 %411, 1
  resume { ptr, i32 } %413

414:                                              ; preds = %404, %367, %337, %183, %154
  unreachable
}

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

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

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

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

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

declare noundef zeroext i1 @_ZNK3HIR7TypeRefeqERKS0_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #1

; Function Attrs: mustprogress uwtable
declare hidden void @_ZZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefEEN22Monomorph_AddLifetimesC2Ev(ptr noundef nonnull align 8 dereferenceable(96)) unnamed_addr #4 align 2

declare void @_ZNK13Monomorphiser14monomorph_typeERK4SpanRKN3HIR7TypeRefEb(ptr dead_on_unwind writable sret(%"class.HIR::TypeRef") align 8, ptr noundef nonnull align 8 dereferenceable(96), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8), i1 noundef zeroext) unnamed_addr #1

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

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

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

; Function Attrs: mustprogress uwtable
declare hidden void @"_ZNSt8functionIFvRSoEEC2IZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefEE3$_3vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #4 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_Z15make_unique_ptrIN3HIR7TypeRefEESt10unique_ptrIT_St14default_deleteIS3_EEOS3_(ptr dead_on_unwind noalias writable sret(%"class.std::unique_ptr") align 8, ptr noundef nonnull align 8 dereferenceable(8)) #4

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96)) unnamed_addr #3 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 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 #4 = { 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 #5 = { 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 #6 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #7 = { 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 #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 = !{!"int", !7, i64 0}
!11 = !{!12, !10, i64 0}
!12 = !{!"_ZTSN3HIR8TypeData10Data_InferE", !10, i64 0, !13, i64 4}
!13 = !{!"_ZTSN3HIR10InferClassE", !7, i64 0}
!14 = !{!12, !13, i64 4}
!15 = !{!16, !16, i64 0}
!16 = !{!"_ZTSN3HIR8CoreTypeE", !7, i64 0}
!17 = !{!18, !10, i64 0}
!18 = !{!"_ZTSN16HMTypeInferrence4IVarE", !10, i64 0, !19, i64 8}
!19 = !{!"_ZTSSt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS1_EE", !20, i64 0}
!20 = !{!"_ZTSSt15__uniq_ptr_dataIN3HIR7TypeRefESt14default_deleteIS1_ELb1ELb1EE", !21, i64 0}
!21 = !{!"_ZTSSt15__uniq_ptr_implIN3HIR7TypeRefESt14default_deleteIS1_EE", !22, i64 0}
!22 = !{!"_ZTSSt5tupleIJPN3HIR7TypeRefESt14default_deleteIS1_EEE", !23, i64 0}
!23 = !{!"_ZTSSt11_Tuple_implILm0EJPN3HIR7TypeRefESt14default_deleteIS1_EEE", !24, i64 0}
!24 = !{!"_ZTSSt10_Head_baseILm0EPN3HIR7TypeRefELb0EE", !6, i64 0}


; 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.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.179 = type { ptr, ptr }
%class.anon.180 = type { ptr }
%"class.HIR::TypeRef" = type { ptr }
%struct.Monomorph_AddLifetimes = type { %class.Monomorphiser }
%class.Monomorphiser = type { ptr, ptr, %"class.HIR::ItemPath", %"class.std::vector.181" }
%"class.HIR::ItemPath" = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%"class.std::vector.181" = type { %"struct.std::_Vector_base.182" }
%"struct.std::_Vector_base.182" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.anon.186 = type { ptr }
%class.anon.187 = type { ptr, ptr, ptr }
%"class.std::unique_ptr" = type { %"struct.std::__uniq_ptr_data" }
%"struct.std::__uniq_ptr_data" = type { %"class.std::__uniq_ptr_impl" }
%"class.std::__uniq_ptr_impl" = type { %"class.std::tuple" }
%"class.std::tuple" = type { %"struct.std::_Tuple_impl" }
%"struct.std::_Tuple_impl" = type { %"struct.std::_Head_base.6" }
%"struct.std::_Head_base.6" = type { ptr }

@g_debug_indent_level = external local_unnamed_addr global i32, align 4
@.str.1 = external hidden unnamed_addr constant [4 x i8], align 1
@.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
@.str.37 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.47 = external hidden unnamed_addr constant [5 x i8], align 1
@__FUNCTION__._ZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefE = external hidden unnamed_addr constant [12 x i8], align 1
@.str.49 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.50 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.51 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.52 = external hidden unnamed_addr constant [19 x i8], align 1
@__PRETTY_FUNCTION__._ZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefE = external hidden unnamed_addr constant [65 x i8], align 1
@.str.53 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.54 = 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

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

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 #4 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 #4 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: mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZNKSt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #3 align 2

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

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN4SpanC2Ev(ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #3 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 #7

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

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNK3HIR8TypeData12as_PrimitiveEv(ptr noundef nonnull align 8 dereferenceable(184)) 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 #4 align 2

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(49) %0, i32 noundef %1, ptr noundef %2) local_unnamed_addr #4 align 2 personality ptr @__gxx_personality_v0 {
  %4 = alloca i32, align 4
  %5 = alloca %struct.Span, align 8
  %6 = alloca %struct.Span, align 8
  %7 = alloca %"class.std::function", align 8
  %8 = alloca %class.anon.179, align 8
  %9 = alloca %struct.Span, align 8
  %10 = alloca %"class.std::function", align 8
  %11 = alloca %class.anon.180, align 8
  %12 = alloca %"class.HIR::TypeRef", align 8
  %13 = alloca %struct.Monomorph_AddLifetimes, align 8
  %14 = alloca %struct.Span, align 8
  %15 = alloca %"class.std::function", align 8
  %16 = alloca %class.anon.186, align 8
  %17 = alloca %struct.Span, align 8
  %18 = alloca %"class.std::function", align 8
  %19 = alloca %class.anon.187, align 8
  %20 = alloca %"class.std::unique_ptr", align 8
  store i32 %1, ptr %4, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %5) #8
  call void @_ZN4SpanC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %5)
  %21 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNK16HMTypeInferrence16get_pointed_ivarEj(ptr noundef nonnull align 8 dereferenceable(49) %0, i32 noundef %1)
          to label %22 unwind label %48

22:                                               ; preds = %3
  %23 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %24 unwind label %48

24:                                               ; preds = %22
  br i1 %23, label %25, label %50

25:                                               ; preds = %24
  %26 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !5
  %27 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %26, ptr noundef nonnull @__FUNCTION__._ZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefE)
          to label %28 unwind label %48

28:                                               ; preds = %25
  %29 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %27, ptr noundef nonnull @.str.49)
          to label %30 unwind label %48

30:                                               ; preds = %28
  %31 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEj(ptr noundef nonnull align 8 dereferenceable(8) %29, i32 noundef %1)
          to label %32 unwind label %48

32:                                               ; preds = %30
  %33 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %31, ptr noundef nonnull @.str.50)
          to label %34 unwind label %48

34:                                               ; preds = %32
  %35 = getelementptr inbounds i8, ptr %21, i64 8
  %36 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS1_EEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %35) #8
  %37 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_7TypeRefE(ptr noundef nonnull align 8 dereferenceable(8) %33, ptr noundef nonnull align 8 dereferenceable(8) %36)
          to label %38 unwind label %48

38:                                               ; preds = %34
  %39 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %37, ptr noundef nonnull @.str.51)
          to label %40 unwind label %48

40:                                               ; preds = %38
  %41 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_7TypeRefE(ptr noundef nonnull align 8 dereferenceable(8) %39, ptr noundef nonnull align 8 dereferenceable(8) %2)
          to label %42 unwind label %48

42:                                               ; preds = %40
  %43 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %41, ptr noundef nonnull @.str.37)
          to label %44 unwind label %48

44:                                               ; preds = %42
  %45 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %43, ptr noundef nonnull @_ZSt3decRSt8ios_base)
          to label %46 unwind label %48

46:                                               ; preds = %44
  %47 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %45, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %50 unwind label %48

48:                                               ; preds = %222, %46, %44, %42, %40, %38, %34, %32, %30, %28, %25, %22, %3
  %49 = landingpad { ptr, i32 }
          cleanup
  br label %223

50:                                               ; preds = %46, %24
  %51 = call noundef nonnull align 8 dereferenceable(184) ptr @_ZNK3HIR7TypeRef4dataEv(ptr noundef nonnull align 8 dereferenceable(8) %2)
  %52 = call noundef ptr @_ZNK3HIR8TypeData9opt_InferEv(ptr noundef nonnull align 8 dereferenceable(184) %51)
  %.not = icmp eq ptr %52, null
  br i1 %.not, label %136, label %53

53:                                               ; preds = %50
  %54 = load i32, ptr %52, align 4, !tbaa !9
  %.not59 = icmp eq i32 %54, %1
  br i1 %.not59, label %55, label %58

55:                                               ; preds = %53
  call void @__assert_fail(ptr noundef nonnull @.str.52, ptr noundef nonnull @.str.7, i32 noundef 765, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefE) #9
  unreachable

56:                                               ; preds = %160, %158, %156, %154, %152, %150, %147, %143, %136, %127, %125, %123, %121, %118, %116, %113, %110, %102
  %57 = landingpad { ptr, i32 }
          cleanup
  br label %223

58:                                               ; preds = %53
  %59 = getelementptr inbounds i8, ptr %52, i64 4
  %60 = load i32, ptr %59, align 4, !tbaa !12
  %.not60 = icmp eq i32 %60, 0
  br i1 %.not60, label %110, label %61

61:                                               ; preds = %58
  %62 = getelementptr inbounds i8, ptr %21, i64 8
  %63 = call noundef ptr @_ZNKSt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %62) #8
  %64 = call noundef nonnull align 8 dereferenceable(184) ptr @_ZNK3HIR7TypeRef4dataEv(ptr noundef nonnull align 8 dereferenceable(8) %63)
  %65 = call noundef i32 @_ZNK3HIR8TypeData3tagEv(ptr noundef nonnull align 8 dereferenceable(184) %64)
  switch i32 %65, label %98 [
    i32 0, label %66
    i32 3, label %67
    i32 1, label %75
  ]

66:                                               ; preds = %61
  call void @__assert_fail(ptr noundef nonnull @.str.13, ptr noundef nonnull @.str.7, i32 noundef 780, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefE) #9
  unreachable

67:                                               ; preds = %61
  %68 = call noundef ptr @_ZNKSt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %62) #8
  %69 = call noundef nonnull align 8 dereferenceable(184) ptr @_ZNK3HIR7TypeRef4dataEv(ptr noundef nonnull align 8 dereferenceable(8) %68)
  %70 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK3HIR8TypeData12as_PrimitiveEv(ptr noundef nonnull align 8 dereferenceable(184) %69)
  %71 = load i32, ptr %59, align 4, !tbaa !12
  %72 = load i32, ptr %70, align 4, !tbaa !13
  invoke void @_Z26check_type_class_primitiveRK4SpanRKN3HIR7TypeRefENS2_10InferClassENS2_8CoreTypeE(ptr noundef nonnull align 8 dereferenceable(8) %5, ptr noundef nonnull align 8 dereferenceable(8) %2, i32 noundef %71, i32 noundef %72)
          to label %110 unwind label %73

73:                                               ; preds = %67
  %74 = landingpad { ptr, i32 }
          cleanup
  br label %223

75:                                               ; preds = %61
  %76 = call noundef ptr @_ZNKSt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %62) #8
  %77 = call noundef nonnull align 8 dereferenceable(184) ptr @_ZNK3HIR7TypeRef4dataEv(ptr noundef nonnull align 8 dereferenceable(8) %76)
  %78 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNK3HIR8TypeData8as_InferEv(ptr noundef nonnull align 8 dereferenceable(184) %77)
  %79 = getelementptr inbounds i8, ptr %78, i64 4
  %80 = load i32, ptr %79, align 4, !tbaa !12
  %.not61 = icmp eq i32 %80, 0
  br i1 %.not61, label %110, label %81

81:                                               ; preds = %75
  %82 = load i32, ptr %59, align 4, !tbaa !12
  %.not62 = icmp eq i32 %80, %82
  br i1 %.not62, label %110, label %83

83:                                               ; preds = %81
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #8
  invoke void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %6, ptr noundef nonnull align 8 dereferenceable(8) %5)
          to label %84 unwind label %91

84:                                               ; preds = %83
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %8) #8
  store ptr %2, ptr %8, align 8, !tbaa !15
  %85 = getelementptr inbounds i8, ptr %8, i64 8
  store ptr %21, ptr %85, align 8, !tbaa !15
  call void @"_ZNSt8functionIFvRSoEEC2IZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefEE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %7, ptr noundef nonnull align 8 dereferenceable(16) %8) #8
  invoke void @_ZNK4Span5errorE9ErrorTypeSt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %6, i32 noundef 0, ptr noundef nonnull %7)
          to label %86 unwind label %93

86:                                               ; preds = %84
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #8
  call void @llvm.lifetime.end.p0(i64 16, 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
  %87 = call ptr @__cxa_allocate_exception(i64 16) #8
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %87, ptr noundef nonnull @.str.53)
          to label %88 unwind label %96

88:                                               ; preds = %86
  invoke void @__cxa_throw(ptr nonnull %87, ptr nonnull @_ZTISt13runtime_error, ptr nonnull @_ZNSt13runtime_errorD1Ev) #10
          to label %224 unwind label %89

89:                                               ; preds = %88
  %90 = landingpad { ptr, i32 }
          cleanup
  br label %223

91:                                               ; preds = %83
  %92 = landingpad { ptr, i32 }
          cleanup
  br label %95

93:                                               ; preds = %84
  %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 16, ptr nonnull %8) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %6) #8
  br label %95

95:                                               ; preds = %93, %91
  %.pn63 = phi { ptr, i32 } [ %94, %93 ], [ %92, %91 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #8
  br label %223

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

98:                                               ; preds = %61
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #8
  invoke void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(8) %5)
          to label %99 unwind label %103

99:                                               ; preds = %98
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %11) #8
  store ptr %21, ptr %11, align 8, !tbaa !15
  call void @"_ZNSt8functionIFvRSoEEC2IZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefEE3$_1vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %10, ptr noundef nonnull align 8 dereferenceable(8) %11) #8
  invoke void @_ZNK4Span5errorE9ErrorTypeSt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %9, i32 noundef 0, ptr noundef nonnull %10)
          to label %100 unwind label %105

100:                                              ; preds = %99
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %10) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %9) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #8
  %101 = call ptr @__cxa_allocate_exception(i64 16) #8
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %101, ptr noundef nonnull @.str.53)
          to label %102 unwind label %108

102:                                              ; preds = %100
  invoke void @__cxa_throw(ptr nonnull %101, ptr nonnull @_ZTISt13runtime_error, ptr nonnull @_ZNSt13runtime_errorD1Ev) #10
          to label %224 unwind label %56

103:                                              ; preds = %98
  %104 = landingpad { ptr, i32 }
          cleanup
  br label %107

105:                                              ; preds = %99
  %106 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %10) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %9) #8
  br label %107

107:                                              ; preds = %105, %103
  %.pn67 = phi { ptr, i32 } [ %106, %105 ], [ %104, %103 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #8
  br label %223

108:                                              ; preds = %100
  %109 = landingpad { ptr, i32 }
          cleanup
  call void @__cxa_free_exception(ptr %101) #8
  br label %223

110:                                              ; preds = %75, %81, %67, %58
  %111 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %112 unwind label %56

112:                                              ; preds = %110
  br i1 %111, label %113, label %129

113:                                              ; preds = %112
  %114 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !5
  %115 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %114, ptr noundef nonnull @__FUNCTION__._ZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefE)
          to label %116 unwind label %56

116:                                              ; preds = %113
  %117 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %115, ptr noundef nonnull @.str.54)
          to label %118 unwind label %56

118:                                              ; preds = %116
  %119 = load i32, ptr %52, align 4, !tbaa !9
  %120 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEj(ptr noundef nonnull align 8 dereferenceable(8) %117, i32 noundef %119)
          to label %121 unwind label %56

121:                                              ; preds = %118
  %122 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %120, ptr noundef nonnull @.str.47)
          to label %123 unwind label %56

123:                                              ; preds = %121
  %124 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEj(ptr noundef nonnull align 8 dereferenceable(8) %122, i32 noundef %1)
          to label %125 unwind label %56

125:                                              ; preds = %123
  %126 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %124, ptr noundef nonnull @_ZSt3decRSt8ios_base)
          to label %127 unwind label %56

127:                                              ; preds = %125
  %128 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %126, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %129 unwind label %56

129:                                              ; preds = %127, %112
  %130 = load i32, ptr %52, align 4, !tbaa !9
  %131 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNK16HMTypeInferrence16get_pointed_ivarEj(ptr noundef nonnull align 8 dereferenceable(49) %0, i32 noundef %130)
          to label %132 unwind label %134

132:                                              ; preds = %129
  store i32 %1, ptr %131, align 8, !tbaa !17
  %133 = getelementptr inbounds i8, ptr %131, i64 8
  call void @_ZNSt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS1_EE5resetEPS1_(ptr noundef nonnull align 8 dereferenceable(8) %133, ptr noundef null) #8
  br label %222

134:                                              ; preds = %129
  %135 = landingpad { ptr, i32 }
          cleanup
  br label %223

136:                                              ; preds = %50
  %137 = getelementptr inbounds i8, ptr %21, i64 8
  %138 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS1_EEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %137) #8
  %139 = invoke noundef zeroext i1 @_ZNK3HIR7TypeRefeqERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %138, ptr noundef nonnull align 8 dereferenceable(8) %2)
          to label %140 unwind label %56

140:                                              ; preds = %136
  br i1 %139, label %.critedge, label %141

141:                                              ; preds = %140
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %12) #8
  call void @llvm.lifetime.start.p0(i64 96, ptr nonnull %13) #8
  invoke void @_ZZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefEEN22Monomorph_AddLifetimesC2Ev(ptr noundef nonnull align 8 dereferenceable(96) %13)
          to label %142 unwind label %162

142:                                              ; preds = %141
  invoke void @_ZNK13Monomorphiser14monomorph_typeERK4SpanRKN3HIR7TypeRefEb(ptr dead_on_unwind nonnull writable sret(%"class.HIR::TypeRef") align 8 %12, ptr noundef nonnull align 8 dereferenceable(96) %13, ptr noundef nonnull align 8 dereferenceable(8) %5, ptr noundef nonnull align 8 dereferenceable(8) %2, i1 noundef zeroext true)
          to label %143 unwind label %164

143:                                              ; preds = %142
  %144 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIR7TypeRefaSEOS0_(ptr noundef nonnull align 8 dereferenceable(8) %2, ptr noundef nonnull align 8 dereferenceable(8) %12)
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %13) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %13) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #8
  %145 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %146 unwind label %56

146:                                              ; preds = %143
  br i1 %145, label %147, label %167

147:                                              ; preds = %146
  %148 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !5
  %149 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %148, ptr noundef nonnull @__FUNCTION__._ZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefE)
          to label %150 unwind label %56

150:                                              ; preds = %147
  %151 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %149, ptr noundef nonnull @.str.54)
          to label %152 unwind label %56

152:                                              ; preds = %150
  %153 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEj(ptr noundef nonnull align 8 dereferenceable(8) %151, i32 noundef %1)
          to label %154 unwind label %56

154:                                              ; preds = %152
  %155 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %153, ptr noundef nonnull @.str.1)
          to label %156 unwind label %56

156:                                              ; preds = %154
  %157 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_7TypeRefE(ptr noundef nonnull align 8 dereferenceable(8) %155, ptr noundef nonnull align 8 dereferenceable(8) %2)
          to label %158 unwind label %56

158:                                              ; preds = %156
  %159 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %157, ptr noundef nonnull @_ZSt3decRSt8ios_base)
          to label %160 unwind label %56

160:                                              ; preds = %158
  %161 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %159, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %167 unwind label %56

162:                                              ; preds = %141
  %163 = landingpad { ptr, i32 }
          cleanup
  br label %166

164:                                              ; preds = %142
  %165 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %13) #8
  br label %166

166:                                              ; preds = %164, %162
  %.pn = phi { ptr, i32 } [ %165, %164 ], [ %163, %162 ]
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %13) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #8
  br label %223

167:                                              ; preds = %160, %146
  %168 = call noundef ptr @_ZNKSt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %137) #8
  %169 = call noundef nonnull align 8 dereferenceable(184) ptr @_ZNK3HIR7TypeRef4dataEv(ptr noundef nonnull align 8 dereferenceable(8) %168)
  %170 = call noundef ptr @_ZNK3HIR8TypeData9opt_InferEv(ptr noundef nonnull align 8 dereferenceable(184) %169)
  %.not49 = icmp eq ptr %170, null
  br i1 %.not49, label %199, label %171

171:                                              ; preds = %167
  %172 = getelementptr inbounds i8, ptr %170, i64 4
  %173 = load i32, ptr %172, align 4, !tbaa !12
  %.off = add i32 %173, -1
  %switch = icmp ult i32 %.off, 2
  br i1 %switch, label %176, label %217

174:                                              ; preds = %206
  %175 = landingpad { ptr, i32 }
          cleanup
  br label %223

176:                                              ; preds = %171
  %177 = call noundef nonnull align 8 dereferenceable(184) ptr @_ZNK3HIR7TypeRef4dataEv(ptr noundef nonnull align 8 dereferenceable(8) %2)
  %178 = call noundef ptr @_ZNK3HIR8TypeData13opt_PrimitiveEv(ptr noundef nonnull align 8 dereferenceable(184) %177)
  %.not53 = icmp eq ptr %178, null
  br i1 %.not53, label %184, label %179

179:                                              ; preds = %176
  %180 = load i32, ptr %172, align 4, !tbaa !12
  %181 = load i32, ptr %178, align 4, !tbaa !13
  invoke void @_Z26check_type_class_primitiveRK4SpanRKN3HIR7TypeRefENS2_10InferClassENS2_8CoreTypeE(ptr noundef nonnull align 8 dereferenceable(8) %5, ptr noundef nonnull align 8 dereferenceable(8) %2, i32 noundef %180, i32 noundef %181)
          to label %217 unwind label %182

182:                                              ; preds = %191, %179
  %183 = landingpad { ptr, i32 }
          cleanup
  br label %223

184:                                              ; preds = %176
  %185 = call noundef nonnull align 8 dereferenceable(184) ptr @_ZNK3HIR7TypeRef4dataEv(ptr noundef nonnull align 8 dereferenceable(8) %2)
  %186 = call noundef zeroext i1 @_ZNK3HIR8TypeData10is_DivergeEv(ptr noundef nonnull align 8 dereferenceable(184) %185)
  br i1 %186, label %217, label %187

187:                                              ; preds = %184
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %14) #8
  invoke void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull align 8 dereferenceable(8) %5)
          to label %188 unwind label %192

188:                                              ; preds = %187
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %16) #8
  store ptr %2, ptr %16, align 8, !tbaa !15
  call void @"_ZNSt8functionIFvRSoEEC2IZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefEE3$_2vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %15, ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  invoke void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull %15)
          to label %189 unwind label %194

189:                                              ; preds = %188
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %16) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %14) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #8
  %190 = call ptr @__cxa_allocate_exception(i64 16) #8
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %190, ptr noundef nonnull @.str.8)
          to label %191 unwind label %197

191:                                              ; preds = %189
  invoke void @__cxa_throw(ptr nonnull %190, ptr nonnull @_ZTISt13runtime_error, ptr nonnull @_ZNSt13runtime_errorD1Ev) #10
          to label %224 unwind label %182

192:                                              ; preds = %187
  %193 = landingpad { ptr, i32 }
          cleanup
  br label %196

194:                                              ; preds = %188
  %195 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %16) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %14) #8
  br label %196

196:                                              ; preds = %194, %192
  %.pn54 = phi { ptr, i32 } [ %195, %194 ], [ %193, %192 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #8
  br label %223

197:                                              ; preds = %189
  %198 = landingpad { ptr, i32 }
          cleanup
  call void @__cxa_free_exception(ptr %190) #8
  br label %223

199:                                              ; preds = %167
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %17) #8
  invoke void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %17, ptr noundef nonnull align 8 dereferenceable(8) %5)
          to label %200 unwind label %207

200:                                              ; preds = %199
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %19) #8
  store ptr %4, ptr %19, align 8, !tbaa !15
  %201 = getelementptr inbounds i8, ptr %19, i64 8
  store ptr %21, ptr %201, align 8, !tbaa !15
  %202 = getelementptr inbounds i8, ptr %19, i64 16
  store ptr %2, ptr %202, align 8, !tbaa !15
  invoke void @"_ZNSt8functionIFvRSoEEC2IZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefEE3$_3vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %18, ptr noundef nonnull align 8 dereferenceable(24) %19)
          to label %203 unwind label %209

203:                                              ; preds = %200
  invoke void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %17, ptr noundef nonnull %18)
          to label %204 unwind label %211

204:                                              ; preds = %203
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %19) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %17) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %17) #8
  %205 = call ptr @__cxa_allocate_exception(i64 16) #8
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %205, ptr noundef nonnull @.str.8)
          to label %206 unwind label %215

206:                                              ; preds = %204
  invoke void @__cxa_throw(ptr nonnull %205, ptr nonnull @_ZTISt13runtime_error, ptr nonnull @_ZNSt13runtime_errorD1Ev) #10
          to label %224 unwind label %174

207:                                              ; preds = %199
  %208 = landingpad { ptr, i32 }
          cleanup
  br label %214

209:                                              ; preds = %200
  %210 = landingpad { ptr, i32 }
          cleanup
  br label %213

211:                                              ; preds = %203
  %212 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #8
  br label %213

213:                                              ; preds = %211, %209
  %.pn50 = phi { ptr, i32 } [ %212, %211 ], [ %210, %209 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %19) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %17) #8
  br label %214

214:                                              ; preds = %213, %207
  %.pn50.pn = phi { ptr, i32 } [ %.pn50, %213 ], [ %208, %207 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %17) #8
  br label %223

215:                                              ; preds = %204
  %216 = landingpad { ptr, i32 }
          cleanup
  call void @__cxa_free_exception(ptr %205) #8
  br label %223

217:                                              ; preds = %179, %184, %171
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %20) #8
  invoke void @_Z15make_unique_ptrIN3HIR7TypeRefEESt10unique_ptrIT_St14default_deleteIS3_EEOS3_(ptr dead_on_unwind nonnull writable sret(%"class.std::unique_ptr") align 8 %20, ptr noundef nonnull align 8 dereferenceable(8) %2)
          to label %218 unwind label %220

218:                                              ; preds = %217
  %219 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS1_EEaSEOS4_(ptr noundef nonnull align 8 dereferenceable(8) %137, ptr noundef nonnull align 8 dereferenceable(8) %20) #8
  call void @_ZNSt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %20) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #8
  br label %222

220:                                              ; preds = %217
  %221 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #8
  br label %223

222:                                              ; preds = %218, %132
  invoke void @_ZN16HMTypeInferrence11mark_changeEv(ptr noundef nonnull align 8 dereferenceable(49) %0)
          to label %.critedge unwind label %48

.critedge:                                        ; preds = %140, %222
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %5) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #8
  ret void

223:                                              ; preds = %56, %73, %107, %108, %134, %166, %220, %96, %95, %89, %182, %196, %197, %215, %214, %174, %48
  %.pn69.pn = phi { ptr, i32 } [ %49, %48 ], [ %57, %56 ], [ %109, %108 ], [ %.pn67, %107 ], [ %135, %134 ], [ %74, %73 ], [ %221, %220 ], [ %.pn, %166 ], [ %90, %89 ], [ %97, %96 ], [ %.pn63, %95 ], [ %175, %174 ], [ %216, %215 ], [ %.pn50.pn, %214 ], [ %183, %182 ], [ %198, %197 ], [ %.pn54, %196 ]
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %5) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #8
  resume { ptr, i32 } %.pn69.pn

224:                                              ; preds = %206, %191, %102, %88
  unreachable
}

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

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

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

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

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

declare noundef zeroext i1 @_ZNK3HIR7TypeRefeqERKS0_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #1

; Function Attrs: mustprogress uwtable
declare hidden void @_ZZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefEEN22Monomorph_AddLifetimesC2Ev(ptr noundef nonnull align 8 dereferenceable(96)) unnamed_addr #4 align 2

declare void @_ZNK13Monomorphiser14monomorph_typeERK4SpanRKN3HIR7TypeRefEb(ptr dead_on_unwind writable sret(%"class.HIR::TypeRef") align 8, ptr noundef nonnull align 8 dereferenceable(96), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8), i1 noundef zeroext) unnamed_addr #1

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

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

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

; Function Attrs: mustprogress uwtable
declare hidden void @"_ZNSt8functionIFvRSoEEC2IZN16HMTypeInferrence11set_ivar_toEjN3HIR7TypeRefEE3$_3vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #4 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_Z15make_unique_ptrIN3HIR7TypeRefEESt10unique_ptrIT_St14default_deleteIS3_EEOS3_(ptr dead_on_unwind noalias writable sret(%"class.std::unique_ptr") align 8, ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #4

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96)) unnamed_addr #3 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 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 #4 = { 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 #5 = { 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 #6 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #7 = { 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 #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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !6, i64 0}
!10 = !{!"_ZTSN3HIR8TypeData10Data_InferE", !6, i64 0, !11, i64 4}
!11 = !{!"_ZTSN3HIR10InferClassE", !7, i64 0}
!12 = !{!10, !11, i64 4}
!13 = !{!14, !14, i64 0}
!14 = !{!"_ZTSN3HIR8CoreTypeE", !7, i64 0}
!15 = !{!16, !16, i64 0}
!16 = !{!"any pointer", !7, i64 0}
!17 = !{!18, !6, i64 0}
!18 = !{!"_ZTSN16HMTypeInferrence4IVarE", !6, i64 0, !19, i64 8}
!19 = !{!"_ZTSSt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS1_EE", !20, i64 0}
!20 = !{!"_ZTSSt15__uniq_ptr_dataIN3HIR7TypeRefESt14default_deleteIS1_ELb1ELb1EE", !21, i64 0}
!21 = !{!"_ZTSSt15__uniq_ptr_implIN3HIR7TypeRefESt14default_deleteIS1_EE", !22, i64 0}
!22 = !{!"_ZTSSt5tupleIJPN3HIR7TypeRefESt14default_deleteIS1_EEE", !23, i64 0}
!23 = !{!"_ZTSSt11_Tuple_implILm0EJPN3HIR7TypeRefESt14default_deleteIS1_EEE", !24, i64 0}
!24 = !{!"_ZTSSt10_Head_baseILm0EPN3HIR7TypeRefELb0EE", !16, i64 0}


; Effective O3 passes: EarlyCSEPass,GVNPass,GlobalOptPass,InferFunctionAttrsPass,InstCombinePass,SROAPass,SimplifyCFGPass