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

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

%"class.HIR::TypeRef" = type { ptr }
%"class.__gnu_cxx::__normal_iterator.500" = type { ptr }
%"struct.Context::Associated" = type <{ i32, [4 x i8], %struct.Span, %"class.HIR::TypeRef", %"struct.HIR::SimplePath", %"struct.HIR::PathParams", %"class.HIR::TypeRef", %class.RcString, i8, [7 x i8] }>
%struct.Span = type { ptr }
%"struct.HIR::SimplePath" = type { %class.ThinVector }
%class.ThinVector = type { ptr }
%"struct.HIR::PathParams" = type { %class.ThinVector.69, %class.ThinVector.70, %class.ThinVector.71 }
%class.ThinVector.69 = type { ptr }
%class.ThinVector.70 = type { ptr }
%class.ThinVector.71 = type { ptr }
%class.RcString = type { ptr }
%"struct.(anonymous namespace)::MonomorphEraseHrls" = type { %class.Monomorphiser }
%class.Monomorphiser = type { ptr, ptr, %"class.HIR::ItemPath", %"class.std::vector.86" }
%"class.HIR::ItemPath" = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%"class.std::vector.86" = type { %"struct.std::_Vector_base.87" }
%"struct.std::_Vector_base.87" = 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 }
%struct.Context = type { ptr, %"class.std::vector", %class.HMTypeInferrence, %class.TraitResolution, i32, %"class.std::vector.23", %"class.std::vector.28", %"class.std::vector.33", %"class.std::vector.38", %"class.std::vector.43", %"class.std::vector.47", %"class.std::map.52", %"struct.HIR::SimplePath" }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<Context::Binding, std::allocator<Context::Binding>>::_Vector_impl" }
%"struct.std::_Vector_base<Context::Binding, std::allocator<Context::Binding>>::_Vector_impl" = type { %"struct.std::_Vector_base<Context::Binding, std::allocator<Context::Binding>>::_Vector_impl_data" }
%"struct.std::_Vector_base<Context::Binding, std::allocator<Context::Binding>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HMTypeInferrence = type <{ %"class.std::vector.0", %"class.std::vector.5", i8, [7 x i8] }>
%"class.std::vector.0" = type { %"struct.std::_Vector_base.1" }
%"struct.std::_Vector_base.1" = type { %"struct.std::_Vector_base<HMTypeInferrence::IVar, std::allocator<HMTypeInferrence::IVar>>::_Vector_impl" }
%"struct.std::_Vector_base<HMTypeInferrence::IVar, std::allocator<HMTypeInferrence::IVar>>::_Vector_impl" = type { %"struct.std::_Vector_base<HMTypeInferrence::IVar, std::allocator<HMTypeInferrence::IVar>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HMTypeInferrence::IVar, std::allocator<HMTypeInferrence::IVar>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.5" = type { %"struct.std::_Vector_base.6" }
%"struct.std::_Vector_base.6" = type { %"struct.std::_Vector_base<HMTypeInferrence::IVarValue, std::allocator<HMTypeInferrence::IVarValue>>::_Vector_impl" }
%"struct.std::_Vector_base<HMTypeInferrence::IVarValue, std::allocator<HMTypeInferrence::IVarValue>>::_Vector_impl" = type { %"struct.std::_Vector_base<HMTypeInferrence::IVarValue, std::allocator<HMTypeInferrence::IVarValue>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HMTypeInferrence::IVarValue, std::allocator<HMTypeInferrence::IVarValue>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.TraitResolution = type { %struct.TraitResolveCommon, ptr, ptr, ptr, ptr, ptr, %"class.std::vector.18" }
%struct.TraitResolveCommon = type { ptr, ptr, ptr, %"class.std::map", %class.RangeVecMap, %"struct.HIR::SimplePath", %"struct.HIR::SimplePath", %"struct.HIR::SimplePath", %"struct.HIR::SimplePath", %"struct.HIR::SimplePath", %"struct.HIR::SimplePath", %"struct.HIR::SimplePath", %"struct.HIR::SimplePath", %"struct.HIR::SimplePath", %"struct.HIR::SimplePath", %"struct.HIR::SimplePath", %"struct.HIR::SimplePath", %"struct.HIR::SimplePath", %"struct.HIR::SimplePath" }
%"class.std::map" = type { %"class.std::_Rb_tree" }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<HIR::TypeRef, std::pair<const HIR::TypeRef, TraitResolveCommon::CachedEquality>, std::_Select1st<std::pair<const HIR::TypeRef, TraitResolveCommon::CachedEquality>>, std::less<HIR::TypeRef>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<HIR::TypeRef, std::pair<const HIR::TypeRef, TraitResolveCommon::CachedEquality>, std::_Select1st<std::pair<const HIR::TypeRef, TraitResolveCommon::CachedEquality>>, std::less<HIR::TypeRef>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.std::_Rb_tree_header" = type { %"struct.std::_Rb_tree_node_base", i64 }
%"struct.std::_Rb_tree_node_base" = type { i32, ptr, ptr, ptr }
%class.RangeVecMap = type <{ %"class.std::vector.13", [8 x i8] }>
%"class.std::vector.13" = type { %"struct.std::_Vector_base.14" }
%"struct.std::_Vector_base.14" = type { %"struct.std::_Vector_base<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>, std::allocator<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>, std::allocator<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>, std::allocator<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>, std::allocator<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.18" = type { %"struct.std::_Vector_base.19" }
%"struct.std::_Vector_base.19" = type { %"struct.std::_Vector_base<std::unique_ptr<HIR::TypeRef>, std::allocator<std::unique_ptr<HIR::TypeRef>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::unique_ptr<HIR::TypeRef>, std::allocator<std::unique_ptr<HIR::TypeRef>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::unique_ptr<HIR::TypeRef>, std::allocator<std::unique_ptr<HIR::TypeRef>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::unique_ptr<HIR::TypeRef>, std::allocator<std::unique_ptr<HIR::TypeRef>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.23" = type { %"struct.std::_Vector_base.24" }
%"struct.std::_Vector_base.24" = type { %"struct.std::_Vector_base<std::unique_ptr<Context::Coercion>, std::allocator<std::unique_ptr<Context::Coercion>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::unique_ptr<Context::Coercion>, std::allocator<std::unique_ptr<Context::Coercion>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::unique_ptr<Context::Coercion>, std::allocator<std::unique_ptr<Context::Coercion>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::unique_ptr<Context::Coercion>, std::allocator<std::unique_ptr<Context::Coercion>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.28" = type { %"struct.std::_Vector_base.29" }
%"struct.std::_Vector_base.29" = type { %"struct.std::_Vector_base<Context::Associated, std::allocator<Context::Associated>>::_Vector_impl" }
%"struct.std::_Vector_base<Context::Associated, std::allocator<Context::Associated>>::_Vector_impl" = type { %"struct.std::_Vector_base<Context::Associated, std::allocator<Context::Associated>>::_Vector_impl_data" }
%"struct.std::_Vector_base<Context::Associated, std::allocator<Context::Associated>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.33" = type { %"struct.std::_Vector_base.34" }
%"struct.std::_Vector_base.34" = type { %"struct.std::_Vector_base<HIR::ExprNode *, std::allocator<HIR::ExprNode *>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::ExprNode *, std::allocator<HIR::ExprNode *>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::ExprNode *, std::allocator<HIR::ExprNode *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::ExprNode *, std::allocator<HIR::ExprNode *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.38" = type { %"struct.std::_Vector_base.39" }
%"struct.std::_Vector_base.39" = type { %"struct.std::_Vector_base<std::unique_ptr<Context::Revisitor>, std::allocator<std::unique_ptr<Context::Revisitor>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::unique_ptr<Context::Revisitor>, std::allocator<std::unique_ptr<Context::Revisitor>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::unique_ptr<Context::Revisitor>, std::allocator<std::unique_ptr<Context::Revisitor>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::unique_ptr<Context::Revisitor>, std::allocator<std::unique_ptr<Context::Revisitor>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.43" = type { %"struct.std::_Bvector_base" }
%"struct.std::_Bvector_base" = type { %"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl" }
%"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl" = type { %"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl_data" }
%"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl_data" = type { %"struct.std::_Bit_iterator", %"struct.std::_Bit_iterator", ptr }
%"struct.std::_Bit_iterator" = type { %"struct.std::_Bit_iterator_base.base", [4 x i8] }
%"struct.std::_Bit_iterator_base.base" = type <{ ptr, i32 }>
%"class.std::vector.47" = type { %"struct.std::_Vector_base.48" }
%"struct.std::_Vector_base.48" = type { %"struct.std::_Vector_base<Context::IVarPossible, std::allocator<Context::IVarPossible>>::_Vector_impl" }
%"struct.std::_Vector_base<Context::IVarPossible, std::allocator<Context::IVarPossible>>::_Vector_impl" = type { %"struct.std::_Vector_base<Context::IVarPossible, std::allocator<Context::IVarPossible>>::_Vector_impl_data" }
%"struct.std::_Vector_base<Context::IVarPossible, std::allocator<Context::IVarPossible>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::map.52" = type { %"class.std::_Rb_tree.53" }
%"class.std::_Rb_tree.53" = type { %"struct.std::_Rb_tree<HIR::TypeData_ErasedType_AliasInner *, std::pair<HIR::TypeData_ErasedType_AliasInner *const, Context::TaitEntry>, std::_Select1st<std::pair<HIR::TypeData_ErasedType_AliasInner *const, Context::TaitEntry>>, std::less<HIR::TypeData_ErasedType_AliasInner *>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<HIR::TypeData_ErasedType_AliasInner *, std::pair<HIR::TypeData_ErasedType_AliasInner *const, Context::TaitEntry>, std::_Select1st<std::pair<HIR::TypeData_ErasedType_AliasInner *const, Context::TaitEntry>>, std::less<HIR::TypeData_ErasedType_AliasInner *>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }

@g_debug_indent_level = external global i32, align 4
@.str.12 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.33 = external hidden unnamed_addr constant [4 x i8], align 1
@__FUNCTION__._ZN7Context18equate_types_assocERK4SpanRKN3HIR7TypeRefERKNS3_10SimplePathENS3_10PathParamsES6_PKcb = external hidden unnamed_addr constant [19 x i8], align 1
@.str.34 = external hidden unnamed_addr constant [12 x i8], align 1

declare noundef zeroext i1 @_Z13debug_enabledv() #0

; 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) #1

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

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) #2 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)) #1

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) #2 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)) #1

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

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

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

declare i32 @__gxx_personality_v0(...)

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

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

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #5

; Function Attrs: inlinehint mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_118MonomorphEraseHrlsC2Ev(ptr noundef nonnull align 8 dereferenceable(96)) unnamed_addr #1 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 #0

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN7Context18equate_types_assocERK4SpanRKN3HIR7TypeRefERKNS3_10SimplePathENS3_10PathParamsES6_PKcb(ptr noundef nonnull align 8 dereferenceable(592) %0, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(8) %2, ptr noundef nonnull align 8 dereferenceable(8) %3, ptr noundef %4, ptr noundef nonnull align 8 dereferenceable(8) %5, ptr noundef %6, i1 noundef zeroext %7) #2 align 2 personality ptr @__gxx_personality_v0 {
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca ptr, align 8
  %16 = alloca i8, align 1
  %17 = alloca ptr, align 8
  %18 = alloca %"class.__gnu_cxx::__normal_iterator.500", align 8
  %19 = alloca %"class.__gnu_cxx::__normal_iterator.500", align 8
  %20 = alloca i32, align 4
  %21 = alloca ptr, align 8
  %22 = alloca %"struct.Context::Associated", align 8
  %23 = alloca %"struct.(anonymous namespace)::MonomorphEraseHrls", align 8
  %24 = alloca ptr, align 8
  %25 = alloca i32, align 4
  %26 = alloca %"struct.(anonymous namespace)::MonomorphEraseHrls", align 8
  %27 = alloca %"struct.(anonymous namespace)::MonomorphEraseHrls", align 8
  %28 = alloca i1, align 1
  %29 = alloca i1, align 1
  %30 = alloca i1, align 1
  %31 = alloca i1, align 1
  store ptr %0, ptr %9, align 8, !tbaa !5
  store ptr %1, ptr %10, align 8, !tbaa !5
  store ptr %2, ptr %11, align 8, !tbaa !5
  store ptr %3, ptr %12, align 8, !tbaa !5
  store ptr %4, ptr %13, align 8, !tbaa !5
  store ptr %5, ptr %14, align 8, !tbaa !5
  store ptr %6, ptr %15, align 8, !tbaa !5
  %32 = zext i1 %7 to i8
  store i8 %32, ptr %16, align 1, !tbaa !9
  %33 = load ptr, ptr %9, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #8
  %34 = getelementptr inbounds %struct.Context, ptr %33, i32 0, i32 6
  store ptr %34, ptr %17, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #8
  %35 = load ptr, ptr %17, align 8, !tbaa !5
  %36 = call ptr @_ZNSt6vectorIN7Context10AssociatedESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %35) #8
  %37 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.500", ptr %18, i32 0, i32 0
  store ptr %36, ptr %37, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #8
  %38 = load ptr, ptr %17, align 8, !tbaa !5
  %39 = call ptr @_ZNSt6vectorIN7Context10AssociatedESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %38) #8
  %40 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.500", ptr %19, i32 0, i32 0
  store ptr %39, ptr %40, align 8
  br label %41

41:                                               ; preds = %102, %8
  %42 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN7Context10AssociatedESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %18, ptr noundef nonnull align 8 dereferenceable(8) %19) #8
  br i1 %42, label %44, label %43

43:                                               ; preds = %41
  store i32 2, ptr %20, align 4
  br label %104

44:                                               ; preds = %41
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #8
  %45 = call noundef nonnull align 8 dereferenceable(73) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN7Context10AssociatedESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %18) #8
  store ptr %45, ptr %21, align 8, !tbaa !5
  %46 = load ptr, ptr %21, align 8, !tbaa !5
  %47 = getelementptr inbounds %"struct.Context::Associated", ptr %46, i32 0, i32 3
  %48 = load ptr, ptr %11, align 8, !tbaa !5
  %49 = call noundef zeroext i1 @_ZNK3HIR7TypeRefneERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %47, ptr noundef nonnull align 8 dereferenceable(8) %48)
  br i1 %49, label %50, label %51

