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

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

%"class.HIR::TypeRef" = type { ptr }
%"class.std::function.434" = 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.437 = type { i8 }
%"class.RangeVecMap<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound, TraitResolveCommon::CachedBoundCmp>::const_iterator" = type { %"class.__gnu_cxx::__normal_iterator.439" }
%"class.__gnu_cxx::__normal_iterator.439" = type { ptr }
%"class.HIR::ResolvePlaceholdersNop" = type { %"class.HIR::ResolvePlaceholders" }
%"class.HIR::ResolvePlaceholders" = type { ptr }
%"struct.HIR::GenericParams::PrintArgs" = type { ptr }
%struct.ImplRef = type { %"class.ImplRef::Data" }
%"class.ImplRef::Data" = type { i32, %"union.ImplRef::Data::DataUnion" }
%"union.ImplRef::Data::DataUnion" = type { %"struct.ImplRef::Data::Data_Bounded" }
%"struct.ImplRef::Data::Data_Bounded" = type { %"class.HIR::GenericParams", %"class.HIR::TypeRef", %"struct.HIR::PathParams", %"class.std::map" }
%"class.HIR::GenericParams" = type { %"class.std::vector", %"class.std::vector.2", %"class.std::vector.7", %"class.std::vector.12" }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<HIR::TypeParamDef, std::allocator<HIR::TypeParamDef>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::TypeParamDef, std::allocator<HIR::TypeParamDef>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::TypeParamDef, std::allocator<HIR::TypeParamDef>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::TypeParamDef, std::allocator<HIR::TypeParamDef>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.2" = type { %"struct.std::_Vector_base.3" }
%"struct.std::_Vector_base.3" = type { %"struct.std::_Vector_base<HIR::LifetimeDef, std::allocator<HIR::LifetimeDef>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::LifetimeDef, std::allocator<HIR::LifetimeDef>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::LifetimeDef, std::allocator<HIR::LifetimeDef>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::LifetimeDef, std::allocator<HIR::LifetimeDef>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.7" = type { %"struct.std::_Vector_base.8" }
%"struct.std::_Vector_base.8" = type { %"struct.std::_Vector_base<HIR::ValueParamDef, std::allocator<HIR::ValueParamDef>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::ValueParamDef, std::allocator<HIR::ValueParamDef>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::ValueParamDef, std::allocator<HIR::ValueParamDef>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::ValueParamDef, std::allocator<HIR::ValueParamDef>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.12" = type { %"struct.std::_Vector_base.13" }
%"struct.std::_Vector_base.13" = type { %"struct.std::_Vector_base<HIR::GenericBound, std::allocator<HIR::GenericBound>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::GenericBound, std::allocator<HIR::GenericBound>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::GenericBound, std::allocator<HIR::GenericBound>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::GenericBound, std::allocator<HIR::GenericBound>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.HIR::PathParams" = type { %class.ThinVector.17, %class.ThinVector.18, %class.ThinVector.19 }
%class.ThinVector.17 = type { ptr }
%class.ThinVector.18 = type { ptr }
%class.ThinVector.19 = type { ptr }
%"class.std::map" = type { %"class.std::_Rb_tree" }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitPath::AtyEqual>, std::_Select1st<std::pair<const RcString, HIR::TraitPath::AtyEqual>>, std::less<RcString>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitPath::AtyEqual>, std::_Select1st<std::pair<const RcString, HIR::TraitPath::AtyEqual>>, std::less<RcString>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.std::_Rb_tree_header" = type { %"struct.std::_Rb_tree_node_base", i64 }
%"struct.std::_Rb_tree_node_base" = type { i32, ptr, ptr, ptr }
%"struct.std::pair.444" = type { %"class.RangeVecMap<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound, TraitResolveCommon::CachedBoundCmp>::const_iterator", %"class.RangeVecMap<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound, TraitResolveCommon::CachedBoundCmp>::const_iterator" }
%"struct.std::pair.446" = type { ptr, ptr }
%"class.std::reference_wrapper" = type { ptr }
%"class.std::reference_wrapper.448" = type { ptr }
%"class.__gnu_cxx::__normal_iterator.395" = type { ptr }
%"class.HIR::TraitPath" = type { %"class.std::unique_ptr", %"class.HIR::GenericPath", %"class.std::map", %"class.std::map.47", ptr }
%"class.std::unique_ptr" = type { %"struct.std::__uniq_ptr_data" }
%"struct.std::__uniq_ptr_data" = type { %"class.std::__uniq_ptr_impl" }
%"class.std::__uniq_ptr_impl" = type { %"class.std::tuple" }
%"class.std::tuple" = type { %"struct.std::_Tuple_impl" }
%"struct.std::_Tuple_impl" = type { %"struct.std::_Head_base.46" }
%"struct.std::_Head_base.46" = type { ptr }
%"class.HIR::GenericPath" = type { %"struct.HIR::SimplePath", %"struct.HIR::PathParams" }
%"struct.HIR::SimplePath" = type { %class.ThinVector }
%class.ThinVector = type { ptr }
%"class.std::map.47" = type { %"class.std::_Rb_tree.48" }
%"class.std::_Rb_tree.48" = type { %"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitPath::AtyBound>, std::_Select1st<std::pair<const RcString, HIR::TraitPath::AtyBound>>, std::less<RcString>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitPath::AtyBound>, std::_Select1st<std::pair<const RcString, HIR::TraitPath::AtyBound>>, std::less<RcString>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%struct.MonomorphStatePtr = type { %class.MonomorphiserPP, ptr, ptr, ptr, ptr }
%class.MonomorphiserPP = type { %class.Monomorphiser }
%class.Monomorphiser = type { ptr, ptr, %"class.HIR::ItemPath", %"class.std::vector.401" }
%"class.HIR::ItemPath" = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%"class.std::vector.401" = type { %"struct.std::_Vector_base.402" }
%"struct.std::_Vector_base.402" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.std::_Rb_tree_iterator" = type { ptr }
%struct.TraitResolveCommon = type { ptr, ptr, ptr, %"class.std::map.23", %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.23" = type { %"class.std::_Rb_tree.24" }
%"class.std::_Rb_tree.24" = 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" }
%class.RangeVecMap = type <{ %"class.std::vector.29", [8 x i8] }>
%"class.std::vector.29" = type { %"struct.std::_Vector_base.30" }
%"struct.std::_Vector_base.30" = 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 }
%"struct.std::pair.440" = type { %"struct.std::pair.442", %"struct.TraitResolveCommon::CachedBound" }
%"struct.std::pair.442" = type { %"class.HIR::TypeRef", %"class.HIR::GenericPath" }
%"struct.TraitResolveCommon::CachedBound" = type { %"class.HIR::GenericParams", ptr, %"class.std::map" }
%"struct.HIR::TypeData_Path" = type { %"class.HIR::Path", %"class.HIR::TypePathBinding", %"class.std::unique_ptr" }
%"class.HIR::Path" = type { %"class.HIR::Path::Data" }
%"class.HIR::Path::Data" = type { i32, %"union.HIR::Path::Data::DataUnion" }
%"union.HIR::Path::Data::DataUnion" = type { %"struct.HIR::Path::Data::Data_UfcsKnown" }
%"struct.HIR::Path::Data::Data_UfcsKnown" = type { %"class.HIR::TypeRef", %"class.HIR::GenericPath", %class.RcString, %"struct.HIR::PathParams", %"class.std::unique_ptr" }
%class.RcString = type { ptr }
%"class.HIR::TypePathBinding" = type { i32, %"union.HIR::TypePathBinding::DataUnion" }
%"union.HIR::TypePathBinding::DataUnion" = type { ptr }
%"class.HIR::Trait" = type { %"class.HIR::GenericParams", %"struct.HIR::LifetimeRef", %"class.std::vector.57", i8, %"class.std::unordered_map.339", %"class.std::unordered_map.353", %"class.std::unordered_multimap", %"class.std::unordered_map.380", i32, %"class.std::vector.57", %"struct.HIR::SimplePath" }
%"struct.HIR::LifetimeRef" = type { i32 }
%"class.std::unordered_map.339" = type { %"class.std::_Hashtable.340" }
%"class.std::_Hashtable.340" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%"struct.std::__detail::_Hash_node_base" = type { ptr }
%"struct.std::__detail::_Prime_rehash_policy" = type { float, i64 }
%"class.std::unordered_map.353" = type { %"class.std::_Hashtable.354" }
%"class.std::_Hashtable.354" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%"class.std::unordered_multimap" = type { %"class.std::_Hashtable.367" }
%"class.std::_Hashtable.367" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%"class.std::unordered_map.380" = type { %"class.std::_Hashtable.381" }
%"class.std::_Hashtable.381" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%"class.std::vector.57" = type { %"struct.std::_Vector_base.58" }
%"struct.std::_Vector_base.58" = type { %"struct.std::_Vector_base<HIR::TraitPath, std::allocator<HIR::TraitPath>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::TraitPath, std::allocator<HIR::TraitPath>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::TraitPath, std::allocator<HIR::TraitPath>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::TraitPath, std::allocator<HIR::TraitPath>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.HIR::AssociatedType" = type { %"class.HIR::GenericParams", i8, %"struct.HIR::LifetimeRef", %"class.std::vector.57", %"class.HIR::TypeRef" }
%"struct.std::pair.457" = type { %class.RcString, %"struct.HIR::TraitPath::AtyEqual" }
%"struct.HIR::TraitPath::AtyEqual" = type { %"class.HIR::GenericPath", %"class.HIR::TypeRef" }

@g_debug_indent_level = external global i32, align 4
@__FUNCTION__._ZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEE = external hidden unnamed_addr constant [18 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [13 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 i32 @__gxx_personality_v0(...)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZNK3HIR10SimplePathneERKS0_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #5 align 2

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

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local noundef zeroext i1 @_ZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEE(ptr noundef nonnull align 8 dereferenceable(424) %0, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(8) %2, ptr noundef %3, ptr noundef nonnull align 8 dereferenceable(8) %4, ptr noundef %5) #5 align 2 personality ptr @__gxx_personality_v0 {
  %7 = alloca i1, align 1
  %8 = alloca ptr, align 8
  %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 %"class.std::function.434", align 8
  %15 = alloca %class.anon.437, align 1
  %16 = alloca ptr, align 8
  %17 = alloca i32, align 4
  %18 = alloca %"class.RangeVecMap<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound, TraitResolveCommon::CachedBoundCmp>::const_iterator", align 8
  %19 = alloca %"class.RangeVecMap<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound, TraitResolveCommon::CachedBoundCmp>::const_iterator", align 8
  %20 = alloca i32, align 4
  %21 = alloca ptr, align 8
  %22 = alloca ptr, align 8
  %23 = alloca %"class.HIR::ResolvePlaceholdersNop", align 8
  %24 = alloca %"struct.HIR::GenericParams::PrintArgs", align 8
  %25 = alloca %struct.ImplRef, align 8
  %26 = alloca %"struct.std::pair.444", align 8
  %27 = alloca %"struct.std::pair.446", align 8
  %28 = alloca %"class.std::reference_wrapper", align 8
  %29 = alloca %"class.std::reference_wrapper.448", align 8
  %30 = alloca %"class.RangeVecMap<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound, TraitResolveCommon::CachedBoundCmp>::const_iterator", align 8
  %31 = alloca ptr, align 8
  %32 = alloca ptr, align 8
  %33 = alloca %"struct.HIR::GenericParams::PrintArgs", align 8
  %34 = alloca %struct.ImplRef, align 8
  %35 = alloca ptr, align 8
  %36 = alloca ptr, align 8
  %37 = alloca %"struct.std::pair.444", align 8
  %38 = alloca %"struct.std::pair.446", align 8
  %39 = alloca %"class.std::reference_wrapper", align 8
  %40 = alloca %"class.std::reference_wrapper.448", align 8
  %41 = alloca %"class.RangeVecMap<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound, TraitResolveCommon::CachedBoundCmp>::const_iterator", align 8
  %42 = alloca ptr, align 8
  %43 = alloca ptr, align 8
  %44 = alloca ptr, align 8
  %45 = alloca ptr, align 8
  %46 = alloca ptr, align 8
  %47 = alloca %"class.__gnu_cxx::__normal_iterator.395", align 8
  %48 = alloca %"class.__gnu_cxx::__normal_iterator.395", align 8
  %49 = alloca ptr, align 8
  %50 = alloca %"class.HIR::TraitPath", align 8
  %51 = alloca %struct.MonomorphStatePtr, align 8
  %52 = alloca ptr, align 8
  %53 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %54 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %55 = alloca ptr, align 8
  %56 = alloca %struct.ImplRef, align 8
  %57 = alloca %"class.HIR::TypeRef", align 8
  %58 = alloca %"struct.HIR::PathParams", align 8
  %59 = alloca %"class.std::map", align 8
  store ptr %0, ptr %8, align 8, !tbaa !5
  store ptr %1, ptr %9, align 8, !tbaa !5
  store ptr %2, ptr %10, align 8, !tbaa !5
  store ptr %3, ptr %11, align 8, !tbaa !5
  store ptr %4, ptr %12, align 8, !tbaa !5
  store ptr %5, ptr %13, align 8, !tbaa !5
  %60 = load ptr, ptr %8, align 8
  %61 = load ptr, ptr %12, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %15) #8
  call void @"_ZNSt8functionIFbRKN3HIR7TypeRefEEEC2IZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKNS0_10SimplePathEPKNS0_10PathParamsES3_S_IFb7ImplRefbEEE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %14, ptr noundef nonnull align 1 dereferenceable(1) %15) #8
  %62 = invoke noundef zeroext i1 @_Z13visit_ty_withRKN3HIR7TypeRefESt8functionIFbS2_EE(ptr noundef nonnull align 8 dereferenceable(8) %61, ptr noundef %14)
          to label %63 unwind label %78

63:                                               ; preds = %6
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %15) #8
  br i1 %62, label %64, label %177

64:                                               ; preds = %63
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #8
  %65 = getelementptr inbounds i8, ptr %60, i64 8
  %66 = getelementptr inbounds %struct.TraitResolveCommon, ptr %65, i32 0, i32 4
  %67 = call ptr @_ZNK11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE5beginEv(ptr noundef nonnull align 8 dereferenceable(25) %66)
  %68 = getelementptr inbounds %"class.RangeVecMap<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound, TraitResolveCommon::CachedBoundCmp>::const_iterator", ptr %18, i32 0, i32 0
  %69 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.439", ptr %68, i32 0, i32 0
  store ptr %67, ptr %69, align 8
  br label %70

70:                                               ; preds = %172, %64
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #8
  %71 = getelementptr inbounds i8, ptr %60, i64 8
  %72 = getelementptr inbounds %struct.TraitResolveCommon, ptr %71, i32 0, i32 4
  %73 = call ptr @_ZNK11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE3endEv(ptr noundef nonnull align 8 dereferenceable(25) %72)
  %74 = getelementptr inbounds %"class.RangeVecMap<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound, TraitResolveCommon::CachedBoundCmp>::const_iterator", ptr %19, i32 0, i32 0
  %75 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.439", ptr %74, i32 0, i32 0
  store ptr %73, ptr %75, align 8
  %76 = call noundef zeroext i1 @_ZNK11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorneERKS9_(ptr noundef nonnull align 8 dereferenceable(8) %18, ptr noundef nonnull align 8 dereferenceable(8) %19)
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #8
  br i1 %76, label %82, label %77

77:                                               ; preds = %70
  store i32 2, ptr %20, align 4
  br label %174

78:                                               ; preds = %6
  %79 = landingpad { ptr, i32 }
          cleanup
  %80 = extractvalue { ptr, i32 } %79, 0
  store ptr %80, ptr %16, align 8
  %81 = extractvalue { ptr, i32 } %79, 1
  store i32 %81, ptr %17, align 4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %15) #8
  br label %490

82:                                               ; preds = %70
  %83 = call noundef ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %18)
  %84 = getelementptr inbounds %"struct.std::pair.440", ptr %83, i32 0, i32 0
  %85 = getelementptr inbounds %"struct.std::pair.442", ptr %84, i32 0, i32 1
  %86 = getelementptr inbounds %"class.HIR::GenericPath", ptr %85, i32 0, i32 0
  %87 = load ptr, ptr %10, align 8, !tbaa !5
  %88 = call noundef zeroext i1 @_ZNK3HIR10SimplePathneERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %86, ptr noundef nonnull align 8 dereferenceable(8) %87)
  br i1 %88, label %89, label %90

89:                                               ; preds = %82
  br label %172

90:                                               ; preds = %82
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #8
  %91 = call noundef ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %18)
  %92 = getelementptr inbounds %"struct.std::pair.440", ptr %91, i32 0, i32 0
  %93 = getelementptr inbounds %"struct.std::pair.442", ptr %92, i32 0, i32 0
  store ptr %93, ptr %21, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #8
  %94 = call noundef ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %18)
  %95 = getelementptr inbounds %"struct.std::pair.440", ptr %94, i32 0, i32 0
  %96 = getelementptr inbounds %"struct.std::pair.442", ptr %95, i32 0, i32 1
  %97 = getelementptr inbounds %"class.HIR::GenericPath", ptr %96, i32 0, i32 1
  store ptr %97, ptr %22, align 8, !tbaa !5
  br label %98