50:                                               ; preds = %44
  store i32 3, ptr %20, align 4
  br label %100

51:                                               ; preds = %44
  %52 = load ptr, ptr %21, align 8, !tbaa !5
  %53 = getelementptr inbounds %"struct.Context::Associated", ptr %52, i32 0, i32 4
  %54 = load ptr, ptr %12, align 8, !tbaa !5
  %55 = call noundef zeroext i1 @_ZNK3HIR10SimplePathneERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %53, ptr noundef nonnull align 8 dereferenceable(8) %54)
  br i1 %55, label %56, label %57

56:                                               ; preds = %51
  store i32 3, ptr %20, align 4
  br label %100

57:                                               ; preds = %51
  %58 = load ptr, ptr %21, align 8, !tbaa !5
  %59 = getelementptr inbounds %"struct.Context::Associated", ptr %58, i32 0, i32 5
  %60 = call noundef zeroext i1 @_ZNK3HIR10PathParamsneERKS0_(ptr noundef nonnull align 8 dereferenceable(24) %59, ptr noundef nonnull align 8 dereferenceable(24) %4)
  br i1 %60, label %61, label %62

61:                                               ; preds = %57
  store i32 3, ptr %20, align 4
  br label %100

62:                                               ; preds = %57
  %63 = load ptr, ptr %21, align 8, !tbaa !5
  %64 = getelementptr inbounds %"struct.Context::Associated", ptr %63, i32 0, i32 6
  %65 = load ptr, ptr %14, align 8, !tbaa !5
  %66 = call noundef zeroext i1 @_ZNK3HIR7TypeRefneERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %64, ptr noundef nonnull align 8 dereferenceable(8) %65)
  br i1 %66, label %67, label %68

67:                                               ; preds = %62
  store i32 3, ptr %20, align 4
  br label %100

68:                                               ; preds = %62
  %69 = load ptr, ptr %21, align 8, !tbaa !5
  %70 = getelementptr inbounds %"struct.Context::Associated", ptr %69, i32 0, i32 7
  %71 = load ptr, ptr %15, align 8, !tbaa !5
  %72 = call noundef zeroext i1 @_ZNK8RcStringneEPKc(ptr noundef nonnull align 8 dereferenceable(8) %70, ptr noundef %71)
  br i1 %72, label %73, label %74

73:                                               ; preds = %68
  store i32 3, ptr %20, align 4
  br label %100

74:                                               ; preds = %68
  %75 = load ptr, ptr %21, align 8, !tbaa !5
  %76 = getelementptr inbounds %"struct.Context::Associated", ptr %75, i32 0, i32 8
  %77 = load i8, ptr %76, align 8, !tbaa !11, !range !23, !noundef !24
  %78 = trunc i8 %77 to i1
  %79 = zext i1 %78 to i32
  %80 = load i8, ptr %16, align 1, !tbaa !9, !range !23, !noundef !24
  %81 = trunc i8 %80 to i1
  %82 = zext i1 %81 to i32
  %83 = icmp ne i32 %79, %82
  br i1 %83, label %84, label %85

84:                                               ; preds = %74
  store i32 3, ptr %20, align 4
  br label %100

85:                                               ; preds = %74
  br label %86

86:                                               ; preds = %85
  %87 = call noundef zeroext i1 @_Z13debug_enabledv()
  br i1 %87, label %88, label %97

88:                                               ; preds = %86
  %89 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !25
  %90 = call noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %89, ptr noundef @__FUNCTION__._ZN7Context18equate_types_assocERK4SpanRKN3HIR7TypeRefERKNS3_10SimplePathENS3_10PathParamsES6_PKcb)
  %91 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %90, ptr noundef @.str.34)
  %92 = load ptr, ptr %21, align 8, !tbaa !5
  %93 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZlsRSoRKN7Context10AssociatedE(ptr noundef nonnull align 8 dereferenceable(8) %91, ptr noundef nonnull align 8 dereferenceable(73) %92)
  %94 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %93, ptr noundef @.str.12)
  %95 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %94, ptr noundef @_ZSt3decRSt8ios_base)
  %96 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %95, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  br label %97

97:                                               ; preds = %88, %86
  br label %98

98:                                               ; preds = %97
  br label %99

99:                                               ; preds = %98
  store i32 1, ptr %20, align 4
  br label %100

100:                                              ; preds = %99, %84, %73, %67, %61, %56, %50
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #8
  %101 = load i32, ptr %20, align 4
  switch i32 %101, label %104 [
    i32 3, label %102
  ]

102:                                              ; preds = %100
  %103 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN7Context10AssociatedESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %18) #8
  br label %41

104:                                              ; preds = %100, %43
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #8
  %105 = load i32, ptr %20, align 4
  switch i32 %105, label %214 [
    i32 2, label %106
    i32 1, label %208
  ]

106:                                              ; preds = %104
  %107 = getelementptr inbounds %struct.Context, ptr %33, i32 0, i32 6
  call void @llvm.lifetime.start.p0(i64 80, ptr %22) #8
  %108 = getelementptr inbounds %"struct.Context::Associated", ptr %22, i32 0, i32 0
  %109 = getelementptr inbounds %struct.Context, ptr %33, i32 0, i32 4
  %110 = load i32, ptr %109, align 8, !tbaa !26
  %111 = add i32 %110, 1
  store i32 %111, ptr %109, align 8, !tbaa !26
  store i32 %110, ptr %108, align 8, !tbaa !93
  %112 = getelementptr inbounds %"struct.Context::Associated", ptr %22, i32 0, i32 2
  %113 = load ptr, ptr %10, align 8, !tbaa !5
  call void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %112, ptr noundef nonnull align 8 dereferenceable(8) %113)
  store i1 true, ptr %31, align 1
  %114 = getelementptr inbounds %"struct.Context::Associated", ptr %22, i32 0, i32 3
  call void @llvm.lifetime.start.p0(i64 96, ptr %23) #8
  call void @llvm.memset.p0.i64(ptr align 8 %23, i8 0, i64 96, i1 false)
  invoke void @_ZN12_GLOBAL__N_118MonomorphEraseHrlsC2Ev(ptr noundef nonnull align 8 dereferenceable(96) %23)
          to label %115 unwind label %150

115:                                              ; preds = %106
  %116 = load ptr, ptr %10, align 8, !tbaa !5
  %117 = load ptr, ptr %11, align 8, !tbaa !5
  invoke void @_ZNK13Monomorphiser14monomorph_typeERK4SpanRKN3HIR7TypeRefEb(ptr dead_on_unwind writable sret(%"class.HIR::TypeRef") align 8 %114, ptr noundef nonnull align 8 dereferenceable(96) %23, ptr noundef nonnull align 8 dereferenceable(8) %116, ptr noundef nonnull align 8 dereferenceable(8) %117, i1 noundef zeroext true)
          to label %118 unwind label %154

118:                                              ; preds = %115
  store i1 true, ptr %30, align 1
  %119 = getelementptr inbounds %"struct.Context::Associated", ptr %22, i32 0, i32 4
  %120 = load ptr, ptr %12, align 8, !tbaa !5
  invoke void @_ZNK3HIR10SimplePath5cloneEv(ptr dead_on_unwind writable sret(%"struct.HIR::SimplePath") align 8 %119, ptr noundef nonnull align 8 dereferenceable(8) %120)
          to label %121 unwind label %158

121:                                              ; preds = %118
  store i1 true, ptr %29, align 1
  %122 = getelementptr inbounds %"struct.Context::Associated", ptr %22, i32 0, i32 5
  call void @llvm.lifetime.start.p0(i64 96, ptr %26) #8
  call void @llvm.memset.p0.i64(ptr align 8 %26, i8 0, i64 96, i1 false)
  invoke void @_ZN12_GLOBAL__N_118MonomorphEraseHrlsC2Ev(ptr noundef nonnull align 8 dereferenceable(96) %26)
          to label %123 unwind label %162

123:                                              ; preds = %121
  %124 = load ptr, ptr %10, align 8, !tbaa !5
  invoke void @_ZNK13Monomorphiser21monomorph_path_paramsERK4SpanRKN3HIR10PathParamsEb(ptr dead_on_unwind writable sret(%"struct.HIR::PathParams") align 8 %122, ptr noundef nonnull align 8 dereferenceable(96) %26, ptr noundef nonnull align 8 dereferenceable(8) %124, ptr noundef nonnull align 8 dereferenceable(24) %4, i1 noundef zeroext true)
          to label %125 unwind label %166

125:                                              ; preds = %123
  store i1 true, ptr %28, align 1
  %126 = getelementptr inbounds %"struct.Context::Associated", ptr %22, i32 0, i32 6
  call void @llvm.lifetime.start.p0(i64 96, ptr %27) #8
  call void @llvm.memset.p0.i64(ptr align 8 %27, i8 0, i64 96, i1 false)
  invoke void @_ZN12_GLOBAL__N_118MonomorphEraseHrlsC2Ev(ptr noundef nonnull align 8 dereferenceable(96) %27)
          to label %127 unwind label %170

127:                                              ; preds = %125
  %128 = load ptr, ptr %10, align 8, !tbaa !5
  %129 = load ptr, ptr %14, align 8, !tbaa !5
  invoke void @_ZNK13Monomorphiser14monomorph_typeERK4SpanRKN3HIR7TypeRefEb(ptr dead_on_unwind writable sret(%"class.HIR::TypeRef") align 8 %126, ptr noundef nonnull align 8 dereferenceable(96) %27, ptr noundef nonnull align 8 dereferenceable(8) %128, ptr noundef nonnull align 8 dereferenceable(8) %129, i1 noundef zeroext true)
          to label %130 unwind label %174

130:                                              ; preds = %127
  %131 = getelementptr inbounds %"struct.Context::Associated", ptr %22, i32 0, i32 7
  %132 = load ptr, ptr %15, align 8, !tbaa !5
  invoke void @_ZN8RcStringC2EPKc(ptr noundef nonnull align 8 dereferenceable(8) %131, ptr noundef %132)
          to label %133 unwind label %178

133:                                              ; preds = %130
  %134 = getelementptr inbounds %"struct.Context::Associated", ptr %22, i32 0, i32 8
  %135 = load i8, ptr %16, align 1, !tbaa !9, !range !23, !noundef !24
  %136 = trunc i8 %135 to i1
  %137 = zext i1 %136 to i8
  store i8 %137, ptr %134, align 8, !tbaa !11
  store i1 false, ptr %28, align 1
  store i1 false, ptr %29, align 1
  store i1 false, ptr %30, align 1
  store i1 false, ptr %31, align 1
  invoke void @_ZNSt6vectorIN7Context10AssociatedESaIS1_EE9push_backEOS1_(ptr noundef nonnull align 8 dereferenceable(24) %107, ptr noundef nonnull align 8 dereferenceable(73) %22)
          to label %138 unwind label %182

138:                                              ; preds = %133
  call void @_ZN7Context10AssociatedD2Ev(ptr noundef nonnull align 8 dereferenceable(73) %22) #8
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %27) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr %27) #8
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %26) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr %26) #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 80, ptr %22) #8
  br label %139

139:                                              ; preds = %138
  %140 = call noundef zeroext i1 @_Z13debug_enabledv()
  br i1 %140, label %141, label %205

141:                                              ; preds = %139
  %142 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !25
  %143 = call noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %142, ptr noundef @__FUNCTION__._ZN7Context18equate_types_assocERK4SpanRKN3HIR7TypeRefERKNS3_10SimplePathENS3_10PathParamsES6_PKcb)
  %144 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %143, ptr noundef @.str.33)
  %145 = getelementptr inbounds %struct.Context, ptr %33, i32 0, i32 6
  %146 = call noundef nonnull align 8 dereferenceable(73) ptr @_ZNSt6vectorIN7Context10AssociatedESaIS1_EE4backEv(ptr noundef nonnull align 8 dereferenceable(24) %145) #8
  %147 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZlsRSoRKN7Context10AssociatedE(ptr noundef nonnull align 8 dereferenceable(8) %144, ptr noundef nonnull align 8 dereferenceable(73) %146)
  %148 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %147, ptr noundef @_ZSt3decRSt8ios_base)
  %149 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %148, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  br label %205