98:                                               ; preds = %90
  %99 = call noundef zeroext i1 @_Z13debug_enabledv()
  br i1 %99, label %100, label %108

100:                                              ; preds = %98
  %101 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !9
  %102 = call noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %101, ptr noundef @__FUNCTION__._ZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEE)
  %103 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %102, ptr noundef @.str.22)
  %104 = load ptr, ptr %21, align 8, !tbaa !5
  %105 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_7TypeRefE(ptr noundef nonnull align 8 dereferenceable(8) %103, ptr noundef nonnull align 8 dereferenceable(8) %104)
  %106 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %105, ptr noundef @_ZSt3decRSt8ios_base)
  %107 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %106, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  br label %108

108:                                              ; preds = %100, %98
  br label %109

109:                                              ; preds = %108
  br label %110

110:                                              ; preds = %109
  %111 = load ptr, ptr %21, align 8, !tbaa !5
  %112 = load ptr, ptr %9, align 8, !tbaa !5
  %113 = load ptr, ptr %12, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #8
  call void @llvm.memset.p0.i64(ptr align 8 %23, i8 0, i64 8, i1 false)
  call void @_ZN3HIR22ResolvePlaceholdersNopC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %23) #8
  %114 = call noundef i32 @_ZNK3HIR7TypeRef25compare_with_placeholdersERK4SpanRKS0_RKNS_19ResolvePlaceholdersE(ptr noundef nonnull align 8 dereferenceable(8) %111, ptr noundef nonnull align 8 dereferenceable(8) %112, ptr noundef nonnull align 8 dereferenceable(8) %113, ptr noundef nonnull align 8 dereferenceable(8) %23)
  %115 = icmp eq i32 %114, 2
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #8
  br i1 %115, label %116, label %117

116:                                              ; preds = %110
  store i32 4, ptr %20, align 4
  br label %169

117:                                              ; preds = %110
  br label %118

118:                                              ; preds = %117
  %119 = call noundef zeroext i1 @_Z13debug_enabledv()
  br i1 %119, label %120, label %140

120:                                              ; preds = %118
  %121 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !9
  %122 = call noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %121, ptr noundef @__FUNCTION__._ZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEE)
  %123 = load ptr, ptr %21, align 8, !tbaa !5
  %124 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_7TypeRefE(ptr noundef nonnull align 8 dereferenceable(8) %122, ptr noundef nonnull align 8 dereferenceable(8) %123)
  %125 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %124, ptr noundef @.str.23)
  %126 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %125, ptr noundef @.str.24)
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #8
  %127 = call noundef ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %18)
  %128 = getelementptr inbounds %"struct.std::pair.440", ptr %127, i32 0, i32 1
  %129 = getelementptr inbounds %"struct.TraitResolveCommon::CachedBound", ptr %128, i32 0, i32 0
  %130 = call ptr @_ZNK3HIR13GenericParams8fmt_argsEv(ptr noundef nonnull align 8 dereferenceable(96) %129)
  %131 = getelementptr inbounds %"struct.HIR::GenericParams::PrintArgs", ptr %24, i32 0, i32 0
  store ptr %130, ptr %131, align 8
  %132 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_13GenericParams9PrintArgsE(ptr noundef nonnull align 8 dereferenceable(8) %126, ptr noundef nonnull align 8 dereferenceable(8) %24)
  %133 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %132, ptr noundef @.str.25)
  %134 = load ptr, ptr %10, align 8, !tbaa !5
  %135 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_10SimplePathE(ptr noundef nonnull align 8 dereferenceable(8) %133, ptr noundef nonnull align 8 dereferenceable(8) %134)
  %136 = load ptr, ptr %22, align 8, !tbaa !5
  %137 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_10PathParamsE(ptr noundef nonnull align 8 dereferenceable(8) %135, ptr noundef nonnull align 8 dereferenceable(24) %136)
  %138 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %137, ptr noundef @_ZSt3decRSt8ios_base)
  %139 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %138, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #8
  br label %140

140:                                              ; preds = %120, %118
  br label %141

141:                                              ; preds = %140
  br label %142

142:                                              ; preds = %141
  %143 = load ptr, ptr %11, align 8, !tbaa !5
  %144 = icmp ne ptr %143, null
  br i1 %144, label %145, label %152

145:                                              ; preds = %142
  %146 = load ptr, ptr %9, align 8, !tbaa !5
  %147 = load ptr, ptr %11, align 8, !tbaa !5
  %148 = load ptr, ptr %22, align 8, !tbaa !5
  %149 = call noundef zeroext i1 @_ZZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEEEN1H10compare_ppES2_RS8_SI_(ptr noundef nonnull align 8 dereferenceable(8) %146, ptr noundef nonnull align 8 dereferenceable(24) %147, ptr noundef nonnull align 8 dereferenceable(24) %148)
  br i1 %149, label %151, label %150

150:                                              ; preds = %145
  store i32 4, ptr %20, align 4
  br label %169

151:                                              ; preds = %145
  br label %152

152:                                              ; preds = %151, %142
  %153 = call noundef ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %18)
  %154 = getelementptr inbounds %"struct.std::pair.440", ptr %153, i32 0, i32 1
  %155 = getelementptr inbounds %"struct.TraitResolveCommon::CachedBound", ptr %154, i32 0, i32 0
  %156 = load ptr, ptr %21, align 8, !tbaa !5
  %157 = load ptr, ptr %22, align 8, !tbaa !5
  %158 = call noundef ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %18)
  %159 = getelementptr inbounds %"struct.std::pair.440", ptr %158, i32 0, i32 1
  %160 = getelementptr inbounds %"struct.TraitResolveCommon::CachedBound", ptr %159, i32 0, i32 2
  call void @_ZN7ImplRefC2EPKN3HIR13GenericParamsEPKNS0_7TypeRefEPKNS0_10PathParamsEPKSt3mapI8RcStringNS0_9TraitPath8AtyEqualESt4lessISB_ESaISt4pairIKSB_SD_EEE(ptr noundef nonnull align 8 dereferenceable(184) %25, ptr noundef %155, ptr noundef %156, ptr noundef %157, ptr noundef %160)
  %161 = invoke noundef zeroext i1 @_ZNKSt8functionIFb7ImplRefbEEclES0_b(ptr noundef nonnull align 8 dereferenceable(32) %5, ptr noundef %25, i1 noundef zeroext false)
          to label %162 unwind label %164

162:                                              ; preds = %152
  call void @_ZN7ImplRefD2Ev(ptr noundef nonnull align 8 dereferenceable(184) %25) #8
  br i1 %161, label %163, label %168

163:                                              ; preds = %162
  store i1 true, ptr %7, align 1
  store i32 1, ptr %20, align 4
  br label %169

164:                                              ; preds = %152
  %165 = landingpad { ptr, i32 }
          cleanup
  %166 = extractvalue { ptr, i32 } %165, 0
  store ptr %166, ptr %16, align 8
  %167 = extractvalue { ptr, i32 } %165, 1
  store i32 %167, ptr %17, align 4
  call void @_ZN7ImplRefD2Ev(ptr noundef nonnull align 8 dereferenceable(184) %25) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #8
  br label %490

168:                                              ; preds = %162
  store i32 0, ptr %20, align 4
  br label %169

169:                                              ; preds = %168, %163, %150, %116
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #8
  %170 = load i32, ptr %20, align 4
  switch i32 %170, label %174 [
    i32 0, label %171
    i32 4, label %172
  ]

171:                                              ; preds = %169
  br label %172

172:                                              ; preds = %171, %169, %89
  %173 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorppEv(ptr noundef nonnull align 8 dereferenceable(8) %18)
  br label %70, !llvm.loop !11

174:                                              ; preds = %169, %77
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #8
  %175 = load i32, ptr %20, align 4
  switch i32 %175, label %495 [
    i32 2, label %176
    i32 1, label %488
  ]

176:                                              ; preds = %174
  br label %271

177:                                              ; preds = %63
  call void @llvm.lifetime.start.p0(i64 16, ptr %26) #8
  %178 = getelementptr inbounds i8, ptr %60, i64 8
  %179 = getelementptr inbounds %struct.TraitResolveCommon, ptr %178, i32 0, i32 4
  call void @llvm.lifetime.start.p0(i64 16, ptr %27) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #8
  %180 = load ptr, ptr %12, align 8, !tbaa !5
  %181 = call ptr @_ZSt3refIKN3HIR7TypeRefEESt17reference_wrapperIT_ERS4_(ptr noundef nonnull align 8 dereferenceable(8) %180) #8
  %182 = getelementptr inbounds %"class.std::reference_wrapper", ptr %28, i32 0, i32 0
  store ptr %181, ptr %182, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #8
  %183 = load ptr, ptr %10, align 8, !tbaa !5
  %184 = call ptr @_ZSt3refIKN3HIR10SimplePathEESt17reference_wrapperIT_ERS4_(ptr noundef nonnull align 8 dereferenceable(8) %183) #8
  %185 = getelementptr inbounds %"class.std::reference_wrapper.448", ptr %29, i32 0, i32 0
  store ptr %184, ptr %185, align 8
  %186 = call { ptr, ptr } @_ZSt9make_pairISt17reference_wrapperIKN3HIR7TypeRefEES0_IKNS1_10SimplePathEEESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS9_INSA_IT0_E4typeEE6__typeEEOSB_OSG_(ptr noundef nonnull align 8 dereferenceable(8) %28, ptr noundef nonnull align 8 dereferenceable(8) %29)
  %187 = getelementptr inbounds { ptr, ptr }, ptr %27, i32 0, i32 0
  %188 = extractvalue { ptr, ptr } %186, 0
  store ptr %188, ptr %187, align 8
  %189 = getelementptr inbounds { ptr, ptr }, ptr %27, i32 0, i32 1
  %190 = extractvalue { ptr, ptr } %186, 1
  store ptr %190, ptr %189, align 8
  %191 = call { ptr, ptr } @_ZNK11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE11equal_rangeIS0_IRKS2_RKNS1_10SimplePathEEEES0_INS8_14const_iteratorESG_ERKT_(ptr noundef nonnull align 8 dereferenceable(25) %179, ptr noundef nonnull align 8 dereferenceable(16) %27)
  %192 = getelementptr inbounds { ptr, ptr }, ptr %26, i32 0, i32 0
  %193 = extractvalue { ptr, ptr } %191, 0
  store ptr %193, ptr %192, align 8
  %194 = getelementptr inbounds { ptr, ptr }, ptr %26, i32 0, i32 1
  %195 = extractvalue { ptr, ptr } %191, 1
  store ptr %195, ptr %194, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %27) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #8
  %196 = getelementptr inbounds %"struct.std::pair.444", ptr %26, i32 0, i32 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %30, ptr align 8 %196, i64 8, i1 false), !tbaa.struct !13
  br label %197