150:                                              ; preds = %106
  %151 = landingpad { ptr, i32 }
          cleanup
  %152 = extractvalue { ptr, i32 } %151, 0
  store ptr %152, ptr %24, align 8
  %153 = extractvalue { ptr, i32 } %151, 1
  store i32 %153, ptr %25, align 4
  br label %201

154:                                              ; preds = %115
  %155 = landingpad { ptr, i32 }
          cleanup
  %156 = extractvalue { ptr, i32 } %155, 0
  store ptr %156, ptr %24, align 8
  %157 = extractvalue { ptr, i32 } %155, 1
  store i32 %157, ptr %25, align 4
  br label %200

158:                                              ; preds = %118
  %159 = landingpad { ptr, i32 }
          cleanup
  %160 = extractvalue { ptr, i32 } %159, 0
  store ptr %160, ptr %24, align 8
  %161 = extractvalue { ptr, i32 } %159, 1
  store i32 %161, ptr %25, align 4
  br label %196

162:                                              ; preds = %121
  %163 = landingpad { ptr, i32 }
          cleanup
  %164 = extractvalue { ptr, i32 } %163, 0
  store ptr %164, ptr %24, align 8
  %165 = extractvalue { ptr, i32 } %163, 1
  store i32 %165, ptr %25, align 4
  br label %192

166:                                              ; preds = %123
  %167 = landingpad { ptr, i32 }
          cleanup
  %168 = extractvalue { ptr, i32 } %167, 0
  store ptr %168, ptr %24, align 8
  %169 = extractvalue { ptr, i32 } %167, 1
  store i32 %169, ptr %25, align 4
  br label %191

170:                                              ; preds = %125
  %171 = landingpad { ptr, i32 }
          cleanup
  %172 = extractvalue { ptr, i32 } %171, 0
  store ptr %172, ptr %24, align 8
  %173 = extractvalue { ptr, i32 } %171, 1
  store i32 %173, ptr %25, align 4
  br label %187

174:                                              ; preds = %127
  %175 = landingpad { ptr, i32 }
          cleanup
  %176 = extractvalue { ptr, i32 } %175, 0
  store ptr %176, ptr %24, align 8
  %177 = extractvalue { ptr, i32 } %175, 1
  store i32 %177, ptr %25, align 4
  br label %186

178:                                              ; preds = %130
  %179 = landingpad { ptr, i32 }
          cleanup
  %180 = extractvalue { ptr, i32 } %179, 0
  store ptr %180, ptr %24, align 8
  %181 = extractvalue { ptr, i32 } %179, 1
  store i32 %181, ptr %25, align 4
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %126) #8
  br label %186

182:                                              ; preds = %133
  %183 = landingpad { ptr, i32 }
          cleanup
  %184 = extractvalue { ptr, i32 } %183, 0
  store ptr %184, ptr %24, align 8
  %185 = extractvalue { ptr, i32 } %183, 1
  store i32 %185, ptr %25, align 4
  call void @_ZN7Context10AssociatedD2Ev(ptr noundef nonnull align 8 dereferenceable(73) %22) #8
  br label %186

186:                                              ; preds = %182, %178, %174
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %27) #8
  br label %187

187:                                              ; preds = %186, %170
  call void @llvm.lifetime.end.p0(i64 96, ptr %27) #8
  %188 = load i1, ptr %28, align 1
  br i1 %188, label %189, label %190

189:                                              ; preds = %187
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %122) #8
  br label %190

190:                                              ; preds = %189, %187
  br label %191

191:                                              ; preds = %190, %166
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %26) #8
  br label %192

192:                                              ; preds = %191, %162
  call void @llvm.lifetime.end.p0(i64 96, ptr %26) #8
  %193 = load i1, ptr %29, align 1
  br i1 %193, label %194, label %195

194:                                              ; preds = %192
  call void @_ZN3HIR10SimplePathD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %119) #8
  br label %195

195:                                              ; preds = %194, %192
  br label %196

196:                                              ; preds = %195, %158
  %197 = load i1, ptr %30, align 1
  br i1 %197, label %198, label %199

198:                                              ; preds = %196
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %114) #8
  br label %199

199:                                              ; preds = %198, %196
  br label %200

200:                                              ; preds = %199, %154
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %23) #8
  br label %201

201:                                              ; preds = %200, %150
  call void @llvm.lifetime.end.p0(i64 96, ptr %23) #8
  %202 = load i1, ptr %31, align 1
  br i1 %202, label %203, label %204

203:                                              ; preds = %201
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %112) #8
  br label %204

204:                                              ; preds = %203, %201
  call void @llvm.lifetime.end.p0(i64 80, ptr %22) #8
  br label %209

205:                                              ; preds = %141, %139
  br label %206

206:                                              ; preds = %205
  %207 = getelementptr inbounds %struct.Context, ptr %33, i32 0, i32 2
  call void @_ZN16HMTypeInferrence11mark_changeEv(ptr noundef nonnull align 8 dereferenceable(49) %207)
  br label %208

208:                                              ; preds = %206, %104
  ret void

209:                                              ; preds = %204
  %210 = load ptr, ptr %24, align 8
  %211 = load i32, ptr %25, align 4
  %212 = insertvalue { ptr, i32 } poison, ptr %210, 0
  %213 = insertvalue { ptr, i32 } %212, i32 %211, 1
  resume { ptr, i32 } %213

214:                                              ; preds = %104
  unreachable
}

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

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

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

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

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

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

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

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

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

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

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

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

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

declare void @_ZNK3HIR10SimplePath5cloneEv(ptr dead_on_unwind writable sret(%"struct.HIR::SimplePath") align 8, ptr noundef nonnull align 8 dereferenceable(8)) #0