197:                                              ; preds = %263, %177
  %198 = getelementptr inbounds %"struct.std::pair.444", ptr %26, i32 0, i32 1
  %199 = call noundef zeroext i1 @_ZNK11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorneERKS9_(ptr noundef nonnull align 8 dereferenceable(8) %30, ptr noundef nonnull align 8 dereferenceable(8) %198)
  br i1 %199, label %201, label %200

200:                                              ; preds = %197
  store i32 9, ptr %20, align 4
  br label %265

201:                                              ; preds = %197
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #8
  %202 = call noundef ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %30)
  %203 = getelementptr inbounds %"struct.std::pair.440", ptr %202, i32 0, i32 0
  %204 = getelementptr inbounds %"struct.std::pair.442", ptr %203, i32 0, i32 0
  store ptr %204, ptr %31, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #8
  %205 = call noundef ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %30)
  %206 = getelementptr inbounds %"struct.std::pair.440", ptr %205, i32 0, i32 0
  %207 = getelementptr inbounds %"struct.std::pair.442", ptr %206, i32 0, i32 1
  %208 = getelementptr inbounds %"class.HIR::GenericPath", ptr %207, i32 0, i32 1
  store ptr %208, ptr %32, align 8, !tbaa !5
  br label %209

209:                                              ; preds = %201
  %210 = call noundef zeroext i1 @_Z13debug_enabledv()
  br i1 %210, label %211, label %231

211:                                              ; preds = %209
  %212 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !9
  %213 = call noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %212, ptr noundef @__FUNCTION__._ZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEE)
  %214 = load ptr, ptr %31, align 8, !tbaa !5
  %215 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_7TypeRefE(ptr noundef nonnull align 8 dereferenceable(8) %213, ptr noundef nonnull align 8 dereferenceable(8) %214)
  %216 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %215, ptr noundef @.str.23)
  %217 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %216, ptr noundef @.str.24)
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #8
  %218 = call noundef ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %30)
  %219 = getelementptr inbounds %"struct.std::pair.440", ptr %218, i32 0, i32 1
  %220 = getelementptr inbounds %"struct.TraitResolveCommon::CachedBound", ptr %219, i32 0, i32 0
  %221 = call ptr @_ZNK3HIR13GenericParams8fmt_argsEv(ptr noundef nonnull align 8 dereferenceable(96) %220)
  %222 = getelementptr inbounds %"struct.HIR::GenericParams::PrintArgs", ptr %33, i32 0, i32 0
  store ptr %221, ptr %222, align 8
  %223 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_13GenericParams9PrintArgsE(ptr noundef nonnull align 8 dereferenceable(8) %217, ptr noundef nonnull align 8 dereferenceable(8) %33)
  %224 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %223, ptr noundef @.str.25)
  %225 = load ptr, ptr %10, align 8, !tbaa !5
  %226 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_10SimplePathE(ptr noundef nonnull align 8 dereferenceable(8) %224, ptr noundef nonnull align 8 dereferenceable(8) %225)
  %227 = load ptr, ptr %32, align 8, !tbaa !5
  %228 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_10PathParamsE(ptr noundef nonnull align 8 dereferenceable(8) %226, ptr noundef nonnull align 8 dereferenceable(24) %227)
  %229 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %228, ptr noundef @_ZSt3decRSt8ios_base)
  %230 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %229, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #8
  br label %231

231:                                              ; preds = %211, %209
  br label %232

232:                                              ; preds = %231
  br label %233

233:                                              ; preds = %232
  %234 = load ptr, ptr %11, align 8, !tbaa !5
  %235 = icmp ne ptr %234, null
  br i1 %235, label %236, label %243

236:                                              ; preds = %233
  %237 = load ptr, ptr %9, align 8, !tbaa !5
  %238 = load ptr, ptr %11, align 8, !tbaa !5
  %239 = load ptr, ptr %32, align 8, !tbaa !5
  %240 = call noundef zeroext i1 @_ZZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEEEN1H10compare_ppES2_RS8_SI_(ptr noundef nonnull align 8 dereferenceable(8) %237, ptr noundef nonnull align 8 dereferenceable(24) %238, ptr noundef nonnull align 8 dereferenceable(24) %239)
  br i1 %240, label %242, label %241

241:                                              ; preds = %236
  store i32 11, ptr %20, align 4
  br label %260

242:                                              ; preds = %236
  br label %243

243:                                              ; preds = %242, %233
  %244 = call noundef ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %30)
  %245 = getelementptr inbounds %"struct.std::pair.440", ptr %244, i32 0, i32 1
  %246 = getelementptr inbounds %"struct.TraitResolveCommon::CachedBound", ptr %245, i32 0, i32 0
  %247 = load ptr, ptr %31, align 8, !tbaa !5
  %248 = load ptr, ptr %32, align 8, !tbaa !5
  %249 = call noundef ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %30)
  %250 = getelementptr inbounds %"struct.std::pair.440", ptr %249, i32 0, i32 1
  %251 = getelementptr inbounds %"struct.TraitResolveCommon::CachedBound", ptr %250, i32 0, i32 2
  call void @_ZN7ImplRefC2EPKN3HIR13GenericParamsEPKNS0_7TypeRefEPKNS0_10PathParamsEPKSt3mapI8RcStringNS0_9TraitPath8AtyEqualESt4lessISB_ESaISt4pairIKSB_SD_EEE(ptr noundef nonnull align 8 dereferenceable(184) %34, ptr noundef %246, ptr noundef %247, ptr noundef %248, ptr noundef %251)
  %252 = invoke noundef zeroext i1 @_ZNKSt8functionIFb7ImplRefbEEclES0_b(ptr noundef nonnull align 8 dereferenceable(32) %5, ptr noundef %34, i1 noundef zeroext false)
          to label %253 unwind label %255

253:                                              ; preds = %243
  call void @_ZN7ImplRefD2Ev(ptr noundef nonnull align 8 dereferenceable(184) %34) #8
  br i1 %252, label %254, label %259

254:                                              ; preds = %253
  store i1 true, ptr %7, align 1
  store i32 1, ptr %20, align 4
  br label %260

255:                                              ; preds = %243
  %256 = landingpad { ptr, i32 }
          cleanup
  %257 = extractvalue { ptr, i32 } %256, 0
  store ptr %257, ptr %16, align 8
  %258 = extractvalue { ptr, i32 } %256, 1
  store i32 %258, ptr %17, align 4
  call void @_ZN7ImplRefD2Ev(ptr noundef nonnull align 8 dereferenceable(184) %34) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %26) #8
  br label %490

259:                                              ; preds = %253
  store i32 0, ptr %20, align 4
  br label %260

260:                                              ; preds = %259, %254, %241
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #8
  %261 = load i32, ptr %20, align 4
  switch i32 %261, label %265 [
    i32 0, label %262
    i32 11, label %263
  ]

262:                                              ; preds = %260
  br label %263

263:                                              ; preds = %262, %260
  %264 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorppEv(ptr noundef nonnull align 8 dereferenceable(8) %30)
  br label %197, !llvm.loop !14

265:                                              ; preds = %260, %200
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #8
  %266 = load i32, ptr %20, align 4
  switch i32 %266, label %268 [
    i32 9, label %267
  ]

267:                                              ; preds = %265
  store i32 0, ptr %20, align 4
  br label %268

268:                                              ; preds = %267, %265
  call void @llvm.lifetime.end.p0(i64 16, ptr %26) #8
  %269 = load i32, ptr %20, align 4
  switch i32 %269, label %495 [
    i32 0, label %270
    i32 1, label %488
  ]

270:                                              ; preds = %268
  br label %271

271:                                              ; preds = %270, %176
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #8
  store ptr null, ptr %35, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #8
  %272 = load ptr, ptr %12, align 8, !tbaa !5
  %273 = call noundef nonnull align 8 dereferenceable(184) ptr @_ZNK3HIR7TypeRef4dataEv(ptr noundef nonnull align 8 dereferenceable(8) %272)
  %274 = call noundef ptr @_ZNK3HIR8TypeData8opt_PathEv(ptr noundef nonnull align 8 dereferenceable(184) %273)
  store ptr %274, ptr %36, align 8, !tbaa !5
  %275 = load ptr, ptr %36, align 8, !tbaa !5
  %276 = icmp ne ptr %275, null
  br i1 %276, label %277, label %282

277:                                              ; preds = %271
  %278 = load ptr, ptr %36, align 8, !tbaa !5
  %279 = getelementptr inbounds %"struct.HIR::TypeData_Path", ptr %278, i32 0, i32 0
  %280 = getelementptr inbounds %"class.HIR::Path", ptr %279, i32 0, i32 0
  %281 = call noundef ptr @_ZNK3HIR4Path4Data13opt_UfcsKnownEv(ptr noundef nonnull align 8 dereferenceable(88) %280)
  store ptr %281, ptr %35, align 8, !tbaa !5
  br label %282

282:                                              ; preds = %277, %271
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #8
  %283 = load ptr, ptr %35, align 8, !tbaa !5
  %284 = icmp ne ptr %283, null
  br i1 %284, label %285, label %486

285:                                              ; preds = %282
  call void @llvm.lifetime.start.p0(i64 16, ptr %37) #8
  %286 = getelementptr inbounds i8, ptr %60, i64 8
  %287 = getelementptr inbounds %struct.TraitResolveCommon, ptr %286, i32 0, i32 4
  call void @llvm.lifetime.start.p0(i64 16, ptr %38) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #8
  %288 = load ptr, ptr %35, align 8, !tbaa !5
  %289 = getelementptr inbounds %"struct.HIR::Path::Data::Data_UfcsKnown", ptr %288, i32 0, i32 0
  %290 = call ptr @_ZSt3refIKN3HIR7TypeRefEESt17reference_wrapperIT_ERS4_(ptr noundef nonnull align 8 dereferenceable(8) %289) #8
  %291 = getelementptr inbounds %"class.std::reference_wrapper", ptr %39, i32 0, i32 0
  store ptr %290, ptr %291, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #8
  %292 = load ptr, ptr %35, align 8, !tbaa !5
  %293 = getelementptr inbounds %"struct.HIR::Path::Data::Data_UfcsKnown", ptr %292, i32 0, i32 1
  %294 = getelementptr inbounds %"class.HIR::GenericPath", ptr %293, i32 0, i32 0
  %295 = call ptr @_ZSt3refIKN3HIR10SimplePathEESt17reference_wrapperIT_ERS4_(ptr noundef nonnull align 8 dereferenceable(8) %294) #8
  %296 = getelementptr inbounds %"class.std::reference_wrapper.448", ptr %40, i32 0, i32 0
  store ptr %295, ptr %296, align 8
  %297 = call { ptr, ptr } @_ZSt9make_pairISt17reference_wrapperIKN3HIR7TypeRefEES0_IKNS1_10SimplePathEEESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS9_INSA_IT0_E4typeEE6__typeEEOSB_OSG_(ptr noundef nonnull align 8 dereferenceable(8) %39, ptr noundef nonnull align 8 dereferenceable(8) %40)
  %298 = getelementptr inbounds { ptr, ptr }, ptr %38, i32 0, i32 0
  %299 = extractvalue { ptr, ptr } %297, 0
  store ptr %299, ptr %298, align 8
  %300 = getelementptr inbounds { ptr, ptr }, ptr %38, i32 0, i32 1
  %301 = extractvalue { ptr, ptr } %297, 1
  store ptr %301, ptr %300, align 8
  %302 = call { ptr, ptr } @_ZNK11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE11equal_rangeIS0_IRKS2_RKNS1_10SimplePathEEEES0_INS8_14const_iteratorESG_ERKT_(ptr noundef nonnull align 8 dereferenceable(25) %287, ptr noundef nonnull align 8 dereferenceable(16) %38)
  %303 = getelementptr inbounds { ptr, ptr }, ptr %37, i32 0, i32 0
  %304 = extractvalue { ptr, ptr } %302, 0
  store ptr %304, ptr %303, align 8
  %305 = getelementptr inbounds { ptr, ptr }, ptr %37, i32 0, i32 1
  %306 = extractvalue { ptr, ptr } %302, 1
  store ptr %306, ptr %305, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %38) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %41) #8
  %307 = getelementptr inbounds %"struct.std::pair.444", ptr %37, i32 0, i32 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %41, ptr align 8 %307, i64 8, i1 false), !tbaa.struct !13
  br label %308

308:                                              ; preds = %478, %285
  %309 = getelementptr inbounds %"struct.std::pair.444", ptr %37, i32 0, i32 1
  %310 = call noundef zeroext i1 @_ZNK11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorneERKS9_(ptr noundef nonnull align 8 dereferenceable(8) %41, ptr noundef nonnull align 8 dereferenceable(8) %309)
  br i1 %310, label %312, label %311

311:                                              ; preds = %308
  store i32 14, ptr %20, align 4
  br label %480