declare void @_ZNK13Monomorphiser21monomorph_path_paramsERK4SpanRKN3HIR10PathParamsEb(ptr dead_on_unwind writable sret(%"struct.HIR::PathParams") align 8, ptr noundef nonnull align 8 dereferenceable(96), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(24), i1 noundef zeroext) #0

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

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

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"bool", !7, i64 0}
!11 = !{!12, !10, i64 72}
!12 = !{!"_ZTSN7Context10AssociatedE", !13, i64 0, !14, i64 8, !15, i64 16, !16, i64 24, !18, i64 32, !15, i64 56, !22, i64 64, !10, i64 72}
!13 = !{!"int", !7, i64 0}
!14 = !{!"_ZTS4Span", !6, i64 0}
!15 = !{!"_ZTSN3HIR7TypeRefE", !6, i64 0}
!16 = !{!"_ZTSN3HIR10SimplePathE", !17, i64 0}
!17 = !{!"_ZTS10ThinVectorI8RcStringE", !6, i64 0}
!18 = !{!"_ZTSN3HIR10PathParamsE", !19, i64 0, !20, i64 8, !21, i64 16}
!19 = !{!"_ZTS10ThinVectorIN3HIR11LifetimeRefEE", !6, i64 0}
!20 = !{!"_ZTS10ThinVectorIN3HIR7TypeRefEE", !6, i64 0}
!21 = !{!"_ZTS10ThinVectorIN3HIR12ConstGenericEE", !6, i64 0}
!22 = !{!"_ZTS8RcString", !6, i64 0}
!23 = !{i8 0, i8 2}
!24 = !{}
!25 = !{!13, !13, i64 0}
!26 = !{!27, !13, i64 368}
!27 = !{!"_ZTS7Context", !6, i64 0, !28, i64 8, !32, i64 32, !41, i64 88, !13, i64 368, !62, i64 376, !66, i64 400, !70, i64 424, !74, i64 448, !78, i64 472, !84, i64 512, !88, i64 536, !16, i64 584}
!28 = !{!"_ZTSSt6vectorIN7Context7BindingESaIS1_EE", !29, i64 0}
!29 = !{!"_ZTSSt12_Vector_baseIN7Context7BindingESaIS1_EE", !30, i64 0}
!30 = !{!"_ZTSNSt12_Vector_baseIN7Context7BindingESaIS1_EE12_Vector_implE", !31, i64 0}
!31 = !{!"_ZTSNSt12_Vector_baseIN7Context7BindingESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!32 = !{!"_ZTS16HMTypeInferrence", !33, i64 0, !37, i64 24, !10, i64 48}
!33 = !{!"_ZTSSt6vectorIN16HMTypeInferrence4IVarESaIS1_EE", !34, i64 0}
!34 = !{!"_ZTSSt12_Vector_baseIN16HMTypeInferrence4IVarESaIS1_EE", !35, i64 0}
!35 = !{!"_ZTSNSt12_Vector_baseIN16HMTypeInferrence4IVarESaIS1_EE12_Vector_implE", !36, i64 0}
!36 = !{!"_ZTSNSt12_Vector_baseIN16HMTypeInferrence4IVarESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!37 = !{!"_ZTSSt6vectorIN16HMTypeInferrence9IVarValueESaIS1_EE", !38, i64 0}
!38 = !{!"_ZTSSt12_Vector_baseIN16HMTypeInferrence9IVarValueESaIS1_EE", !39, i64 0}
!39 = !{!"_ZTSNSt12_Vector_baseIN16HMTypeInferrence9IVarValueESaIS1_EE12_Vector_implE", !40, i64 0}
!40 = !{!"_ZTSNSt12_Vector_baseIN16HMTypeInferrence9IVarValueESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!41 = !{!"_ZTS15TraitResolution", !42, i64 0, !6, i64 216, !6, i64 224, !6, i64 232, !6, i64 240, !6, i64 248, !58, i64 256}
!42 = !{!"_ZTS18TraitResolveCommon", !6, i64 0, !6, i64 8, !6, i64 16, !43, i64 24, !52, i64 72, !16, i64 104, !16, i64 112, !16, i64 120, !16, i64 128, !16, i64 136, !16, i64 144, !16, i64 152, !16, i64 160, !16, i64 168, !16, i64 176, !16, i64 184, !16, i64 192, !16, i64 200, !16, i64 208}
!43 = !{!"_ZTSSt3mapIN3HIR7TypeRefEN18TraitResolveCommon14CachedEqualityESt4lessIS1_ESaISt4pairIKS1_S3_EEE", !44, i64 0}
!44 = !{!"_ZTSSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_N18TraitResolveCommon14CachedEqualityEESt10_Select1stIS6_ESt4lessIS1_ESaIS6_EE", !45, i64 0}
!45 = !{!"_ZTSNSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_N18TraitResolveCommon14CachedEqualityEESt10_Select1stIS6_ESt4lessIS1_ESaIS6_EE13_Rb_tree_implISA_Lb1EEE", !46, i64 0, !48, i64 8}
!46 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessIN3HIR7TypeRefEEE", !47, i64 0}
!47 = !{!"_ZTSSt4lessIN3HIR7TypeRefEE"}
!48 = !{!"_ZTSSt15_Rb_tree_header", !49, i64 0, !51, i64 32}
!49 = !{!"_ZTSSt18_Rb_tree_node_base", !50, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!50 = !{!"_ZTSSt14_Rb_tree_color", !7, i64 0}
!51 = !{!"long", !7, i64 0}
!52 = !{!"_ZTS11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE", !53, i64 0, !57, i64 24}
!53 = !{!"_ZTSSt6vectorISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE", !54, i64 0}
!54 = !{!"_ZTSSt12_Vector_baseISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE", !55, i64 0}
!55 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE12_Vector_implE", !56, i64 0}
!56 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!57 = !{!"_ZTSN18TraitResolveCommon14CachedBoundCmpE"}
!58 = !{!"_ZTSSt6vectorISt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS2_EESaIS5_EE", !59, i64 0}
!59 = !{!"_ZTSSt12_Vector_baseISt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS2_EESaIS5_EE", !60, i64 0}
!60 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS2_EESaIS5_EE12_Vector_implE", !61, i64 0}
!61 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS2_EESaIS5_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!62 = !{!"_ZTSSt6vectorISt10unique_ptrIN7Context8CoercionESt14default_deleteIS2_EESaIS5_EE", !63, i64 0}
!63 = !{!"_ZTSSt12_Vector_baseISt10unique_ptrIN7Context8CoercionESt14default_deleteIS2_EESaIS5_EE", !64, i64 0}
!64 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrIN7Context8CoercionESt14default_deleteIS2_EESaIS5_EE12_Vector_implE", !65, i64 0}
!65 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrIN7Context8CoercionESt14default_deleteIS2_EESaIS5_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!66 = !{!"_ZTSSt6vectorIN7Context10AssociatedESaIS1_EE", !67, i64 0}
!67 = !{!"_ZTSSt12_Vector_baseIN7Context10AssociatedESaIS1_EE", !68, i64 0}
!68 = !{!"_ZTSNSt12_Vector_baseIN7Context10AssociatedESaIS1_EE12_Vector_implE", !69, i64 0}
!69 = !{!"_ZTSNSt12_Vector_baseIN7Context10AssociatedESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!70 = !{!"_ZTSSt6vectorIPN3HIR8ExprNodeESaIS2_EE", !71, i64 0}
!71 = !{!"_ZTSSt12_Vector_baseIPN3HIR8ExprNodeESaIS2_EE", !72, i64 0}
!72 = !{!"_ZTSNSt12_Vector_baseIPN3HIR8ExprNodeESaIS2_EE12_Vector_implE", !73, i64 0}
!73 = !{!"_ZTSNSt12_Vector_baseIPN3HIR8ExprNodeESaIS2_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!74 = !{!"_ZTSSt6vectorISt10unique_ptrIN7Context9RevisitorESt14default_deleteIS2_EESaIS5_EE", !75, i64 0}
!75 = !{!"_ZTSSt12_Vector_baseISt10unique_ptrIN7Context9RevisitorESt14default_deleteIS2_EESaIS5_EE", !76, i64 0}
!76 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrIN7Context9RevisitorESt14default_deleteIS2_EESaIS5_EE12_Vector_implE", !77, i64 0}
!77 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrIN7Context9RevisitorESt14default_deleteIS2_EESaIS5_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!78 = !{!"_ZTSSt6vectorIbSaIbEE", !79, i64 0}
!79 = !{!"_ZTSSt13_Bvector_baseISaIbEE", !80, i64 0}
!80 = !{!"_ZTSNSt13_Bvector_baseISaIbEE13_Bvector_implE", !81, i64 0}
!81 = !{!"_ZTSNSt13_Bvector_baseISaIbEE18_Bvector_impl_dataE", !82, i64 0, !82, i64 16, !6, i64 32}
!82 = !{!"_ZTSSt13_Bit_iterator", !83, i64 0}
!83 = !{!"_ZTSSt18_Bit_iterator_base", !6, i64 0, !13, i64 8}
!84 = !{!"_ZTSSt6vectorIN7Context12IVarPossibleESaIS1_EE", !85, i64 0}
!85 = !{!"_ZTSSt12_Vector_baseIN7Context12IVarPossibleESaIS1_EE", !86, i64 0}
!86 = !{!"_ZTSNSt12_Vector_baseIN7Context12IVarPossibleESaIS1_EE12_Vector_implE", !87, i64 0}
!87 = !{!"_ZTSNSt12_Vector_baseIN7Context12IVarPossibleESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!88 = !{!"_ZTSSt3mapIPN3HIR30TypeData_ErasedType_AliasInnerEN7Context9TaitEntryESt4lessIS2_ESaISt4pairIKS2_S4_EEE", !89, i64 0}
!89 = !{!"_ZTSSt8_Rb_treeIPN3HIR30TypeData_ErasedType_AliasInnerESt4pairIKS2_N7Context9TaitEntryEESt10_Select1stIS7_ESt4lessIS2_ESaIS7_EE", !90, i64 0}
!90 = !{!"_ZTSNSt8_Rb_treeIPN3HIR30TypeData_ErasedType_AliasInnerESt4pairIKS2_N7Context9TaitEntryEESt10_Select1stIS7_ESt4lessIS2_ESaIS7_EE13_Rb_tree_implISB_Lb1EEE", !91, i64 0, !48, i64 8}
!91 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessIPN3HIR30TypeData_ErasedType_AliasInnerEEE", !92, i64 0}
!92 = !{!"_ZTSSt4lessIPN3HIR30TypeData_ErasedType_AliasInnerEE"}
!93 = !{!12, !13, 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"

%"class.HIR::TypeRef" = type { ptr }
%"class.__gnu_cxx::__normal_iterator.500" = type { ptr }
%"struct.Context::Associated" = type <{ i32, [4 x i8], %struct.Span, %"class.HIR::TypeRef", %"struct.HIR::SimplePath", %"struct.HIR::PathParams", %"class.HIR::TypeRef", %class.RcString, i8, [7 x i8] }>
%struct.Span = type { ptr }
%"struct.HIR::SimplePath" = type { %class.ThinVector }
%class.ThinVector = type { ptr }
%"struct.HIR::PathParams" = type { %class.ThinVector.69, %class.ThinVector.70, %class.ThinVector.71 }
%class.ThinVector.69 = type { ptr }
%class.ThinVector.70 = type { ptr }
%class.ThinVector.71 = type { ptr }
%class.RcString = type { ptr }
%"struct.(anonymous namespace)::MonomorphEraseHrls" = type { %class.Monomorphiser }
%class.Monomorphiser = type { ptr, ptr, %"class.HIR::ItemPath", %"class.std::vector.86" }
%"class.HIR::ItemPath" = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%"class.std::vector.86" = type { %"struct.std::_Vector_base.87" }
%"struct.std::_Vector_base.87" = 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 }

@g_debug_indent_level = external local_unnamed_addr global i32, align 4
@.str.12 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.33 = external hidden unnamed_addr constant [4 x i8], align 1
@__FUNCTION__._ZN7Context18equate_types_assocERK4SpanRKN3HIR7TypeRefERKNS3_10SimplePathENS3_10PathParamsES6_PKcb = external hidden unnamed_addr constant [19 x i8], align 1
@.str.34 = external hidden unnamed_addr constant [12 x i8], align 1

declare noundef zeroext i1 @_Z13debug_enabledv() local_unnamed_addr #0

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

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

; 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 #2 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)) #1

; 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 #2 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)) #1

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

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

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

declare i32 @__gxx_personality_v0(...)

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

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

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #5

; Function Attrs: inlinehint mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_118MonomorphEraseHrlsC2Ev(ptr noundef nonnull align 8 dereferenceable(96)) unnamed_addr #1 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 #0

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN7Context18equate_types_assocERK4SpanRKN3HIR7TypeRefERKNS3_10SimplePathENS3_10PathParamsES6_PKcb(ptr noundef nonnull align 8 dereferenceable(592) %0, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(8) %2, ptr noundef nonnull align 8 dereferenceable(8) %3, ptr noundef %4, ptr noundef nonnull align 8 dereferenceable(8) %5, ptr noundef %6, i1 noundef zeroext %7) local_unnamed_addr #2 align 2 personality ptr @__gxx_personality_v0 {
  %9 = alloca %"class.__gnu_cxx::__normal_iterator.500", align 8
  %10 = alloca %"class.__gnu_cxx::__normal_iterator.500", align 8
  %11 = alloca %"struct.Context::Associated", align 8
  %12 = alloca %"struct.(anonymous namespace)::MonomorphEraseHrls", align 8
  %13 = alloca %"struct.(anonymous namespace)::MonomorphEraseHrls", align 8
  %14 = alloca %"struct.(anonymous namespace)::MonomorphEraseHrls", align 8
  %15 = zext i1 %7 to i8
  %16 = getelementptr inbounds i8, ptr %0, i64 400
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #8
  %17 = tail call ptr @_ZNSt6vectorIN7Context10AssociatedESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %16) #8
  store ptr %17, ptr %9, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #8
  %18 = tail call ptr @_ZNSt6vectorIN7Context10AssociatedESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %16) #8
  store ptr %18, ptr %10, align 8
  %19 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN7Context10AssociatedESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(8) %10) #8
  br i1 %19, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %8, %47
  %20 = call noundef nonnull align 8 dereferenceable(73) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN7Context10AssociatedESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %9) #8
  %21 = getelementptr inbounds i8, ptr %20, i64 16
  %22 = call noundef zeroext i1 @_ZNK3HIR7TypeRefneERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %21, ptr noundef nonnull align 8 dereferenceable(8) %2)
  br i1 %22, label %47, label %23

23:                                               ; preds = %.lr.ph
  %24 = getelementptr inbounds i8, ptr %20, i64 24
  %25 = call noundef zeroext i1 @_ZNK3HIR10SimplePathneERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %24, ptr noundef nonnull align 8 dereferenceable(8) %3)
  br i1 %25, label %47, label %26

26:                                               ; preds = %23
  %27 = getelementptr inbounds i8, ptr %20, i64 32
  %28 = call noundef zeroext i1 @_ZNK3HIR10PathParamsneERKS0_(ptr noundef nonnull align 8 dereferenceable(24) %27, ptr noundef nonnull align 8 dereferenceable(24) %4)
  br i1 %28, label %47, label %29

29:                                               ; preds = %26
  %30 = getelementptr inbounds i8, ptr %20, i64 56
  %31 = call noundef zeroext i1 @_ZNK3HIR7TypeRefneERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %30, ptr noundef nonnull align 8 dereferenceable(8) %5)
  br i1 %31, label %47, label %32

32:                                               ; preds = %29
  %33 = getelementptr inbounds i8, ptr %20, i64 64
  %34 = call noundef zeroext i1 @_ZNK8RcStringneEPKc(ptr noundef nonnull align 8 dereferenceable(8) %33, ptr noundef %6)
  %35 = getelementptr inbounds i8, ptr %20, i64 72
  %36 = load i8, ptr %35, align 8, !range !5
  %.not = icmp ne i8 %36, %15
  %or.cond.not = select i1 %34, i1 true, i1 %.not
  br i1 %or.cond.not, label %47, label %37

37:                                               ; preds = %32
  %38 = call noundef zeroext i1 @_Z13debug_enabledv()
  br i1 %38, label %39, label %.thread68

39:                                               ; preds = %37
  %40 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !6
  %41 = call noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %40, ptr noundef nonnull @__FUNCTION__._ZN7Context18equate_types_assocERK4SpanRKN3HIR7TypeRefERKNS3_10SimplePathENS3_10PathParamsES6_PKcb)
  %42 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %41, ptr noundef nonnull @.str.34)
  %43 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZlsRSoRKN7Context10AssociatedE(ptr noundef nonnull align 8 dereferenceable(8) %42, ptr noundef nonnull align 8 dereferenceable(73) %20)
  %44 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %43, ptr noundef nonnull @.str.12)
  %45 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %44, ptr noundef nonnull @_ZSt3decRSt8ios_base)
  %46 = call 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_)
  br label %.thread68

47:                                               ; preds = %.lr.ph, %23, %26, %29, %32
  %48 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN7Context10AssociatedESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %9) #8
  %49 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN7Context10AssociatedESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(8) %10) #8
  br i1 %49, label %.lr.ph, label %._crit_edge

.thread68:                                        ; preds = %39, %37
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #8
  br label %100

._crit_edge:                                      ; preds = %47, %8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #8
  call void @llvm.lifetime.start.p0(i64 80, ptr nonnull %11) #8
  %50 = getelementptr inbounds i8, ptr %0, i64 368
  %51 = load i32, ptr %50, align 8, !tbaa !10
  %52 = add i32 %51, 1
  store i32 %52, ptr %50, align 8, !tbaa !10
  store i32 %51, ptr %11, align 8, !tbaa !81
  %53 = getelementptr inbounds i8, ptr %11, i64 8
  call void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %53, ptr noundef nonnull align 8 dereferenceable(8) %1)
  %54 = getelementptr inbounds i8, ptr %11, i64 16
  call void @llvm.lifetime.start.p0(i64 96, ptr nonnull %12) #8
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(96) %12, i8 0, i64 96, i1 false)
  invoke void @_ZN12_GLOBAL__N_118MonomorphEraseHrlsC2Ev(ptr noundef nonnull align 8 dereferenceable(96) %12)
          to label %55 unwind label %.thread96

55:                                               ; preds = %._crit_edge
  invoke void @_ZNK13Monomorphiser14monomorph_typeERK4SpanRKN3HIR7TypeRefEb(ptr dead_on_unwind nonnull writable sret(%"class.HIR::TypeRef") align 8 %54, ptr noundef nonnull align 8 dereferenceable(96) %12, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(8) %2, i1 noundef zeroext true)
          to label %56 unwind label %79

56:                                               ; preds = %55
  %57 = getelementptr inbounds i8, ptr %11, i64 24
  invoke void @_ZNK3HIR10SimplePath5cloneEv(ptr dead_on_unwind nonnull writable sret(%"struct.HIR::SimplePath") align 8 %57, ptr noundef nonnull align 8 dereferenceable(8) %3)
          to label %58 unwind label %81

58:                                               ; preds = %56
  %59 = getelementptr inbounds i8, ptr %11, i64 32
  call void @llvm.lifetime.start.p0(i64 96, ptr nonnull %13) #8
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(96) %13, i8 0, i64 96, i1 false)
  invoke void @_ZN12_GLOBAL__N_118MonomorphEraseHrlsC2Ev(ptr noundef nonnull align 8 dereferenceable(96) %13)
          to label %60 unwind label %.thread81

60:                                               ; preds = %58
  invoke void @_ZNK13Monomorphiser21monomorph_path_paramsERK4SpanRKN3HIR10PathParamsEb(ptr dead_on_unwind nonnull writable sret(%"struct.HIR::PathParams") align 8 %59, ptr noundef nonnull align 8 dereferenceable(96) %13, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(24) %4, i1 noundef zeroext true)
          to label %61 unwind label %84

61:                                               ; preds = %60
  %62 = getelementptr inbounds i8, ptr %11, i64 56
  call void @llvm.lifetime.start.p0(i64 96, ptr nonnull %14) #8
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(96) %14, i8 0, i64 96, i1 false)
  invoke void @_ZN12_GLOBAL__N_118MonomorphEraseHrlsC2Ev(ptr noundef nonnull align 8 dereferenceable(96) %14)
          to label %63 unwind label %.thread72