312:                                              ; preds = %308
  call void @llvm.lifetime.start.p0(i64 8, ptr %42) #8
  %313 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratordeEv(ptr noundef nonnull align 8 dereferenceable(8) %41)
  store ptr %313, ptr %42, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #8
  %314 = call noundef ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %41)
  %315 = getelementptr inbounds %"struct.std::pair.440", ptr %314, i32 0, i32 0
  %316 = getelementptr inbounds %"struct.std::pair.442", ptr %315, i32 0, i32 1
  %317 = getelementptr inbounds %"class.HIR::GenericPath", ptr %316, i32 0, i32 1
  store ptr %317, ptr %43, align 8, !tbaa !5
  %318 = load ptr, ptr %9, align 8, !tbaa !5
  %319 = load ptr, ptr %43, align 8, !tbaa !5
  %320 = load ptr, ptr %35, align 8, !tbaa !5
  %321 = getelementptr inbounds %"struct.HIR::Path::Data::Data_UfcsKnown", ptr %320, i32 0, i32 1
  %322 = getelementptr inbounds %"class.HIR::GenericPath", ptr %321, i32 0, i32 1
  %323 = call noundef zeroext i1 @_ZZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEEEN1H10compare_ppES2_RS8_SI_(ptr noundef nonnull align 8 dereferenceable(8) %318, ptr noundef nonnull align 8 dereferenceable(24) %319, ptr noundef nonnull align 8 dereferenceable(24) %322)
  br i1 %323, label %324, label %474

324:                                              ; preds = %312
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #8
  %325 = load ptr, ptr %42, align 8, !tbaa !5
  %326 = getelementptr inbounds %"struct.std::pair.440", ptr %325, i32 0, i32 1
  %327 = getelementptr inbounds %"struct.TraitResolveCommon::CachedBound", ptr %326, i32 0, i32 1
  %328 = load ptr, ptr %327, align 8, !tbaa !15
  store ptr %328, ptr %44, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #8
  %329 = load ptr, ptr %44, align 8, !tbaa !5
  %330 = getelementptr inbounds %"class.HIR::Trait", ptr %329, i32 0, i32 4
  %331 = load ptr, ptr %35, align 8, !tbaa !5
  %332 = getelementptr inbounds %"struct.HIR::Path::Data::Data_UfcsKnown", ptr %331, i32 0, i32 2
  %333 = call noundef nonnull align 8 dereferenceable(136) ptr @_ZNKSt13unordered_mapI8RcStringN3HIR14AssociatedTypeESt4hashIS0_ESt8equal_toIS0_ESaISt4pairIKS0_S2_EEE2atERS8_(ptr noundef nonnull align 8 dereferenceable(56) %330, ptr noundef nonnull align 8 dereferenceable(8) %332)
  store ptr %333, ptr %45, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %46) #8
  %334 = load ptr, ptr %45, align 8, !tbaa !5
  %335 = getelementptr inbounds %"struct.HIR::AssociatedType", ptr %334, i32 0, i32 3
  store ptr %335, ptr %46, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #8
  %336 = load ptr, ptr %46, align 8, !tbaa !5
  %337 = call ptr @_ZNKSt6vectorIN3HIR9TraitPathESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %336) #8
  %338 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.395", ptr %47, i32 0, i32 0
  store ptr %337, ptr %338, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %48) #8
  %339 = load ptr, ptr %46, align 8, !tbaa !5
  %340 = call ptr @_ZNKSt6vectorIN3HIR9TraitPathESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %339) #8
  %341 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.395", ptr %48, i32 0, i32 0
  store ptr %340, ptr %341, align 8
  br label %342

342:                                              ; preds = %466, %324
  %343 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3HIR9TraitPathESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESD_(ptr noundef nonnull align 8 dereferenceable(8) %47, ptr noundef nonnull align 8 dereferenceable(8) %48) #8
  br i1 %343, label %345, label %344

344:                                              ; preds = %342
  store i32 17, ptr %20, align 4
  br label %468

345:                                              ; preds = %342
  call void @llvm.lifetime.start.p0(i64 8, ptr %49) #8
  %346 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3HIR9TraitPathESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %47) #8
  store ptr %346, ptr %49, align 8, !tbaa !5
  %347 = load ptr, ptr %49, align 8, !tbaa !5
  %348 = getelementptr inbounds %"class.HIR::TraitPath", ptr %347, i32 0, i32 1
  %349 = getelementptr inbounds %"class.HIR::GenericPath", ptr %348, i32 0, i32 0
  %350 = load ptr, ptr %10, align 8, !tbaa !5
  %351 = call noundef zeroext i1 @_ZNK3HIR10SimplePatheqERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %349, ptr noundef nonnull align 8 dereferenceable(8) %350)
  br i1 %351, label %352, label %462

352:                                              ; preds = %345
  %353 = load ptr, ptr %11, align 8, !tbaa !5
  %354 = icmp ne ptr %353, null
  br i1 %354, label %355, label %362

355:                                              ; preds = %352
  %356 = load ptr, ptr %9, align 8, !tbaa !5
  %357 = load ptr, ptr %49, align 8, !tbaa !5
  %358 = getelementptr inbounds %"class.HIR::TraitPath", ptr %357, i32 0, i32 1
  %359 = getelementptr inbounds %"class.HIR::GenericPath", ptr %358, i32 0, i32 1
  %360 = load ptr, ptr %11, align 8, !tbaa !5
  %361 = call noundef zeroext i1 @_ZZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEEEN1H10compare_ppES2_RS8_SI_(ptr noundef nonnull align 8 dereferenceable(8) %356, ptr noundef nonnull align 8 dereferenceable(24) %359, ptr noundef nonnull align 8 dereferenceable(24) %360)
  br i1 %361, label %362, label %462

362:                                              ; preds = %355, %352
  br label %363

363:                                              ; preds = %362
  %364 = call noundef zeroext i1 @_Z13debug_enabledv()
  br i1 %364, label %365, label %371

365:                                              ; preds = %363
  %366 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !9
  %367 = call noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %366, ptr noundef @__FUNCTION__._ZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEE)
  %368 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %367, ptr noundef @.str.26)
  %369 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %368, ptr noundef @_ZSt3decRSt8ios_base)
  %370 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %369, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  br label %371

371:                                              ; preds = %365, %363
  br label %372

372:                                              ; preds = %371
  br label %373

373:                                              ; preds = %372
  call void @llvm.lifetime.start.p0(i64 144, ptr %50) #8
  call void @llvm.lifetime.start.p0(i64 128, ptr %51) #8
  %374 = load ptr, ptr %35, align 8, !tbaa !5
  %375 = getelementptr inbounds %"struct.HIR::Path::Data::Data_UfcsKnown", ptr %374, i32 0, i32 0
  %376 = load ptr, ptr %35, align 8, !tbaa !5
  %377 = getelementptr inbounds %"struct.HIR::Path::Data::Data_UfcsKnown", ptr %376, i32 0, i32 1
  %378 = getelementptr inbounds %"class.HIR::GenericPath", ptr %377, i32 0, i32 1
  call void @_ZN17MonomorphStatePtrC2EPKN3HIR7TypeRefEPKNS0_10PathParamsES6_S6_S6_(ptr noundef nonnull align 8 dereferenceable(128) %51, ptr noundef %375, ptr noundef %378, ptr noundef null, ptr noundef null, ptr noundef null)
  %379 = load ptr, ptr %9, align 8, !tbaa !5
  %380 = load ptr, ptr %49, align 8, !tbaa !5
  invoke void @_ZNK13Monomorphiser19monomorph_traitpathERK4SpanRKN3HIR9TraitPathEbb(ptr dead_on_unwind writable sret(%"class.HIR::TraitPath") align 8 %50, ptr noundef nonnull align 8 dereferenceable(96) %51, ptr noundef nonnull align 8 dereferenceable(8) %379, ptr noundef nonnull align 8 dereferenceable(144) %380, i1 noundef zeroext false, i1 noundef zeroext false)
          to label %381 unwind label %392

381:                                              ; preds = %373
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(128) %51) #8
  call void @llvm.lifetime.end.p0(i64 128, ptr %51) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %52) #8
  %382 = getelementptr inbounds %"class.HIR::TraitPath", ptr %50, i32 0, i32 2
  store ptr %382, ptr %52, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %53) #8
  %383 = load ptr, ptr %52, align 8, !tbaa !5
  %384 = call ptr @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %383) #8
  %385 = getelementptr inbounds %"struct.std::_Rb_tree_iterator", ptr %53, i32 0, i32 0
  store ptr %384, ptr %385, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %54) #8
  %386 = load ptr, ptr %52, align 8, !tbaa !5
  %387 = call ptr @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %386) #8
  %388 = getelementptr inbounds %"struct.std::_Rb_tree_iterator", ptr %54, i32 0, i32 0
  store ptr %387, ptr %388, align 8
  br label %389

389:                                              ; preds = %403, %381
  %390 = call noundef zeroext i1 @_ZStneRKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitPath8AtyEqualEEES9_(ptr noundef nonnull align 8 dereferenceable(8) %53, ptr noundef nonnull align 8 dereferenceable(8) %54) #8
  br i1 %390, label %396, label %391

391:                                              ; preds = %389
  store i32 21, ptr %20, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %54) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %53) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %52) #8
  br label %409

392:                                              ; preds = %373
  %393 = landingpad { ptr, i32 }
          cleanup
  %394 = extractvalue { ptr, i32 } %393, 0
  store ptr %394, ptr %16, align 8
  %395 = extractvalue { ptr, i32 } %393, 1
  store i32 %395, ptr %17, align 4
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(128) %51) #8
  call void @llvm.lifetime.end.p0(i64 128, ptr %51) #8
  br label %461

396:                                              ; preds = %389
  call void @llvm.lifetime.start.p0(i64 8, ptr %55) #8
  %397 = call noundef nonnull align 8 dereferenceable(48) ptr @_ZNKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitPath8AtyEqualEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %53) #8
  store ptr %397, ptr %55, align 8, !tbaa !5
  %398 = load ptr, ptr %9, align 8, !tbaa !5
  %399 = load ptr, ptr %55, align 8, !tbaa !5
  %400 = getelementptr inbounds %"struct.std::pair.457", ptr %399, i32 0, i32 1
  %401 = getelementptr inbounds %"struct.HIR::TraitPath::AtyEqual", ptr %400, i32 0, i32 1
  invoke void @_ZNK18StaticTraitResolve23expand_associated_typesERK4SpanRN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %60, ptr noundef nonnull align 8 dereferenceable(8) %398, ptr noundef nonnull align 8 dereferenceable(8) %401)
          to label %402 unwind label %405

402:                                              ; preds = %396
  call void @llvm.lifetime.end.p0(i64 8, ptr %55) #8
  br label %403

403:                                              ; preds = %402
  %404 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitPath8AtyEqualEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %53) #8
  br label %389

405:                                              ; preds = %396
  %406 = landingpad { ptr, i32 }
          cleanup
  %407 = extractvalue { ptr, i32 } %406, 0
  store ptr %407, ptr %16, align 8
  %408 = extractvalue { ptr, i32 } %406, 1
  store i32 %408, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %55) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %54) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %53) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %52) #8
  br label %460

409:                                              ; preds = %391
  br label %410

410:                                              ; preds = %409
  %411 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %412 unwind label %425

412:                                              ; preds = %410
  br i1 %411, label %413, label %429

413:                                              ; preds = %412
  %414 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !9
  %415 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %414, ptr noundef @__FUNCTION__._ZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEE)
          to label %416 unwind label %425

416:                                              ; preds = %413
  %417 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %415, ptr noundef @.str.27)
          to label %418 unwind label %425

418:                                              ; preds = %416
  %419 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_9TraitPathE(ptr noundef nonnull align 8 dereferenceable(8) %417, ptr noundef nonnull align 8 dereferenceable(144) %50)
          to label %420 unwind label %425

420:                                              ; preds = %418
  %421 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %419, ptr noundef @_ZSt3decRSt8ios_base)
          to label %422 unwind label %425

422:                                              ; preds = %420
  %423 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %421, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %424 unwind label %425

424:                                              ; preds = %422
  br label %429

425:                                              ; preds = %431, %422, %420, %418, %416, %413, %410
  %426 = landingpad { ptr, i32 }
          cleanup
  %427 = extractvalue { ptr, i32 } %426, 0
  store ptr %427, ptr %16, align 8
  %428 = extractvalue { ptr, i32 } %426, 1
  store i32 %428, ptr %17, align 4
  br label %460

429:                                              ; preds = %424, %412
  br label %430

430:                                              ; preds = %429
  br label %431

431:                                              ; preds = %430
  %432 = load ptr, ptr %12, align 8, !tbaa !5
  invoke void @_ZNK3HIR7TypeRef5cloneEv(ptr dead_on_unwind writable sret(%"class.HIR::TypeRef") align 8 %57, ptr noundef nonnull align 8 dereferenceable(8) %432)
          to label %433 unwind label %425

433:                                              ; preds = %431
  %434 = getelementptr inbounds %"class.HIR::TraitPath", ptr %50, i32 0, i32 1
  %435 = getelementptr inbounds %"class.HIR::GenericPath", ptr %434, i32 0, i32 1
  invoke void @_ZN3HIR10PathParamsC2EOS0_(ptr noundef nonnull align 8 dereferenceable(24) %58, ptr noundef nonnull align 8 dereferenceable(24) %435)
          to label %436 unwind label %442

436:                                              ; preds = %433
  %437 = getelementptr inbounds %"class.HIR::TraitPath", ptr %50, i32 0, i32 2
  call void @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEEC2EOSA_(ptr noundef nonnull align 8 dereferenceable(48) %59, ptr noundef nonnull align 8 dereferenceable(48) %437) #8
  invoke void @_ZN7ImplRefC2EN3HIR7TypeRefENS0_10PathParamsESt3mapI8RcStringNS0_9TraitPath8AtyEqualESt4lessIS4_ESaISt4pairIKS4_S6_EEE(ptr noundef nonnull align 8 dereferenceable(184) %56, ptr noundef %57, ptr noundef %58, ptr noundef %59)
          to label %438 unwind label %446

438:                                              ; preds = %436
  %439 = invoke noundef zeroext i1 @_ZNKSt8functionIFb7ImplRefbEEclES0_b(ptr noundef nonnull align 8 dereferenceable(32) %5, ptr noundef %56, i1 noundef zeroext false)
          to label %440 unwind label %450