63:                                               ; preds = %61
  invoke void @_ZNK13Monomorphiser14monomorph_typeERK4SpanRKN3HIR7TypeRefEb(ptr dead_on_unwind nonnull writable sret(%"class.HIR::TypeRef") align 8 %62, ptr noundef nonnull align 8 dereferenceable(96) %14, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(8) %5, i1 noundef zeroext true)
          to label %64 unwind label %87

64:                                               ; preds = %63
  %65 = getelementptr inbounds i8, ptr %11, i64 64
  invoke void @_ZN8RcStringC2EPKc(ptr noundef nonnull align 8 dereferenceable(8) %65, ptr noundef %6)
          to label %66 unwind label %89

66:                                               ; preds = %64
  %67 = getelementptr inbounds i8, ptr %11, i64 72
  store i8 %15, ptr %67, align 8, !tbaa !90
  invoke void @_ZNSt6vectorIN7Context10AssociatedESaIS1_EE9push_backEOS1_(ptr noundef nonnull align 8 dereferenceable(24) %16, ptr noundef nonnull align 8 dereferenceable(73) %11)
          to label %68 unwind label %94

68:                                               ; preds = %66
  call void @_ZN7Context10AssociatedD2Ev(ptr noundef nonnull align 8 dereferenceable(73) %11) #8
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %14) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %14) #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 @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %12) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %12) #8
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %11) #8
  %69 = call noundef zeroext i1 @_Z13debug_enabledv()
  br i1 %69, label %70, label %98

70:                                               ; preds = %68
  %71 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !6
  %72 = call noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %71, ptr noundef nonnull @__FUNCTION__._ZN7Context18equate_types_assocERK4SpanRKN3HIR7TypeRefERKNS3_10SimplePathENS3_10PathParamsES6_PKcb)
  %73 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %72, ptr noundef nonnull @.str.33)
  %74 = call noundef nonnull align 8 dereferenceable(73) ptr @_ZNSt6vectorIN7Context10AssociatedESaIS1_EE4backEv(ptr noundef nonnull align 8 dereferenceable(24) %16) #8
  %75 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZlsRSoRKN7Context10AssociatedE(ptr noundef nonnull align 8 dereferenceable(8) %73, ptr noundef nonnull align 8 dereferenceable(73) %74)
  %76 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %75, ptr noundef nonnull @_ZSt3decRSt8ios_base)
  %77 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %76, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  br label %98

.thread96:                                        ; preds = %._crit_edge
  %78 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %12) #8
  br label %96

79:                                               ; preds = %55
  %80 = landingpad { ptr, i32 }
          cleanup
  br label %.thread102

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

.thread81:                                        ; preds = %58
  %83 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %13) #8
  br label %92

84:                                               ; preds = %60
  %85 = landingpad { ptr, i32 }
          cleanup
  br label %.thread87

.thread72:                                        ; preds = %61
  %86 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %14) #8
  br label %91

87:                                               ; preds = %63
  %88 = landingpad { ptr, i32 }
          cleanup
  br label %.thread78

89:                                               ; preds = %64
  %90 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %62) #8
  br label %.thread78

.thread78:                                        ; preds = %89, %87
  %.pn.ph = phi { ptr, i32 } [ %88, %87 ], [ %90, %89 ]
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %14) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %14) #8
  br label %91

91:                                               ; preds = %.thread78, %.thread72
  %.pn.pn75 = phi { ptr, i32 } [ %86, %.thread72 ], [ %.pn.ph, %.thread78 ]
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %59) #8
  br label %.thread87

.thread87:                                        ; preds = %91, %84
  %.pn.pn.pn.ph = phi { ptr, i32 } [ %85, %84 ], [ %.pn.pn75, %91 ]
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %13) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %13) #8
  br label %92

92:                                               ; preds = %.thread87, %.thread81
  %.pn.pn.pn.pn84 = phi { ptr, i32 } [ %83, %.thread81 ], [ %.pn.pn.pn.ph, %.thread87 ]
  call void @_ZN3HIR10SimplePathD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %57) #8
  br label %93

93:                                               ; preds = %92, %81
  %.pn.pn.pn.pn.pn.ph = phi { ptr, i32 } [ %82, %81 ], [ %.pn.pn.pn.pn84, %92 ]
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %54) #8
  br label %.thread102

.thread102:                                       ; preds = %93, %79
  %.pn.pn.pn.pn.pn.pn.ph = phi { ptr, i32 } [ %80, %79 ], [ %.pn.pn.pn.pn.pn.ph, %93 ]
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %12) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %12) #8
  br label %96

94:                                               ; preds = %66
  %95 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7Context10AssociatedD2Ev(ptr noundef nonnull align 8 dereferenceable(73) %11) #8
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %14) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %14) #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 @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %12) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %12) #8
  br label %97

96:                                               ; preds = %.thread102, %.thread96
  %.pn.pn.pn.pn.pn.pn.pn100 = phi { ptr, i32 } [ %78, %.thread96 ], [ %.pn.pn.pn.pn.pn.pn.ph, %.thread102 ]
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %53) #8
  br label %97

97:                                               ; preds = %94, %96
  %.pn.pn.pn.pn.pn.pn.pn99 = phi { ptr, i32 } [ %.pn.pn.pn.pn.pn.pn.pn100, %96 ], [ %95, %94 ]
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %11) #8
  resume { ptr, i32 } %.pn.pn.pn.pn.pn.pn.pn99

98:                                               ; preds = %68, %70
  %99 = getelementptr inbounds i8, ptr %0, i64 32
  call void @_ZN16HMTypeInferrence11mark_changeEv(ptr noundef nonnull align 8 dereferenceable(49) %99)
  br label %100

100:                                              ; preds = %.thread68, %98
  ret void
}

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

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

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

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

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

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

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

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

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

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

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

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

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