440:                                              ; preds = %438
  call void @_ZN7ImplRefD2Ev(ptr noundef nonnull align 8 dereferenceable(184) %56) #8
  call void @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %59) #8
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %58) #8
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %57) #8
  br i1 %439, label %441, label %456

441:                                              ; preds = %440
  store i1 true, ptr %7, align 1
  store i32 1, ptr %20, align 4
  br label %457

442:                                              ; preds = %433
  %443 = landingpad { ptr, i32 }
          cleanup
  %444 = extractvalue { ptr, i32 } %443, 0
  store ptr %444, ptr %16, align 8
  %445 = extractvalue { ptr, i32 } %443, 1
  store i32 %445, ptr %17, align 4
  br label %455

446:                                              ; preds = %436
  %447 = landingpad { ptr, i32 }
          cleanup
  %448 = extractvalue { ptr, i32 } %447, 0
  store ptr %448, ptr %16, align 8
  %449 = extractvalue { ptr, i32 } %447, 1
  store i32 %449, ptr %17, align 4
  br label %454

450:                                              ; preds = %438
  %451 = landingpad { ptr, i32 }
          cleanup
  %452 = extractvalue { ptr, i32 } %451, 0
  store ptr %452, ptr %16, align 8
  %453 = extractvalue { ptr, i32 } %451, 1
  store i32 %453, ptr %17, align 4
  call void @_ZN7ImplRefD2Ev(ptr noundef nonnull align 8 dereferenceable(184) %56) #8
  br label %454

454:                                              ; preds = %450, %446
  call void @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %59) #8
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %58) #8
  br label %455

455:                                              ; preds = %454, %442
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %57) #8
  br label %460

456:                                              ; preds = %440
  store i32 0, ptr %20, align 4
  br label %457

457:                                              ; preds = %456, %441
  call void @_ZN3HIR9TraitPathD2Ev(ptr noundef nonnull align 8 dereferenceable(144) %50) #8
  call void @llvm.lifetime.end.p0(i64 144, ptr %50) #8
  %458 = load i32, ptr %20, align 4
  switch i32 %458, label %463 [
    i32 0, label %459
  ]

459:                                              ; preds = %457
  br label %462

460:                                              ; preds = %455, %425, %405
  call void @_ZN3HIR9TraitPathD2Ev(ptr noundef nonnull align 8 dereferenceable(144) %50) #8
  br label %461

461:                                              ; preds = %460, %392
  call void @llvm.lifetime.end.p0(i64 144, ptr %50) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %48) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %37) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #8
  br label %490

462:                                              ; preds = %459, %355, %345
  store i32 0, ptr %20, align 4
  br label %463

463:                                              ; preds = %462, %457
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #8
  %464 = load i32, ptr %20, align 4
  switch i32 %464, label %468 [
    i32 0, label %465
  ]

465:                                              ; preds = %463
  br label %466

466:                                              ; preds = %465
  %467 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3HIR9TraitPathESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %47) #8
  br label %342

468:                                              ; preds = %463, %344
  call void @llvm.lifetime.end.p0(i64 8, ptr %48) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #8
  %469 = load i32, ptr %20, align 4
  switch i32 %469, label %471 [
    i32 17, label %470
  ]

470:                                              ; preds = %468
  store i32 0, ptr %20, align 4
  br label %471

471:                                              ; preds = %470, %468
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #8
  %472 = load i32, ptr %20, align 4
  switch i32 %472, label %475 [
    i32 0, label %473
  ]

473:                                              ; preds = %471
  br label %474

474:                                              ; preds = %473, %312
  store i32 0, ptr %20, align 4
  br label %475

475:                                              ; preds = %474, %471
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #8
  %476 = load i32, ptr %20, align 4
  switch i32 %476, label %480 [
    i32 0, label %477
  ]

477:                                              ; preds = %475
  br label %478

478:                                              ; preds = %477
  %479 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorppEv(ptr noundef nonnull align 8 dereferenceable(8) %41)
  br label %308, !llvm.loop !53

480:                                              ; preds = %475, %311
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #8
  %481 = load i32, ptr %20, align 4
  switch i32 %481, label %483 [
    i32 14, label %482
  ]

482:                                              ; preds = %480
  store i32 0, ptr %20, align 4
  br label %483

483:                                              ; preds = %482, %480
  call void @llvm.lifetime.end.p0(i64 16, ptr %37) #8
  %484 = load i32, ptr %20, align 4
  switch i32 %484, label %487 [
    i32 0, label %485
  ]

485:                                              ; preds = %483
  br label %486

486:                                              ; preds = %485, %282
  store i1 false, ptr %7, align 1
  store i32 1, ptr %20, align 4
  br label %487

487:                                              ; preds = %486, %483
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #8
  br label %488

488:                                              ; preds = %487, %268, %174
  %489 = load i1, ptr %7, align 1
  ret i1 %489

490:                                              ; preds = %461, %255, %164, %78
  %491 = load ptr, ptr %16, align 8
  %492 = load i32, ptr %17, align 4
  %493 = insertvalue { ptr, i32 } poison, ptr %491, 0
  %494 = insertvalue { ptr, i32 } %493, i32 %492, 1
  resume { ptr, i32 } %494