declare void @_ZNK3HIR10SimplePath5cloneEv(ptr dead_on_unwind writable sret(%"struct.HIR::SimplePath") align 8, ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #0

declare void @_ZNK13Monomorphiser21monomorph_path_paramsERK4SpanRKN3HIR10PathParamsEb(ptr dead_on_unwind writable sret(%"struct.HIR::PathParams") align 8, ptr noundef nonnull align 8 dereferenceable(96), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(24), i1 noundef zeroext) local_unnamed_addr #0

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

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

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

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

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

!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 = !{i8 0, i8 2}
!6 = !{!7, !7, i64 0}
!7 = !{!"int", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!11, !7, i64 368}
!11 = !{!"_ZTS7Context", !12, i64 0, !13, i64 8, !17, i64 32, !27, i64 88, !7, i64 368, !50, i64 376, !54, i64 400, !58, i64 424, !62, i64 448, !66, i64 472, !72, i64 512, !76, i64 536, !44, i64 584}
!12 = !{!"any pointer", !8, i64 0}
!13 = !{!"_ZTSSt6vectorIN7Context7BindingESaIS1_EE", !14, i64 0}
!14 = !{!"_ZTSSt12_Vector_baseIN7Context7BindingESaIS1_EE", !15, i64 0}
!15 = !{!"_ZTSNSt12_Vector_baseIN7Context7BindingESaIS1_EE12_Vector_implE", !16, i64 0}
!16 = !{!"_ZTSNSt12_Vector_baseIN7Context7BindingESaIS1_EE17_Vector_impl_dataE", !12, i64 0, !12, i64 8, !12, i64 16}
!17 = !{!"_ZTS16HMTypeInferrence", !18, i64 0, !22, i64 24, !26, i64 48}
!18 = !{!"_ZTSSt6vectorIN16HMTypeInferrence4IVarESaIS1_EE", !19, i64 0}
!19 = !{!"_ZTSSt12_Vector_baseIN16HMTypeInferrence4IVarESaIS1_EE", !20, i64 0}
!20 = !{!"_ZTSNSt12_Vector_baseIN16HMTypeInferrence4IVarESaIS1_EE12_Vector_implE", !21, i64 0}
!21 = !{!"_ZTSNSt12_Vector_baseIN16HMTypeInferrence4IVarESaIS1_EE17_Vector_impl_dataE", !12, i64 0, !12, i64 8, !12, i64 16}
!22 = !{!"_ZTSSt6vectorIN16HMTypeInferrence9IVarValueESaIS1_EE", !23, i64 0}
!23 = !{!"_ZTSSt12_Vector_baseIN16HMTypeInferrence9IVarValueESaIS1_EE", !24, i64 0}
!24 = !{!"_ZTSNSt12_Vector_baseIN16HMTypeInferrence9IVarValueESaIS1_EE12_Vector_implE", !25, i64 0}
!25 = !{!"_ZTSNSt12_Vector_baseIN16HMTypeInferrence9IVarValueESaIS1_EE17_Vector_impl_dataE", !12, i64 0, !12, i64 8, !12, i64 16}
!26 = !{!"bool", !8, i64 0}
!27 = !{!"_ZTS15TraitResolution", !28, i64 0, !12, i64 216, !12, i64 224, !12, i64 232, !12, i64 240, !12, i64 248, !46, i64 256}
!28 = !{!"_ZTS18TraitResolveCommon", !12, i64 0, !12, i64 8, !12, i64 16, !29, i64 24, !38, i64 72, !44, i64 104, !44, i64 112, !44, i64 120, !44, i64 128, !44, i64 136, !44, i64 144, !44, i64 152, !44, i64 160, !44, i64 168, !44, i64 176, !44, i64 184, !44, i64 192, !44, i64 200, !44, i64 208}
!29 = !{!"_ZTSSt3mapIN3HIR7TypeRefEN18TraitResolveCommon14CachedEqualityESt4lessIS1_ESaISt4pairIKS1_S3_EEE", !30, i64 0}
!30 = !{!"_ZTSSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_N18TraitResolveCommon14CachedEqualityEESt10_Select1stIS6_ESt4lessIS1_ESaIS6_EE", !31, i64 0}
!31 = !{!"_ZTSNSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_N18TraitResolveCommon14CachedEqualityEESt10_Select1stIS6_ESt4lessIS1_ESaIS6_EE13_Rb_tree_implISA_Lb1EEE", !32, i64 0, !34, i64 8}
!32 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessIN3HIR7TypeRefEEE", !33, i64 0}
!33 = !{!"_ZTSSt4lessIN3HIR7TypeRefEE"}
!34 = !{!"_ZTSSt15_Rb_tree_header", !35, i64 0, !37, i64 32}
!35 = !{!"_ZTSSt18_Rb_tree_node_base", !36, i64 0, !12, i64 8, !12, i64 16, !12, i64 24}
!36 = !{!"_ZTSSt14_Rb_tree_color", !8, i64 0}
!37 = !{!"long", !8, i64 0}
!38 = !{!"_ZTS11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE", !39, i64 0, !43, i64 24}
!39 = !{!"_ZTSSt6vectorISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE", !40, i64 0}
!40 = !{!"_ZTSSt12_Vector_baseISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE", !41, i64 0}
!41 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE12_Vector_implE", !42, i64 0}
!42 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE17_Vector_impl_dataE", !12, i64 0, !12, i64 8, !12, i64 16}
!43 = !{!"_ZTSN18TraitResolveCommon14CachedBoundCmpE"}
!44 = !{!"_ZTSN3HIR10SimplePathE", !45, i64 0}
!45 = !{!"_ZTS10ThinVectorI8RcStringE", !12, i64 0}
!46 = !{!"_ZTSSt6vectorISt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS2_EESaIS5_EE", !47, i64 0}
!47 = !{!"_ZTSSt12_Vector_baseISt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS2_EESaIS5_EE", !48, i64 0}
!48 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS2_EESaIS5_EE12_Vector_implE", !49, i64 0}
!49 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrIN3HIR7TypeRefESt14default_deleteIS2_EESaIS5_EE17_Vector_impl_dataE", !12, i64 0, !12, i64 8, !12, i64 16}
!50 = !{!"_ZTSSt6vectorISt10unique_ptrIN7Context8CoercionESt14default_deleteIS2_EESaIS5_EE", !51, i64 0}
!51 = !{!"_ZTSSt12_Vector_baseISt10unique_ptrIN7Context8CoercionESt14default_deleteIS2_EESaIS5_EE", !52, i64 0}
!52 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrIN7Context8CoercionESt14default_deleteIS2_EESaIS5_EE12_Vector_implE", !53, i64 0}
!53 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrIN7Context8CoercionESt14default_deleteIS2_EESaIS5_EE17_Vector_impl_dataE", !12, i64 0, !12, i64 8, !12, i64 16}
!54 = !{!"_ZTSSt6vectorIN7Context10AssociatedESaIS1_EE", !55, i64 0}
!55 = !{!"_ZTSSt12_Vector_baseIN7Context10AssociatedESaIS1_EE", !56, i64 0}
!56 = !{!"_ZTSNSt12_Vector_baseIN7Context10AssociatedESaIS1_EE12_Vector_implE", !57, i64 0}
!57 = !{!"_ZTSNSt12_Vector_baseIN7Context10AssociatedESaIS1_EE17_Vector_impl_dataE", !12, i64 0, !12, i64 8, !12, i64 16}
!58 = !{!"_ZTSSt6vectorIPN3HIR8ExprNodeESaIS2_EE", !59, i64 0}
!59 = !{!"_ZTSSt12_Vector_baseIPN3HIR8ExprNodeESaIS2_EE", !60, i64 0}
!60 = !{!"_ZTSNSt12_Vector_baseIPN3HIR8ExprNodeESaIS2_EE12_Vector_implE", !61, i64 0}
!61 = !{!"_ZTSNSt12_Vector_baseIPN3HIR8ExprNodeESaIS2_EE17_Vector_impl_dataE", !12, i64 0, !12, i64 8, !12, i64 16}
!62 = !{!"_ZTSSt6vectorISt10unique_ptrIN7Context9RevisitorESt14default_deleteIS2_EESaIS5_EE", !63, i64 0}
!63 = !{!"_ZTSSt12_Vector_baseISt10unique_ptrIN7Context9RevisitorESt14default_deleteIS2_EESaIS5_EE", !64, i64 0}
!64 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrIN7Context9RevisitorESt14default_deleteIS2_EESaIS5_EE12_Vector_implE", !65, i64 0}
!65 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrIN7Context9RevisitorESt14default_deleteIS2_EESaIS5_EE17_Vector_impl_dataE", !12, i64 0, !12, i64 8, !12, i64 16}
!66 = !{!"_ZTSSt6vectorIbSaIbEE", !67, i64 0}
!67 = !{!"_ZTSSt13_Bvector_baseISaIbEE", !68, i64 0}
!68 = !{!"_ZTSNSt13_Bvector_baseISaIbEE13_Bvector_implE", !69, i64 0}
!69 = !{!"_ZTSNSt13_Bvector_baseISaIbEE18_Bvector_impl_dataE", !70, i64 0, !70, i64 16, !12, i64 32}
!70 = !{!"_ZTSSt13_Bit_iterator", !71, i64 0}
!71 = !{!"_ZTSSt18_Bit_iterator_base", !12, i64 0, !7, i64 8}
!72 = !{!"_ZTSSt6vectorIN7Context12IVarPossibleESaIS1_EE", !73, i64 0}
!73 = !{!"_ZTSSt12_Vector_baseIN7Context12IVarPossibleESaIS1_EE", !74, i64 0}
!74 = !{!"_ZTSNSt12_Vector_baseIN7Context12IVarPossibleESaIS1_EE12_Vector_implE", !75, i64 0}
!75 = !{!"_ZTSNSt12_Vector_baseIN7Context12IVarPossibleESaIS1_EE17_Vector_impl_dataE", !12, i64 0, !12, i64 8, !12, i64 16}
!76 = !{!"_ZTSSt3mapIPN3HIR30TypeData_ErasedType_AliasInnerEN7Context9TaitEntryESt4lessIS2_ESaISt4pairIKS2_S4_EEE", !77, i64 0}
!77 = !{!"_ZTSSt8_Rb_treeIPN3HIR30TypeData_ErasedType_AliasInnerESt4pairIKS2_N7Context9TaitEntryEESt10_Select1stIS7_ESt4lessIS2_ESaIS7_EE", !78, i64 0}
!78 = !{!"_ZTSNSt8_Rb_treeIPN3HIR30TypeData_ErasedType_AliasInnerESt4pairIKS2_N7Context9TaitEntryEESt10_Select1stIS7_ESt4lessIS2_ESaIS7_EE13_Rb_tree_implISB_Lb1EEE", !79, i64 0, !34, i64 8}
!79 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessIPN3HIR30TypeData_ErasedType_AliasInnerEEE", !80, i64 0}
!80 = !{!"_ZTSSt4lessIPN3HIR30TypeData_ErasedType_AliasInnerEE"}
!81 = !{!82, !7, i64 0}
!82 = !{!"_ZTSN7Context10AssociatedE", !7, i64 0, !83, i64 8, !84, i64 16, !44, i64 24, !85, i64 32, !84, i64 56, !89, i64 64, !26, i64 72}
!83 = !{!"_ZTS4Span", !12, i64 0}
!84 = !{!"_ZTSN3HIR7TypeRefE", !12, i64 0}
!85 = !{!"_ZTSN3HIR10PathParamsE", !86, i64 0, !87, i64 8, !88, i64 16}
!86 = !{!"_ZTS10ThinVectorIN3HIR11LifetimeRefEE", !12, i64 0}
!87 = !{!"_ZTS10ThinVectorIN3HIR7TypeRefEE", !12, i64 0}
!88 = !{!"_ZTS10ThinVectorIN3HIR12ConstGenericEE", !12, i64 0}
!89 = !{!"_ZTS8RcString", !12, i64 0}
!90 = !{!82, !26, i64 72}


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