495:                                              ; preds = %268, %174
  unreachable
}

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

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

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, ptr } @_ZNK11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE11equal_rangeIS0_IRKS2_RKNS1_10SimplePathEEEES0_INS8_14const_iteratorESG_ERKT_(ptr noundef nonnull align 8 dereferenceable(25), ptr noundef nonnull align 8 dereferenceable(16)) #5 align 2

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, ptr } @_ZSt9make_pairISt17reference_wrapperIKN3HIR7TypeRefEES0_IKNS1_10SimplePathEEESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS9_INSA_IT0_E4typeEE6__typeEEOSB_OSG_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #5

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

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

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #7

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 8 dereferenceable(136) ptr @_ZNKSt13unordered_mapI8RcStringN3HIR14AssociatedTypeESt4hashIS0_ESt8equal_toIS0_ESaISt4pairIKS0_S2_EEE2atERS8_(ptr noundef nonnull align 8 dereferenceable(56), ptr noundef nonnull align 8 dereferenceable(8)) #5 align 2

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

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

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

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

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

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN3HIR9TraitPathD2Ev(ptr noundef nonnull align 8 dereferenceable(144)) 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 #4 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 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #3 = { 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 #4 = { 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 #5 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { 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 #7 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
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 = !{!"int", !7, i64 0}
!11 = distinct !{!11, !12}
!12 = !{!"llvm.loop.mustprogress"}
!13 = !{i64 0, i64 8, !5}
!14 = distinct !{!14, !12}
!15 = !{!16, !6, i64 136}
!16 = !{!"_ZTSSt4pairIS_IN3HIR7TypeRefENS0_11GenericPathEEN18TraitResolveCommon11CachedBoundEE", !17, i64 0, !26, i64 40}
!17 = !{!"_ZTSSt4pairIN3HIR7TypeRefENS0_11GenericPathEE", !18, i64 0, !19, i64 8}
!18 = !{!"_ZTSN3HIR7TypeRefE", !6, i64 0}
!19 = !{!"_ZTSN3HIR11GenericPathE", !20, i64 0, !22, i64 8}
!20 = !{!"_ZTSN3HIR10SimplePathE", !21, i64 0}
!21 = !{!"_ZTS10ThinVectorI8RcStringE", !6, i64 0}
!22 = !{!"_ZTSN3HIR10PathParamsE", !23, i64 0, !24, i64 8, !25, i64 16}
!23 = !{!"_ZTS10ThinVectorIN3HIR11LifetimeRefEE", !6, i64 0}
!24 = !{!"_ZTS10ThinVectorIN3HIR7TypeRefEE", !6, i64 0}
!25 = !{!"_ZTS10ThinVectorIN3HIR12ConstGenericEE", !6, i64 0}
!26 = !{!"_ZTSN18TraitResolveCommon11CachedBoundE", !27, i64 0, !6, i64 96, !44, i64 104}
!27 = !{!"_ZTSN3HIR13GenericParamsE", !28, i64 0, !32, i64 24, !36, i64 48, !40, i64 72}
!28 = !{!"_ZTSSt6vectorIN3HIR12TypeParamDefESaIS1_EE", !29, i64 0}
!29 = !{!"_ZTSSt12_Vector_baseIN3HIR12TypeParamDefESaIS1_EE", !30, i64 0}
!30 = !{!"_ZTSNSt12_Vector_baseIN3HIR12TypeParamDefESaIS1_EE12_Vector_implE", !31, i64 0}
!31 = !{!"_ZTSNSt12_Vector_baseIN3HIR12TypeParamDefESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!32 = !{!"_ZTSSt6vectorIN3HIR11LifetimeDefESaIS1_EE", !33, i64 0}
!33 = !{!"_ZTSSt12_Vector_baseIN3HIR11LifetimeDefESaIS1_EE", !34, i64 0}
!34 = !{!"_ZTSNSt12_Vector_baseIN3HIR11LifetimeDefESaIS1_EE12_Vector_implE", !35, i64 0}
!35 = !{!"_ZTSNSt12_Vector_baseIN3HIR11LifetimeDefESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!36 = !{!"_ZTSSt6vectorIN3HIR13ValueParamDefESaIS1_EE", !37, i64 0}
!37 = !{!"_ZTSSt12_Vector_baseIN3HIR13ValueParamDefESaIS1_EE", !38, i64 0}
!38 = !{!"_ZTSNSt12_Vector_baseIN3HIR13ValueParamDefESaIS1_EE12_Vector_implE", !39, i64 0}
!39 = !{!"_ZTSNSt12_Vector_baseIN3HIR13ValueParamDefESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!40 = !{!"_ZTSSt6vectorIN3HIR12GenericBoundESaIS1_EE", !41, i64 0}
!41 = !{!"_ZTSSt12_Vector_baseIN3HIR12GenericBoundESaIS1_EE", !42, i64 0}
!42 = !{!"_ZTSNSt12_Vector_baseIN3HIR12GenericBoundESaIS1_EE12_Vector_implE", !43, i64 0}
!43 = !{!"_ZTSNSt12_Vector_baseIN3HIR12GenericBoundESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!44 = !{!"_ZTSSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEE", !45, i64 0}
!45 = !{!"_ZTSSt8_Rb_treeI8RcStringSt4pairIKS0_N3HIR9TraitPath8AtyEqualEESt10_Select1stIS6_ESt4lessIS0_ESaIS6_EE", !46, i64 0}
!46 = !{!"_ZTSNSt8_Rb_treeI8RcStringSt4pairIKS0_N3HIR9TraitPath8AtyEqualEESt10_Select1stIS6_ESt4lessIS0_ESaIS6_EE13_Rb_tree_implISA_Lb1EEE", !47, i64 0, !49, i64 8}
!47 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessI8RcStringEE", !48, i64 0}
!48 = !{!"_ZTSSt4lessI8RcStringE"}
!49 = !{!"_ZTSSt15_Rb_tree_header", !50, i64 0, !52, i64 32}
!50 = !{!"_ZTSSt18_Rb_tree_node_base", !51, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!51 = !{!"_ZTSSt14_Rb_tree_color", !7, i64 0}
!52 = !{!"long", !7, i64 0}
!53 = distinct !{!53, !12}


; 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.std::function.434" = 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.437 = type { i8 }
%"class.RangeVecMap<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound, TraitResolveCommon::CachedBoundCmp>::const_iterator" = type { %"class.__gnu_cxx::__normal_iterator.439" }
%"class.__gnu_cxx::__normal_iterator.439" = type { ptr }
%"class.HIR::ResolvePlaceholdersNop" = type { %"class.HIR::ResolvePlaceholders" }
%"class.HIR::ResolvePlaceholders" = type { ptr }
%"struct.HIR::GenericParams::PrintArgs" = type { ptr }
%struct.ImplRef = type { %"class.ImplRef::Data" }
%"class.ImplRef::Data" = type { i32, %"union.ImplRef::Data::DataUnion" }
%"union.ImplRef::Data::DataUnion" = type { %"struct.ImplRef::Data::Data_Bounded" }
%"struct.ImplRef::Data::Data_Bounded" = type { %"class.HIR::GenericParams", %"class.HIR::TypeRef", %"struct.HIR::PathParams", %"class.std::map" }
%"class.HIR::GenericParams" = type { %"class.std::vector", %"class.std::vector.2", %"class.std::vector.7", %"class.std::vector.12" }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<HIR::TypeParamDef, std::allocator<HIR::TypeParamDef>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::TypeParamDef, std::allocator<HIR::TypeParamDef>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::TypeParamDef, std::allocator<HIR::TypeParamDef>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::TypeParamDef, std::allocator<HIR::TypeParamDef>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.2" = type { %"struct.std::_Vector_base.3" }
%"struct.std::_Vector_base.3" = type { %"struct.std::_Vector_base<HIR::LifetimeDef, std::allocator<HIR::LifetimeDef>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::LifetimeDef, std::allocator<HIR::LifetimeDef>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::LifetimeDef, std::allocator<HIR::LifetimeDef>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::LifetimeDef, std::allocator<HIR::LifetimeDef>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.7" = type { %"struct.std::_Vector_base.8" }
%"struct.std::_Vector_base.8" = type { %"struct.std::_Vector_base<HIR::ValueParamDef, std::allocator<HIR::ValueParamDef>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::ValueParamDef, std::allocator<HIR::ValueParamDef>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::ValueParamDef, std::allocator<HIR::ValueParamDef>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::ValueParamDef, std::allocator<HIR::ValueParamDef>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.12" = type { %"struct.std::_Vector_base.13" }
%"struct.std::_Vector_base.13" = type { %"struct.std::_Vector_base<HIR::GenericBound, std::allocator<HIR::GenericBound>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::GenericBound, std::allocator<HIR::GenericBound>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::GenericBound, std::allocator<HIR::GenericBound>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::GenericBound, std::allocator<HIR::GenericBound>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.HIR::PathParams" = type { %class.ThinVector.17, %class.ThinVector.18, %class.ThinVector.19 }
%class.ThinVector.17 = type { ptr }
%class.ThinVector.18 = type { ptr }
%class.ThinVector.19 = type { ptr }
%"class.std::map" = type { %"class.std::_Rb_tree" }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitPath::AtyEqual>, std::_Select1st<std::pair<const RcString, HIR::TraitPath::AtyEqual>>, std::less<RcString>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitPath::AtyEqual>, std::_Select1st<std::pair<const RcString, HIR::TraitPath::AtyEqual>>, std::less<RcString>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.std::_Rb_tree_header" = type { %"struct.std::_Rb_tree_node_base", i64 }
%"struct.std::_Rb_tree_node_base" = type { i32, ptr, ptr, ptr }
%"struct.std::pair.444" = type { %"class.RangeVecMap<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound, TraitResolveCommon::CachedBoundCmp>::const_iterator", %"class.RangeVecMap<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound, TraitResolveCommon::CachedBoundCmp>::const_iterator" }
%"struct.std::pair.446" = type { ptr, ptr }
%"class.std::reference_wrapper" = type { ptr }
%"class.std::reference_wrapper.448" = type { ptr }
%"class.__gnu_cxx::__normal_iterator.395" = type { ptr }
%"class.HIR::TraitPath" = type { %"class.std::unique_ptr", %"class.HIR::GenericPath", %"class.std::map", %"class.std::map.47", ptr }
%"class.std::unique_ptr" = type { %"struct.std::__uniq_ptr_data" }
%"struct.std::__uniq_ptr_data" = type { %"class.std::__uniq_ptr_impl" }
%"class.std::__uniq_ptr_impl" = type { %"class.std::tuple" }
%"class.std::tuple" = type { %"struct.std::_Tuple_impl" }
%"struct.std::_Tuple_impl" = type { %"struct.std::_Head_base.46" }
%"struct.std::_Head_base.46" = type { ptr }
%"class.HIR::GenericPath" = type { %"struct.HIR::SimplePath", %"struct.HIR::PathParams" }
%"struct.HIR::SimplePath" = type { %class.ThinVector }
%class.ThinVector = type { ptr }
%"class.std::map.47" = type { %"class.std::_Rb_tree.48" }
%"class.std::_Rb_tree.48" = type { %"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitPath::AtyBound>, std::_Select1st<std::pair<const RcString, HIR::TraitPath::AtyBound>>, std::less<RcString>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitPath::AtyBound>, std::_Select1st<std::pair<const RcString, HIR::TraitPath::AtyBound>>, std::less<RcString>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%struct.MonomorphStatePtr = type { %class.MonomorphiserPP, ptr, ptr, ptr, ptr }
%class.MonomorphiserPP = type { %class.Monomorphiser }
%class.Monomorphiser = type { ptr, ptr, %"class.HIR::ItemPath", %"class.std::vector.401" }
%"class.HIR::ItemPath" = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%"class.std::vector.401" = type { %"struct.std::_Vector_base.402" }
%"struct.std::_Vector_base.402" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.std::_Rb_tree_iterator" = type { ptr }

@g_debug_indent_level = external local_unnamed_addr global i32, align 4
@__FUNCTION__._ZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEE = external hidden unnamed_addr constant [18 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [13 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 i32 @__gxx_personality_v0(...)

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

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

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

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

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

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

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

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

declare void @_ZNK3HIR7TypeRef5cloneEv(ptr dead_on_unwind writable sret(%"class.HIR::TypeRef") align 8, ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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: 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 #4 align 2

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZNK3HIR4Path4Data13opt_UfcsKnownEv(ptr noundef nonnull align 8 dereferenceable(88)) local_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

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

; Function Attrs: mustprogress uwtable
define dso_local noundef zeroext i1 @_ZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEE(ptr noundef nonnull align 8 dereferenceable(424) %0, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(8) %2, ptr noundef %3, ptr noundef nonnull align 8 dereferenceable(8) %4, ptr noundef %5) local_unnamed_addr #4 align 2 personality ptr @__gxx_personality_v0 {
  %7 = alloca %"class.std::function.434", align 8
  %8 = alloca %class.anon.437, align 1
  %9 = alloca %"class.RangeVecMap<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound, TraitResolveCommon::CachedBoundCmp>::const_iterator", align 8
  %10 = alloca %"class.RangeVecMap<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound, TraitResolveCommon::CachedBoundCmp>::const_iterator", align 8
  %11 = alloca %"class.HIR::ResolvePlaceholdersNop", align 8
  %12 = alloca %"struct.HIR::GenericParams::PrintArgs", align 8
  %13 = alloca %struct.ImplRef, align 8
  %14 = alloca %"struct.std::pair.444", align 8
  %15 = alloca %"struct.std::pair.446", align 8
  %16 = alloca %"class.std::reference_wrapper", align 8
  %17 = alloca %"class.std::reference_wrapper.448", align 8
  %18 = alloca %"class.RangeVecMap<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound, TraitResolveCommon::CachedBoundCmp>::const_iterator", align 8
  %19 = alloca %"struct.HIR::GenericParams::PrintArgs", align 8
  %20 = alloca %struct.ImplRef, align 8
  %21 = alloca %"struct.std::pair.444", align 8
  %22 = alloca %"struct.std::pair.446", align 8
  %23 = alloca %"class.std::reference_wrapper", align 8
  %24 = alloca %"class.std::reference_wrapper.448", align 8
  %25 = alloca %"class.RangeVecMap<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound, TraitResolveCommon::CachedBoundCmp>::const_iterator", align 8
  %26 = alloca %"class.__gnu_cxx::__normal_iterator.395", align 8
  %27 = alloca %"class.__gnu_cxx::__normal_iterator.395", align 8
  %28 = alloca %"class.HIR::TraitPath", align 8
  %29 = alloca %struct.MonomorphStatePtr, align 8
  %30 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %31 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %32 = alloca %struct.ImplRef, align 8
  %33 = alloca %"class.HIR::TypeRef", align 8
  %34 = alloca %"struct.HIR::PathParams", align 8
  %35 = alloca %"class.std::map", align 8
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %8) #6
  call void @"_ZNSt8functionIFbRKN3HIR7TypeRefEEEC2IZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKNS0_10SimplePathEPKNS0_10PathParamsES3_S_IFb7ImplRefbEEE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %7, ptr noundef nonnull align 1 dereferenceable(1) %8) #6
  %36 = invoke noundef zeroext i1 @_Z13visit_ty_withRKN3HIR7TypeRefESt8functionIFbS2_EE(ptr noundef nonnull align 8 dereferenceable(8) %4, ptr noundef nonnull %7)
          to label %37 unwind label %43

37:                                               ; preds = %6
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %8) #6
  %38 = getelementptr inbounds i8, ptr %0, i64 80
  br i1 %36, label %39, label %97

39:                                               ; preds = %37
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #6
  %40 = call ptr @_ZNK11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE5beginEv(ptr noundef nonnull align 8 dereferenceable(25) %38)
  store ptr %40, ptr %9, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #6
  %41 = call ptr @_ZNK11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE3endEv(ptr noundef nonnull align 8 dereferenceable(25) %38)
  store ptr %41, ptr %10, align 8
  %42 = call noundef zeroext i1 @_ZNK11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorneERKS9_(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(8) %10)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #6
  br i1 %42, label %.lr.ph155, label %.thread120

.lr.ph155:                                        ; preds = %39
  %.not104 = icmp eq ptr %3, null
  br label %45

.thread120:                                       ; preds = %.thread, %39
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #6
  br label %146

43:                                               ; preds = %6
  %44 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %8) #6
  br label %250

45:                                               ; preds = %.lr.ph155, %.thread
  %46 = call noundef ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %9)
  %47 = getelementptr inbounds i8, ptr %46, i64 8
  %48 = call noundef zeroext i1 @_ZNK3HIR10SimplePathneERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %47, ptr noundef nonnull align 8 dereferenceable(8) %2)
  br i1 %48, label %.thread, label %49

49:                                               ; preds = %45
  %50 = call noundef ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %9)
  %51 = call noundef ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %9)
  %52 = getelementptr inbounds i8, ptr %51, i64 16
  %53 = call noundef zeroext i1 @_Z13debug_enabledv()
  br i1 %53, label %54, label %61

54:                                               ; preds = %49
  %55 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !5
  %56 = call noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %55, ptr noundef nonnull @__FUNCTION__._ZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEE)
  %57 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %56, ptr noundef nonnull @.str.22)
  %58 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_7TypeRefE(ptr noundef nonnull align 8 dereferenceable(8) %57, ptr noundef nonnull align 8 dereferenceable(8) %50)
  %59 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %58, ptr noundef nonnull @_ZSt3decRSt8ios_base)
  %60 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %59, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  br label %61

61:                                               ; preds = %54, %49
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %11) #6
  store i64 0, ptr %11, align 8
  call void @_ZN3HIR22ResolvePlaceholdersNopC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %11) #6
  %62 = call noundef i32 @_ZNK3HIR7TypeRef25compare_with_placeholdersERK4SpanRKS0_RKNS_19ResolvePlaceholdersE(ptr noundef nonnull align 8 dereferenceable(8) %50, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(8) %4, ptr noundef nonnull align 8 dereferenceable(8) %11)
  %63 = icmp eq i32 %62, 2
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #6
  br i1 %63, label %.thread, label %64

64:                                               ; preds = %61
  %65 = call noundef zeroext i1 @_Z13debug_enabledv()
  br i1 %65, label %66, label %81

66:                                               ; preds = %64
  %67 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !5
  %68 = call noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %67, ptr noundef nonnull @__FUNCTION__._ZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEE)
  %69 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_7TypeRefE(ptr noundef nonnull align 8 dereferenceable(8) %68, ptr noundef nonnull align 8 dereferenceable(8) %50)
  %70 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %69, ptr noundef nonnull @.str.23)
  %71 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %70, ptr noundef nonnull @.str.24)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %12) #6
  %72 = call noundef ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %9)
  %73 = getelementptr inbounds i8, ptr %72, i64 40
  %74 = call ptr @_ZNK3HIR13GenericParams8fmt_argsEv(ptr noundef nonnull align 8 dereferenceable(96) %73)
  store ptr %74, ptr %12, align 8
  %75 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_13GenericParams9PrintArgsE(ptr noundef nonnull align 8 dereferenceable(8) %71, ptr noundef nonnull align 8 dereferenceable(8) %12)
  %76 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %75, ptr noundef nonnull @.str.25)
  %77 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_10SimplePathE(ptr noundef nonnull align 8 dereferenceable(8) %76, ptr noundef nonnull align 8 dereferenceable(8) %2)
  %78 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_10PathParamsE(ptr noundef nonnull align 8 dereferenceable(8) %77, ptr noundef nonnull align 8 dereferenceable(24) %52)
  %79 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %78, ptr noundef nonnull @_ZSt3decRSt8ios_base)
  %80 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %79, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #6
  br label %81

81:                                               ; preds = %66, %64
  br i1 %.not104, label %84, label %82

82:                                               ; preds = %81
  %83 = call noundef zeroext i1 @_ZZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEEEN1H10compare_ppES2_RS8_SI_(ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(24) %3, ptr noundef nonnull align 8 dereferenceable(24) %52)
  br i1 %83, label %84, label %.thread

84:                                               ; preds = %82, %81
  %85 = call noundef ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %9)
  %86 = getelementptr inbounds i8, ptr %85, i64 40
  %87 = call noundef ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %9)
  %88 = getelementptr inbounds i8, ptr %87, i64 144
  call void @_ZN7ImplRefC2EPKN3HIR13GenericParamsEPKNS0_7TypeRefEPKNS0_10PathParamsEPKSt3mapI8RcStringNS0_9TraitPath8AtyEqualESt4lessISB_ESaISt4pairIKSB_SD_EEE(ptr noundef nonnull align 8 dereferenceable(184) %13, ptr noundef nonnull %86, ptr noundef nonnull %50, ptr noundef nonnull %52, ptr noundef nonnull %88)
  %89 = invoke noundef zeroext i1 @_ZNKSt8functionIFb7ImplRefbEEclES0_b(ptr noundef nonnull align 8 dereferenceable(32) %5, ptr noundef nonnull %13, i1 noundef zeroext false)
          to label %90 unwind label %91

90:                                               ; preds = %84
  call void @_ZN7ImplRefD2Ev(ptr noundef nonnull align 8 dereferenceable(184) %13) #6
  br i1 %89, label %96, label %.thread

91:                                               ; preds = %84
  %92 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7ImplRefD2Ev(ptr noundef nonnull align 8 dereferenceable(184) %13) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #6
  br label %250

.thread:                                          ; preds = %90, %82, %61, %45
  %93 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorppEv(ptr noundef nonnull align 8 dereferenceable(8) %9)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #6
  %94 = call ptr @_ZNK11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE3endEv(ptr noundef nonnull align 8 dereferenceable(25) %38)
  store ptr %94, ptr %10, align 8
  %95 = call noundef zeroext i1 @_ZNK11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorneERKS9_(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(8) %10)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #6
  br i1 %95, label %45, label %.thread120, !llvm.loop !9

96:                                               ; preds = %90
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #6
  br label %.thread133

97:                                               ; preds = %37
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %14) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %15) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %16) #6
  %98 = call ptr @_ZSt3refIKN3HIR7TypeRefEESt17reference_wrapperIT_ERS4_(ptr noundef nonnull align 8 dereferenceable(8) %4) #6
  store ptr %98, ptr %16, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %17) #6
  %99 = call ptr @_ZSt3refIKN3HIR10SimplePathEESt17reference_wrapperIT_ERS4_(ptr noundef nonnull align 8 dereferenceable(8) %2) #6
  store ptr %99, ptr %17, align 8
  %100 = call { ptr, ptr } @_ZSt9make_pairISt17reference_wrapperIKN3HIR7TypeRefEES0_IKNS1_10SimplePathEEESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS9_INSA_IT0_E4typeEE6__typeEEOSB_OSG_(ptr noundef nonnull align 8 dereferenceable(8) %16, ptr noundef nonnull align 8 dereferenceable(8) %17)
  %101 = extractvalue { ptr, ptr } %100, 0
  store ptr %101, ptr %15, align 8
  %102 = getelementptr inbounds i8, ptr %15, i64 8
  %103 = extractvalue { ptr, ptr } %100, 1
  store ptr %103, ptr %102, align 8
  %104 = call { ptr, ptr } @_ZNK11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE11equal_rangeIS0_IRKS2_RKNS1_10SimplePathEEEES0_INS8_14const_iteratorESG_ERKT_(ptr noundef nonnull align 8 dereferenceable(25) %38, ptr noundef nonnull align 8 dereferenceable(16) %15)
  %105 = extractvalue { ptr, ptr } %104, 0
  store ptr %105, ptr %14, align 8
  %106 = getelementptr inbounds i8, ptr %14, i64 8
  %107 = extractvalue { ptr, ptr } %104, 1
  store ptr %107, ptr %106, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %17) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %16) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %15) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %18) #6
  %108 = ptrtoint ptr %105 to i64
  store i64 %108, ptr %18, align 8, !tbaa !11
  %109 = call noundef zeroext i1 @_ZNK11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorneERKS9_(ptr noundef nonnull align 8 dereferenceable(8) %18, ptr noundef nonnull align 8 dereferenceable(8) %106)
  br i1 %109, label %.lr.ph, label %.thread131

.lr.ph:                                           ; preds = %97
  %.not = icmp eq ptr %3, null
  br label %110

110:                                              ; preds = %.lr.ph, %142
  %111 = call noundef ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %18)
  %112 = call noundef ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %18)
  %113 = getelementptr inbounds i8, ptr %112, i64 16
  %114 = call noundef zeroext i1 @_Z13debug_enabledv()
  br i1 %114, label %115, label %130

115:                                              ; preds = %110
  %116 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !5
  %117 = call noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %116, ptr noundef nonnull @__FUNCTION__._ZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEE)
  %118 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_7TypeRefE(ptr noundef nonnull align 8 dereferenceable(8) %117, ptr noundef nonnull align 8 dereferenceable(8) %111)
  %119 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %118, ptr noundef nonnull @.str.23)
  %120 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %119, ptr noundef nonnull @.str.24)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %19) #6
  %121 = call noundef ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %18)
  %122 = getelementptr inbounds i8, ptr %121, i64 40
  %123 = call ptr @_ZNK3HIR13GenericParams8fmt_argsEv(ptr noundef nonnull align 8 dereferenceable(96) %122)
  store ptr %123, ptr %19, align 8
  %124 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_13GenericParams9PrintArgsE(ptr noundef nonnull align 8 dereferenceable(8) %120, ptr noundef nonnull align 8 dereferenceable(8) %19)
  %125 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %124, ptr noundef nonnull @.str.25)
  %126 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_10SimplePathE(ptr noundef nonnull align 8 dereferenceable(8) %125, ptr noundef nonnull align 8 dereferenceable(8) %2)
  %127 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_10PathParamsE(ptr noundef nonnull align 8 dereferenceable(8) %126, ptr noundef nonnull align 8 dereferenceable(24) %113)
  %128 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %127, ptr noundef nonnull @_ZSt3decRSt8ios_base)
  %129 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %128, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #6
  br label %130

130:                                              ; preds = %115, %110
  br i1 %.not, label %133, label %131

131:                                              ; preds = %130
  %132 = call noundef zeroext i1 @_ZZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEEEN1H10compare_ppES2_RS8_SI_(ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(24) %3, ptr noundef nonnull align 8 dereferenceable(24) %113)
  br i1 %132, label %133, label %142

133:                                              ; preds = %131, %130
  %134 = call noundef ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %18)
  %135 = getelementptr inbounds i8, ptr %134, i64 40
  %136 = call noundef ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %18)
  %137 = getelementptr inbounds i8, ptr %136, i64 144
  call void @_ZN7ImplRefC2EPKN3HIR13GenericParamsEPKNS0_7TypeRefEPKNS0_10PathParamsEPKSt3mapI8RcStringNS0_9TraitPath8AtyEqualESt4lessISB_ESaISt4pairIKSB_SD_EEE(ptr noundef nonnull align 8 dereferenceable(184) %20, ptr noundef nonnull %135, ptr noundef %111, ptr noundef nonnull %113, ptr noundef nonnull %137)
  %138 = invoke noundef zeroext i1 @_ZNKSt8functionIFb7ImplRefbEEclES0_b(ptr noundef nonnull align 8 dereferenceable(32) %5, ptr noundef nonnull %20, i1 noundef zeroext false)
          to label %139 unwind label %140

139:                                              ; preds = %133
  call void @_ZN7ImplRefD2Ev(ptr noundef nonnull align 8 dereferenceable(184) %20) #6
  br i1 %138, label %145, label %142

140:                                              ; preds = %133
  %141 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7ImplRefD2Ev(ptr noundef nonnull align 8 dereferenceable(184) %20) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %18) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %14) #6
  br label %250

142:                                              ; preds = %131, %139
  %143 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorppEv(ptr noundef nonnull align 8 dereferenceable(8) %18)
  %144 = call noundef zeroext i1 @_ZNK11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorneERKS9_(ptr noundef nonnull align 8 dereferenceable(8) %18, ptr noundef nonnull align 8 dereferenceable(8) %106)
  br i1 %144, label %110, label %.thread131, !llvm.loop !13

.thread131:                                       ; preds = %142, %97
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %18) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %14) #6
  br label %146

145:                                              ; preds = %139
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %18) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %14) #6
  br label %.thread133

146:                                              ; preds = %.thread131, %.thread120
  %147 = call noundef nonnull align 8 dereferenceable(184) ptr @_ZNK3HIR7TypeRef4dataEv(ptr noundef nonnull align 8 dereferenceable(8) %4)
  %148 = call noundef ptr @_ZNK3HIR8TypeData8opt_PathEv(ptr noundef nonnull align 8 dereferenceable(184) %147)
  %.not105 = icmp eq ptr %148, null
  br i1 %.not105, label %.thread133, label %149

149:                                              ; preds = %146
  %150 = call noundef ptr @_ZNK3HIR4Path4Data13opt_UfcsKnownEv(ptr noundef nonnull align 8 dereferenceable(88) %148)
  %.not106 = icmp eq ptr %150, null
  br i1 %.not106, label %.thread133, label %151

151:                                              ; preds = %149
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %21) #6
  %152 = getelementptr inbounds i8, ptr %0, i64 80
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %22) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %23) #6
  %153 = call ptr @_ZSt3refIKN3HIR7TypeRefEESt17reference_wrapperIT_ERS4_(ptr noundef nonnull align 8 dereferenceable(8) %150) #6
  store ptr %153, ptr %23, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %24) #6
  %154 = getelementptr inbounds i8, ptr %150, i64 8
  %155 = call ptr @_ZSt3refIKN3HIR10SimplePathEESt17reference_wrapperIT_ERS4_(ptr noundef nonnull align 8 dereferenceable(8) %154) #6
  store ptr %155, ptr %24, align 8
  %156 = call { ptr, ptr } @_ZSt9make_pairISt17reference_wrapperIKN3HIR7TypeRefEES0_IKNS1_10SimplePathEEESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS9_INSA_IT0_E4typeEE6__typeEEOSB_OSG_(ptr noundef nonnull align 8 dereferenceable(8) %23, ptr noundef nonnull align 8 dereferenceable(8) %24)
  %157 = extractvalue { ptr, ptr } %156, 0
  store ptr %157, ptr %22, align 8
  %158 = getelementptr inbounds i8, ptr %22, i64 8
  %159 = extractvalue { ptr, ptr } %156, 1
  store ptr %159, ptr %158, align 8
  %160 = call { ptr, ptr } @_ZNK11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE11equal_rangeIS0_IRKS2_RKNS1_10SimplePathEEEES0_INS8_14const_iteratorESG_ERKT_(ptr noundef nonnull align 8 dereferenceable(25) %152, ptr noundef nonnull align 8 dereferenceable(16) %22)
  %161 = extractvalue { ptr, ptr } %160, 0
  store ptr %161, ptr %21, align 8
  %162 = getelementptr inbounds i8, ptr %21, i64 8
  %163 = extractvalue { ptr, ptr } %160, 1
  store ptr %163, ptr %162, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %24) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %23) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %22) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %25) #6
  %164 = ptrtoint ptr %161 to i64
  store i64 %164, ptr %25, align 8, !tbaa !11
  %165 = call noundef zeroext i1 @_ZNK11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorneERKS9_(ptr noundef nonnull align 8 dereferenceable(8) %25, ptr noundef nonnull align 8 dereferenceable(8) %162)
  br i1 %165, label %.lr.ph160, label %.critedge118

.lr.ph160:                                        ; preds = %151
  %166 = getelementptr inbounds i8, ptr %150, i64 16
  %167 = getelementptr inbounds i8, ptr %150, i64 40
  %.not107 = icmp eq ptr %3, null
  %168 = getelementptr inbounds i8, ptr %28, i64 40
  %169 = getelementptr inbounds i8, ptr %28, i64 16
  br label %170

170:                                              ; preds = %.lr.ph160, %246
  %171 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratordeEv(ptr noundef nonnull align 8 dereferenceable(8) %25)
  %172 = call noundef ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %25)
  %173 = getelementptr inbounds i8, ptr %172, i64 16
  %174 = call noundef zeroext i1 @_ZZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEEEN1H10compare_ppES2_RS8_SI_(ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(24) %173, ptr noundef nonnull align 8 dereferenceable(24) %166)
  br i1 %174, label %175, label %246

175:                                              ; preds = %170
  %176 = getelementptr inbounds i8, ptr %171, i64 136
  %177 = load ptr, ptr %176, align 8, !tbaa !14
  %178 = getelementptr inbounds i8, ptr %177, i64 136
  %179 = call noundef nonnull align 8 dereferenceable(136) ptr @_ZNKSt13unordered_mapI8RcStringN3HIR14AssociatedTypeESt4hashIS0_ESt8equal_toIS0_ESaISt4pairIKS0_S2_EEE2atERS8_(ptr noundef nonnull align 8 dereferenceable(56) %178, ptr noundef nonnull align 8 dereferenceable(8) %167)
  %180 = getelementptr inbounds i8, ptr %179, i64 104
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %26) #6
  %181 = call ptr @_ZNKSt6vectorIN3HIR9TraitPathESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %180) #6
  store ptr %181, ptr %26, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %27) #6
  %182 = call ptr @_ZNKSt6vectorIN3HIR9TraitPathESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %180) #6
  store ptr %182, ptr %27, align 8
  %183 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3HIR9TraitPathESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESD_(ptr noundef nonnull align 8 dereferenceable(8) %26, ptr noundef nonnull align 8 dereferenceable(8) %27) #6
  br i1 %183, label %.lr.ph158, label %.thread136

.thread136:                                       ; preds = %.critedge, %175
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %27) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %26) #6
  br label %246

.lr.ph158:                                        ; preds = %175, %.critedge
  %184 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3HIR9TraitPathESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #6
  %185 = getelementptr inbounds i8, ptr %184, i64 8
  %186 = call noundef zeroext i1 @_ZNK3HIR10SimplePatheqERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %185, ptr noundef nonnull align 8 dereferenceable(8) %2)
  br i1 %186, label %187, label %.critedge

187:                                              ; preds = %.lr.ph158
  br i1 %.not107, label %191, label %188

188:                                              ; preds = %187
  %189 = getelementptr inbounds i8, ptr %184, i64 16
  %190 = call noundef zeroext i1 @_ZZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEEEN1H10compare_ppES2_RS8_SI_(ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(24) %189, ptr noundef nonnull align 8 dereferenceable(24) %3)
  br i1 %190, label %191, label %.critedge

191:                                              ; preds = %187, %188
  %192 = call noundef zeroext i1 @_Z13debug_enabledv()
  br i1 %192, label %193, label %199

193:                                              ; preds = %191
  %194 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !5
  %195 = call noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %194, ptr noundef nonnull @__FUNCTION__._ZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEE)
  %196 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %195, ptr noundef nonnull @.str.26)
  %197 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %196, ptr noundef nonnull @_ZSt3decRSt8ios_base)
  %198 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %197, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  br label %199

199:                                              ; preds = %193, %191
  call void @llvm.lifetime.start.p0(i64 144, ptr nonnull %28) #6
  call void @llvm.lifetime.start.p0(i64 128, ptr nonnull %29) #6
  call void @_ZN17MonomorphStatePtrC2EPKN3HIR7TypeRefEPKNS0_10PathParamsES6_S6_S6_(ptr noundef nonnull align 8 dereferenceable(128) %29, ptr noundef nonnull %150, ptr noundef nonnull %166, ptr noundef null, ptr noundef null, ptr noundef null)
  invoke void @_ZNK13Monomorphiser19monomorph_traitpathERK4SpanRKN3HIR9TraitPathEbb(ptr dead_on_unwind nonnull writable sret(%"class.HIR::TraitPath") align 8 %28, ptr noundef nonnull align 8 dereferenceable(96) %29, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(144) %184, i1 noundef zeroext false, i1 noundef zeroext false)
          to label %200 unwind label %205

200:                                              ; preds = %199
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(128) %29) #6
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %29) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %30) #6
  %201 = call ptr @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %168) #6
  store ptr %201, ptr %30, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %31) #6
  %202 = call ptr @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %168) #6
  store ptr %202, ptr %31, align 8
  %203 = call noundef zeroext i1 @_ZStneRKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitPath8AtyEqualEEES9_(ptr noundef nonnull align 8 dereferenceable(8) %30, ptr noundef nonnull align 8 dereferenceable(8) %31) #6
  br i1 %203, label %.lr.ph156, label %._crit_edge

._crit_edge:                                      ; preds = %209, %200
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %31) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %30) #6
  %204 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %214 unwind label %226

205:                                              ; preds = %199
  %206 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(128) %29) #6
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %29) #6
  br label %243

.lr.ph156:                                        ; preds = %200, %209
  %207 = call noundef nonnull align 8 dereferenceable(48) ptr @_ZNKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitPath8AtyEqualEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %30) #6
  %208 = getelementptr inbounds i8, ptr %207, i64 40
  invoke void @_ZNK18StaticTraitResolve23expand_associated_typesERK4SpanRN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %0, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(8) %208)
          to label %209 unwind label %212

209:                                              ; preds = %.lr.ph156
  %210 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitPath8AtyEqualEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %30) #6
  %211 = call noundef zeroext i1 @_ZStneRKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitPath8AtyEqualEEES9_(ptr noundef nonnull align 8 dereferenceable(8) %30, ptr noundef nonnull align 8 dereferenceable(8) %31) #6
  br i1 %211, label %.lr.ph156, label %._crit_edge

212:                                              ; preds = %.lr.ph156
  %213 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %31) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %30) #6
  br label %242

214:                                              ; preds = %._crit_edge
  br i1 %204, label %215, label %228

215:                                              ; preds = %214
  %216 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !5
  %217 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %216, ptr noundef nonnull @__FUNCTION__._ZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEE)
          to label %218 unwind label %226

218:                                              ; preds = %215
  %219 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %217, ptr noundef nonnull @.str.27)
          to label %220 unwind label %226

220:                                              ; preds = %218
  %221 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_9TraitPathE(ptr noundef nonnull align 8 dereferenceable(8) %219, ptr noundef nonnull align 8 dereferenceable(144) %28)
          to label %222 unwind label %226

222:                                              ; preds = %220
  %223 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %221, ptr noundef nonnull @_ZSt3decRSt8ios_base)
          to label %224 unwind label %226

224:                                              ; preds = %222
  %225 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %223, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %228 unwind label %226

226:                                              ; preds = %228, %224, %222, %220, %218, %215, %._crit_edge
  %227 = landingpad { ptr, i32 }
          cleanup
  br label %242

228:                                              ; preds = %224, %214
  invoke void @_ZNK3HIR7TypeRef5cloneEv(ptr dead_on_unwind nonnull writable sret(%"class.HIR::TypeRef") align 8 %33, ptr noundef nonnull align 8 dereferenceable(8) %4)
          to label %229 unwind label %226

229:                                              ; preds = %228
  invoke void @_ZN3HIR10PathParamsC2EOS0_(ptr noundef nonnull align 8 dereferenceable(24) %34, ptr noundef nonnull align 8 dereferenceable(24) %169)
          to label %230 unwind label %234

230:                                              ; preds = %229
  call void @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEEC2EOSA_(ptr noundef nonnull align 8 dereferenceable(48) %35, ptr noundef nonnull align 8 dereferenceable(48) %168) #6
  invoke void @_ZN7ImplRefC2EN3HIR7TypeRefENS0_10PathParamsESt3mapI8RcStringNS0_9TraitPath8AtyEqualESt4lessIS4_ESaISt4pairIKS4_S6_EEE(ptr noundef nonnull align 8 dereferenceable(184) %32, ptr noundef nonnull %33, ptr noundef nonnull %34, ptr noundef nonnull %35)
          to label %231 unwind label %236

231:                                              ; preds = %230
  %232 = invoke noundef zeroext i1 @_ZNKSt8functionIFb7ImplRefbEEclES0_b(ptr noundef nonnull align 8 dereferenceable(32) %5, ptr noundef nonnull %32, i1 noundef zeroext false)
          to label %233 unwind label %238

233:                                              ; preds = %231
  call void @_ZN7ImplRefD2Ev(ptr noundef nonnull align 8 dereferenceable(184) %32) #6
  call void @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %35) #6
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %34) #6
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %33) #6
  call void @_ZN3HIR9TraitPathD2Ev(ptr noundef nonnull align 8 dereferenceable(144) %28) #6
  call void @llvm.lifetime.end.p0(i64 144, ptr nonnull %28) #6
  br i1 %232, label %249, label %.critedge

234:                                              ; preds = %229
  %235 = landingpad { ptr, i32 }
          cleanup
  br label %241

236:                                              ; preds = %230
  %237 = landingpad { ptr, i32 }
          cleanup
  br label %240

238:                                              ; preds = %231
  %239 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7ImplRefD2Ev(ptr noundef nonnull align 8 dereferenceable(184) %32) #6
  br label %240

240:                                              ; preds = %238, %236
  %.pn = phi { ptr, i32 } [ %239, %238 ], [ %237, %236 ]
  call void @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %35) #6
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %34) #6
  br label %241

241:                                              ; preds = %240, %234
  %.pn.pn = phi { ptr, i32 } [ %.pn, %240 ], [ %235, %234 ]
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %33) #6
  br label %242

242:                                              ; preds = %241, %226, %212
  %.pn110 = phi { ptr, i32 } [ %213, %212 ], [ %.pn.pn, %241 ], [ %227, %226 ]
  call void @_ZN3HIR9TraitPathD2Ev(ptr noundef nonnull align 8 dereferenceable(144) %28) #6
  br label %243

243:                                              ; preds = %242, %205
  %.pn110.pn = phi { ptr, i32 } [ %.pn110, %242 ], [ %206, %205 ]
  call void @llvm.lifetime.end.p0(i64 144, ptr nonnull %28) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %27) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %26) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %25) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %21) #6
  br label %250

.critedge:                                        ; preds = %233, %188, %.lr.ph158
  %244 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3HIR9TraitPathESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #6
  %245 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3HIR9TraitPathESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESD_(ptr noundef nonnull align 8 dereferenceable(8) %26, ptr noundef nonnull align 8 dereferenceable(8) %27) #6
  br i1 %245, label %.lr.ph158, label %.thread136

246:                                              ; preds = %170, %.thread136
  %247 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorppEv(ptr noundef nonnull align 8 dereferenceable(8) %25)
  %248 = call noundef zeroext i1 @_ZNK11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE14const_iteratorneERKS9_(ptr noundef nonnull align 8 dereferenceable(8) %25, ptr noundef nonnull align 8 dereferenceable(8) %162)
  br i1 %248, label %170, label %.critedge118, !llvm.loop !52

249:                                              ; preds = %233
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %27) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %26) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %25) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %21) #6
  br label %.thread133

.critedge118:                                     ; preds = %246, %151
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %25) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %21) #6
  br label %.thread133

.thread133:                                       ; preds = %149, %.critedge118, %146, %249, %145, %96
  %.18 = phi i1 [ true, %96 ], [ true, %145 ], [ true, %249 ], [ false, %146 ], [ false, %.critedge118 ], [ false, %149 ]
  ret i1 %.18

250:                                              ; preds = %243, %140, %91, %43
  %.pn110.pn.pn = phi { ptr, i32 } [ %.pn110.pn, %243 ], [ %92, %91 ], [ %141, %140 ], [ %44, %43 ]
  resume { ptr, i32 } %.pn110.pn.pn
}

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

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

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, ptr } @_ZNK11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE11equal_rangeIS0_IRKS2_RKNS1_10SimplePathEEEES0_INS8_14const_iteratorESG_ERKT_(ptr noundef nonnull align 8 dereferenceable(25), ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #4 align 2

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, ptr } @_ZSt9make_pairISt17reference_wrapperIKN3HIR7TypeRefEES0_IKNS1_10SimplePathEEESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS9_INSA_IT0_E4typeEE6__typeEEOSB_OSG_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #4

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 8 dereferenceable(136) ptr @_ZNKSt13unordered_mapI8RcStringN3HIR14AssociatedTypeESt4hashIS0_ESt8equal_toIS0_ESaISt4pairIKS0_S2_EEE2atERS8_(ptr noundef nonnull align 8 dereferenceable(56), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #4 align 2

declare void @_ZNK13Monomorphiser19monomorph_traitpathERK4SpanRKN3HIR9TraitPathEbb(ptr dead_on_unwind writable sret(%"class.HIR::TraitPath") align 8, ptr noundef nonnull align 8 dereferenceable(96), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(144), i1 noundef zeroext, i1 noundef zeroext) local_unnamed_addr #1

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK18StaticTraitResolve23expand_associated_typesERK4SpanRN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #4 align 2

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #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 nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { 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 uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { nounwind }

!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 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}
!11 = !{!12, !12, i64 0}
!12 = !{!"any pointer", !7, i64 0}
!13 = distinct !{!13, !10}
!14 = !{!15, !12, i64 136}
!15 = !{!"_ZTSSt4pairIS_IN3HIR7TypeRefENS0_11GenericPathEEN18TraitResolveCommon11CachedBoundEE", !16, i64 0, !25, i64 40}
!16 = !{!"_ZTSSt4pairIN3HIR7TypeRefENS0_11GenericPathEE", !17, i64 0, !18, i64 8}
!17 = !{!"_ZTSN3HIR7TypeRefE", !12, i64 0}
!18 = !{!"_ZTSN3HIR11GenericPathE", !19, i64 0, !21, i64 8}
!19 = !{!"_ZTSN3HIR10SimplePathE", !20, i64 0}
!20 = !{!"_ZTS10ThinVectorI8RcStringE", !12, i64 0}
!21 = !{!"_ZTSN3HIR10PathParamsE", !22, i64 0, !23, i64 8, !24, i64 16}
!22 = !{!"_ZTS10ThinVectorIN3HIR11LifetimeRefEE", !12, i64 0}
!23 = !{!"_ZTS10ThinVectorIN3HIR7TypeRefEE", !12, i64 0}
!24 = !{!"_ZTS10ThinVectorIN3HIR12ConstGenericEE", !12, i64 0}
!25 = !{!"_ZTSN18TraitResolveCommon11CachedBoundE", !26, i64 0, !12, i64 96, !43, i64 104}
!26 = !{!"_ZTSN3HIR13GenericParamsE", !27, i64 0, !31, i64 24, !35, i64 48, !39, i64 72}
!27 = !{!"_ZTSSt6vectorIN3HIR12TypeParamDefESaIS1_EE", !28, i64 0}
!28 = !{!"_ZTSSt12_Vector_baseIN3HIR12TypeParamDefESaIS1_EE", !29, i64 0}
!29 = !{!"_ZTSNSt12_Vector_baseIN3HIR12TypeParamDefESaIS1_EE12_Vector_implE", !30, i64 0}
!30 = !{!"_ZTSNSt12_Vector_baseIN3HIR12TypeParamDefESaIS1_EE17_Vector_impl_dataE", !12, i64 0, !12, i64 8, !12, i64 16}
!31 = !{!"_ZTSSt6vectorIN3HIR11LifetimeDefESaIS1_EE", !32, i64 0}
!32 = !{!"_ZTSSt12_Vector_baseIN3HIR11LifetimeDefESaIS1_EE", !33, i64 0}
!33 = !{!"_ZTSNSt12_Vector_baseIN3HIR11LifetimeDefESaIS1_EE12_Vector_implE", !34, i64 0}
!34 = !{!"_ZTSNSt12_Vector_baseIN3HIR11LifetimeDefESaIS1_EE17_Vector_impl_dataE", !12, i64 0, !12, i64 8, !12, i64 16}
!35 = !{!"_ZTSSt6vectorIN3HIR13ValueParamDefESaIS1_EE", !36, i64 0}
!36 = !{!"_ZTSSt12_Vector_baseIN3HIR13ValueParamDefESaIS1_EE", !37, i64 0}
!37 = !{!"_ZTSNSt12_Vector_baseIN3HIR13ValueParamDefESaIS1_EE12_Vector_implE", !38, i64 0}
!38 = !{!"_ZTSNSt12_Vector_baseIN3HIR13ValueParamDefESaIS1_EE17_Vector_impl_dataE", !12, i64 0, !12, i64 8, !12, i64 16}
!39 = !{!"_ZTSSt6vectorIN3HIR12GenericBoundESaIS1_EE", !40, i64 0}
!40 = !{!"_ZTSSt12_Vector_baseIN3HIR12GenericBoundESaIS1_EE", !41, i64 0}
!41 = !{!"_ZTSNSt12_Vector_baseIN3HIR12GenericBoundESaIS1_EE12_Vector_implE", !42, i64 0}
!42 = !{!"_ZTSNSt12_Vector_baseIN3HIR12GenericBoundESaIS1_EE17_Vector_impl_dataE", !12, i64 0, !12, i64 8, !12, i64 16}
!43 = !{!"_ZTSSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEE", !44, i64 0}
!44 = !{!"_ZTSSt8_Rb_treeI8RcStringSt4pairIKS0_N3HIR9TraitPath8AtyEqualEESt10_Select1stIS6_ESt4lessIS0_ESaIS6_EE", !45, i64 0}
!45 = !{!"_ZTSNSt8_Rb_treeI8RcStringSt4pairIKS0_N3HIR9TraitPath8AtyEqualEESt10_Select1stIS6_ESt4lessIS0_ESaIS6_EE13_Rb_tree_implISA_Lb1EEE", !46, i64 0, !48, i64 8}
!46 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessI8RcStringEE", !47, i64 0}
!47 = !{!"_ZTSSt4lessI8RcStringE"}
!48 = !{!"_ZTSSt15_Rb_tree_header", !49, i64 0, !51, i64 32}
!49 = !{!"_ZTSSt18_Rb_tree_node_base", !50, i64 0, !12, i64 8, !12, i64 16, !12, i64 24}
!50 = !{!"_ZTSSt14_Rb_tree_color", !7, i64 0}
!51 = !{!"long", !7, i64 0}
!52 = distinct !{!52, !10}


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