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

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

%"struct.std::_Rb_tree_iterator.579" = type { ptr }
%"struct.HIR::PathParams" = type { %class.ThinVector.17, %class.ThinVector.18, %class.ThinVector.19 }
%class.ThinVector.17 = type { ptr }
%class.ThinVector.18 = type { ptr }
%class.ThinVector.19 = type { ptr }
%"class.std::function" = type { %"class.std::_Function_base", ptr }
%"class.std::_Function_base" = type { %"union.std::_Any_data", ptr }
%"union.std::_Any_data" = type { %"union.std::_Nocopy_types" }
%"union.std::_Nocopy_types" = type { { i64, i64 } }
%class.anon.583 = type { i8 }
%"struct.std::pair.588" = type <{ %"class.HIR::TypeRef", i8, [7 x i8] }>
%"class.HIR::TypeRef" = type { ptr }
%"struct.std::pair.585" = type <{ %"struct.std::_Rb_tree_iterator.579", i8, [7 x i8] }>
%class.anon.591 = type { i8 }
%"class.__gnu_cxx::__normal_iterator.395" = type { ptr }
%"class.std::function.336" = type { %"class.std::_Function_base", ptr }
%class.anon.593 = type { i8 }
%"class.__gnu_cxx::__normal_iterator.518" = type { ptr }
%class.StaticTraitResolve = type { ptr, %struct.TraitResolveCommon, i32, %"class.std::map.34", %"class.std::map.34", %"class.std::map.34", %"class.std::map.39" }
%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" }
%"struct.std::_Rb_tree_header" = type { %"struct.std::_Rb_tree_node_base", i64 }
%"struct.std::_Rb_tree_node_base" = type { i32, ptr, ptr, ptr }
%class.RangeVecMap = type <{ %"class.std::vector.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.HIR::SimplePath" = type { %class.ThinVector }
%class.ThinVector = type { ptr }
%"class.std::map.34" = type { %"class.std::_Rb_tree.35" }
%"class.std::_Rb_tree.35" = type { %"struct.std::_Rb_tree<HIR::TypeRef, std::pair<const HIR::TypeRef, bool>, std::_Select1st<std::pair<const HIR::TypeRef, bool>>, std::less<HIR::TypeRef>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<HIR::TypeRef, std::pair<const HIR::TypeRef, bool>, std::_Select1st<std::pair<const HIR::TypeRef, bool>>, std::less<HIR::TypeRef>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"class.std::map.39" = type { %"class.std::_Rb_tree.40" }
%"class.std::_Rb_tree.40" = type { %"struct.std::_Rb_tree<std::__cxx11::basic_string<char>, std::pair<const std::__cxx11::basic_string<char>, HIR::TypeRef>, std::_Select1st<std::pair<const std::__cxx11::basic_string<char>, HIR::TypeRef>>, std::less<std::__cxx11::basic_string<char>>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<std::__cxx11::basic_string<char>, std::pair<const std::__cxx11::basic_string<char>, HIR::TypeRef>, std::_Select1st<std::pair<const std::__cxx11::basic_string<char>, HIR::TypeRef>>, std::less<std::__cxx11::basic_string<char>>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.std::pair.580" = type <{ %"class.HIR::TypeRef", i8, [7 x i8] }>
%"struct.HIR::TypeData_Path" = type { %"class.HIR::Path", %"class.HIR::TypePathBinding", %"class.std::unique_ptr" }
%"class.HIR::Path" = type { %"class.HIR::Path::Data" }
%"class.HIR::Path::Data" = type { i32, %"union.HIR::Path::Data::DataUnion" }
%"union.HIR::Path::Data::DataUnion" = type { %"struct.HIR::Path::Data::Data_UfcsKnown" }
%"struct.HIR::Path::Data::Data_UfcsKnown" = type { %"class.HIR::TypeRef", %"class.HIR::GenericPath", %class.RcString, %"struct.HIR::PathParams", %"class.std::unique_ptr" }
%"class.HIR::GenericPath" = type { %"struct.HIR::SimplePath", %"struct.HIR::PathParams" }
%class.RcString = type { ptr }
%"class.HIR::TypePathBinding" = type { i32, %"union.HIR::TypePathBinding::DataUnion" }
%"union.HIR::TypePathBinding::DataUnion" = type { ptr }
%"class.std::unique_ptr" = type { %"struct.std::__uniq_ptr_data" }
%"struct.std::__uniq_ptr_data" = type { %"class.std::__uniq_ptr_impl" }
%"class.std::__uniq_ptr_impl" = type { %"class.std::tuple" }
%"class.std::tuple" = type { %"struct.std::_Tuple_impl" }
%"struct.std::_Tuple_impl" = type { %"struct.std::_Head_base.46" }
%"struct.std::_Head_base.46" = type { ptr }
%"struct.HIR::TraitMarkings" = type { i8, i8, i8, %"class.std::map.91" }
%"class.std::map.91" = type { %"class.std::_Rb_tree.92" }
%"class.std::_Rb_tree.92" = type { %"struct.std::_Rb_tree<HIR::SimplePath, std::pair<const HIR::SimplePath, HIR::TraitMarkings::AutoMarking>, std::_Select1st<std::pair<const HIR::SimplePath, HIR::TraitMarkings::AutoMarking>>, std::less<HIR::SimplePath>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<HIR::SimplePath, std::pair<const HIR::SimplePath, HIR::TraitMarkings::AutoMarking>, std::_Select1st<std::pair<const HIR::SimplePath, HIR::TraitMarkings::AutoMarking>>, std::less<HIR::SimplePath>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.HIR::TypeData::Data_Closure" = type { ptr }
%"struct.HIR::ExprNode_Closure" = type { %"class.HIR::ExprNode.base", %"class.std::vector.266", %"class.HIR::TypeRef", %"class.std::unique_ptr.271", i8, i32, i8, %"struct.HIR::ExprNode_Closure::AvuCache", %"struct.HIR::LifetimeRef", ptr, %"class.HIR::GenericPath", %"class.HIR::GenericPath", %"class.std::vector.289" }
%"class.HIR::ExprNode.base" = type <{ ptr, %struct.Span, %"class.HIR::TypeRef", i32 }>
%struct.Span = type { ptr }
%"class.std::vector.266" = type { %"struct.std::_Vector_base.267" }
%"struct.std::_Vector_base.267" = type { %"struct.std::_Vector_base<std::pair<HIR::Pattern, HIR::TypeRef>, std::allocator<std::pair<HIR::Pattern, HIR::TypeRef>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<HIR::Pattern, HIR::TypeRef>, std::allocator<std::pair<HIR::Pattern, HIR::TypeRef>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<HIR::Pattern, HIR::TypeRef>, std::allocator<std::pair<HIR::Pattern, HIR::TypeRef>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<HIR::Pattern, HIR::TypeRef>, std::allocator<std::pair<HIR::Pattern, HIR::TypeRef>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::unique_ptr.271" = type { %"struct.std::__uniq_ptr_data.272" }
%"struct.std::__uniq_ptr_data.272" = type { %"class.std::__uniq_ptr_impl.273" }
%"class.std::__uniq_ptr_impl.273" = type { %"class.std::tuple.274" }
%"class.std::tuple.274" = type { %"struct.std::_Tuple_impl.275" }
%"struct.std::_Tuple_impl.275" = type { %"struct.std::_Head_base.278" }
%"struct.std::_Head_base.278" = type { ptr }
%"struct.HIR::ExprNode_Closure::AvuCache" = type { %"class.std::vector.279", %"class.std::vector.284" }
%"class.std::vector.279" = type { %"struct.std::_Vector_base.280" }
%"struct.std::_Vector_base.280" = type { %"struct.std::_Vector_base<unsigned int, std::allocator<unsigned int>>::_Vector_impl" }
%"struct.std::_Vector_base<unsigned int, std::allocator<unsigned int>>::_Vector_impl" = type { %"struct.std::_Vector_base<unsigned int, std::allocator<unsigned int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<unsigned int, std::allocator<unsigned int>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.284" = type { %"struct.std::_Vector_base.285" }
%"struct.std::_Vector_base.285" = type { %"struct.std::_Vector_base<HIR::ExprNode_Closure::AvuCache::Capture, std::allocator<HIR::ExprNode_Closure::AvuCache::Capture>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::ExprNode_Closure::AvuCache::Capture, std::allocator<HIR::ExprNode_Closure::AvuCache::Capture>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::ExprNode_Closure::AvuCache::Capture, std::allocator<HIR::ExprNode_Closure::AvuCache::Capture>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::ExprNode_Closure::AvuCache::Capture, std::allocator<HIR::ExprNode_Closure::AvuCache::Capture>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.HIR::LifetimeRef" = type { i32 }
%"class.std::vector.289" = type { %"struct.std::_Vector_base.290" }
%"struct.std::_Vector_base.290" = type { %"struct.std::_Vector_base<std::unique_ptr<HIR::ExprNode>, std::allocator<std::unique_ptr<HIR::ExprNode>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::unique_ptr<HIR::ExprNode>, std::allocator<std::unique_ptr<HIR::ExprNode>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::unique_ptr<HIR::ExprNode>, std::allocator<std::unique_ptr<HIR::ExprNode>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::unique_ptr<HIR::ExprNode>, std::allocator<std::unique_ptr<HIR::ExprNode>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.HIR::TypeData::Data_Borrow" = type { %"struct.HIR::LifetimeRef", i32, %"class.HIR::TypeRef" }
%"struct.HIR::TypeData::Data_Array" = type { %"class.HIR::TypeRef", %"class.HIR::ArraySize" }
%"class.HIR::ArraySize" = type { i32, %"union.HIR::ArraySize::DataUnion" }
%"union.HIR::ArraySize::DataUnion" = type { %"class.HIR::ConstGeneric" }
%"class.HIR::ConstGeneric" = type { i32, %"union.HIR::ConstGeneric::DataUnion" }
%"union.HIR::ConstGeneric::DataUnion" = type { %"class.std::unique_ptr.67", [8 x i8] }
%"class.std::unique_ptr.67" = type { %"struct.std::__uniq_ptr_data.68" }
%"struct.std::__uniq_ptr_data.68" = type { %"class.std::__uniq_ptr_impl.69" }
%"class.std::__uniq_ptr_impl.69" = type { %"class.std::tuple.70" }
%"class.std::tuple.70" = type { %"struct.std::_Tuple_impl.71" }
%"struct.std::_Tuple_impl.71" = type { %"struct.std::_Head_base.74" }
%"struct.std::_Head_base.74" = type { ptr }
%"struct.HIR::TypeData_ErasedType" = type { i8, %"class.std::vector.57", %"class.std::vector.62", %"class.HIR::TypeData_ErasedType_Inner" }
%"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 }
%"class.std::vector.62" = type { %"struct.std::_Vector_base.63" }
%"struct.std::_Vector_base.63" = type { %"struct.std::_Vector_base<HIR::LifetimeRef, std::allocator<HIR::LifetimeRef>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::LifetimeRef, std::allocator<HIR::LifetimeRef>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::LifetimeRef, std::allocator<HIR::LifetimeRef>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::LifetimeRef, std::allocator<HIR::LifetimeRef>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.HIR::TypeData_ErasedType_Inner" = type { i32, %"union.HIR::TypeData_ErasedType_Inner::DataUnion" }
%"union.HIR::TypeData_ErasedType_Inner::DataUnion" = type { %"struct.HIR::TypeData_ErasedType_Inner::Data_Alias", [56 x i8] }
%"struct.HIR::TypeData_ErasedType_Inner::Data_Alias" = type { %"struct.HIR::PathParams", %"class.std::shared_ptr" }
%"class.std::shared_ptr" = type { %"class.std::__shared_ptr" }
%"class.std::__shared_ptr" = type { ptr, %"class.std::__shared_count" }
%"class.std::__shared_count" = type { ptr }
%"class.HIR::TraitPath" = type { %"class.std::unique_ptr", %"class.HIR::GenericPath", %"class.std::map", %"class.std::map.47", 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" }
%"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" }

@gTargetVersion = external global i32, align 4
@.str.4 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [80 x i8], align 1
@__PRETTY_FUNCTION__._ZNK18StaticTraitResolve12type_is_copyERK4SpanRKN3HIR7TypeRefE = external hidden unnamed_addr constant [82 x i8], align 1
@.str.74 = external hidden unnamed_addr constant [1 x i8], align 1
@_ZTIPKc = external constant ptr

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

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #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) #1

declare void @_ZN3HIR10PathParamsC1Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #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 uwtable
define dso_local noundef zeroext i1 @_ZNK18StaticTraitResolve12type_is_copyERK4SpanRKN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %0, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(8) %2) #0 align 2 personality ptr @__gxx_personality_v0 {
  %4 = alloca i1, align 1
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca i8, align 1
  %9 = alloca i32, align 4
  %10 = alloca ptr, align 8
  %11 = alloca i8, align 1
  %12 = alloca ptr, align 8
  %13 = alloca %"struct.std::_Rb_tree_iterator.579", align 8
  %14 = alloca %"struct.std::_Rb_tree_iterator.579", align 8
  %15 = alloca %"struct.HIR::PathParams", align 8
  %16 = alloca i8, align 1
  %17 = alloca %"class.std::function", align 8
  %18 = alloca %class.anon.583, align 1
  %19 = alloca ptr, align 8
  %20 = alloca i32, align 4
  %21 = alloca %"struct.std::pair.588", align 8
  %22 = alloca %"class.HIR::TypeRef", align 8
  %23 = alloca %"struct.std::pair.585", align 8
  %24 = alloca i8, align 1
  %25 = alloca ptr, align 8
  %26 = alloca ptr, align 8
  %27 = alloca %"struct.std::_Rb_tree_iterator.579", align 8
  %28 = alloca %"struct.std::_Rb_tree_iterator.579", align 8
  %29 = alloca %"struct.HIR::PathParams", align 8
  %30 = alloca i8, align 1
  %31 = alloca %"class.std::function", align 8
  %32 = alloca %class.anon.591, align 1
  %33 = alloca %"struct.std::pair.588", align 8
  %34 = alloca %"class.HIR::TypeRef", align 8
  %35 = alloca %"struct.std::pair.585", align 8
  %36 = alloca i8, align 1
  %37 = alloca ptr, align 8
  %38 = alloca i8, align 1
  %39 = alloca ptr, align 8
  %40 = alloca i8, align 1
  %41 = alloca ptr, align 8
  %42 = alloca i8, align 1
  %43 = alloca ptr, align 8
  %44 = alloca i8, align 1
  %45 = alloca ptr, align 8
  %46 = alloca i8, align 1
  %47 = alloca ptr, align 8
  %48 = alloca i8, align 1
  %49 = alloca ptr, align 8
  %50 = alloca i8, align 1
  %51 = alloca ptr, align 8
  %52 = alloca i8, align 1
  %53 = alloca ptr, align 8
  %54 = alloca i8, align 1
  %55 = alloca ptr, align 8
  %56 = alloca i8, align 1
  %57 = alloca ptr, align 8
  %58 = alloca i8, align 1
  %59 = alloca ptr, align 8
  %60 = alloca i8, align 1
  %61 = alloca ptr, align 8
  %62 = alloca ptr, align 8
  %63 = alloca %"class.__gnu_cxx::__normal_iterator.395", align 8
  %64 = alloca %"class.__gnu_cxx::__normal_iterator.395", align 8
  %65 = alloca ptr, align 8
  %66 = alloca %"struct.HIR::PathParams", align 8
  %67 = alloca %"class.std::function.336", align 8
  %68 = alloca %class.anon.593, align 1
  %69 = alloca i8, align 1
  %70 = alloca ptr, align 8
  %71 = alloca ptr, align 8
  %72 = alloca %"class.__gnu_cxx::__normal_iterator.518", align 8
  %73 = alloca %"class.__gnu_cxx::__normal_iterator.518", align 8
  %74 = alloca ptr, align 8
  store ptr %0, ptr %5, align 8, !tbaa !5
  store ptr %1, ptr %6, align 8, !tbaa !5
  store ptr %2, ptr %7, align 8, !tbaa !5
  %75 = load ptr, ptr %5, align 8
  call void @llvm.lifetime.start.p0(i64 1, ptr %8) #6
  store i8 1, ptr %8, align 1, !tbaa !9
  br label %76

76:                                               ; preds = %682, %3
  %77 = load i8, ptr %8, align 1, !tbaa !9, !range !11, !noundef !12
  %78 = trunc i8 %77 to i1
  br i1 %78, label %80, label %79

79:                                               ; preds = %76
  store i32 2, ptr %9, align 4
  br label %683

80:                                               ; preds = %76
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #6
  %81 = load ptr, ptr %7, align 8, !tbaa !5
  %82 = call noundef nonnull align 8 dereferenceable(184) ptr @_ZNK3HIR7TypeRef4dataEv(ptr noundef nonnull align 8 dereferenceable(8) %81)
  store ptr %82, ptr %10, align 8, !tbaa !5
  br label %83

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

86:                                               ; preds = %83
  store i32 5, ptr %9, align 4
  br label %678

87:                                               ; preds = %83
  %88 = load ptr, ptr %10, align 8, !tbaa !5
  %89 = call noundef i32 @_ZNK3HIR8TypeData3tagEv(ptr noundef nonnull align 8 dereferenceable(184) %88)
  switch i32 %89, label %676 [
    i32 0, label %90
    i32 5, label %91
    i32 4, label %168
    i32 2, label %269
    i32 15, label %291
    i32 16, label %323
    i32 1, label %345
    i32 11, label %367
    i32 12, label %393
    i32 13, label %415
    i32 14, label %437
    i32 3, label %459
    i32 8, label %484
    i32 9, label %521
    i32 6, label %543
    i32 7, label %565
    i32 10, label %629
  ]

90:                                               ; preds = %87
  call void @__assert_fail(ptr noundef @.str.4, ptr noundef @.str.5, i32 noundef 2069, ptr noundef @__PRETTY_FUNCTION__._ZNK18StaticTraitResolve12type_is_copyERK4SpanRKN3HIR7TypeRefE) #7
  unreachable

91:                                               ; preds = %87
  call void @llvm.lifetime.start.p0(i64 1, ptr %11) #6
  store i8 1, ptr %11, align 1, !tbaa !9
  br label %92

92:                                               ; preds = %164, %91
  %93 = load i8, ptr %11, align 1, !tbaa !9, !range !11, !noundef !12
  %94 = trunc i8 %93 to i1
  br i1 %94, label %96, label %95

95:                                               ; preds = %92
  store i32 9, ptr %9, align 4
  br label %165

96:                                               ; preds = %92
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #6
  %97 = load ptr, ptr %10, align 8, !tbaa !5
  %98 = call noundef nonnull align 8 dereferenceable(12) ptr @_ZNK3HIR8TypeData10as_GenericEv(ptr noundef nonnull align 8 dereferenceable(184) %97)
  store ptr %98, ptr %12, align 8, !tbaa !5
  br label %99

99:                                               ; preds = %160, %96
  %100 = load ptr, ptr %12, align 8, !tbaa !5
  %101 = load i8, ptr %11, align 1, !tbaa !9, !range !11, !noundef !12
  %102 = trunc i8 %101 to i1
  br i1 %102, label %104, label %103

103:                                              ; preds = %99
  store i32 12, ptr %9, align 4
  br label %161

104:                                              ; preds = %99
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #6
  %105 = getelementptr inbounds %class.StaticTraitResolve, ptr %75, i32 0, i32 3
  %106 = load ptr, ptr %7, align 8, !tbaa !5
  %107 = call ptr @_ZNSt3mapIN3HIR7TypeRefEbSt4lessIS1_ESaISt4pairIKS1_bEEE4findERS5_(ptr noundef nonnull align 8 dereferenceable(48) %105, ptr noundef nonnull align 8 dereferenceable(8) %106)
  %108 = getelementptr inbounds %"struct.std::_Rb_tree_iterator.579", ptr %13, i32 0, i32 0
  store ptr %107, ptr %108, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #6
  %109 = getelementptr inbounds %class.StaticTraitResolve, ptr %75, i32 0, i32 3
  %110 = call ptr @_ZNSt3mapIN3HIR7TypeRefEbSt4lessIS1_ESaISt4pairIKS1_bEEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %109) #6
  %111 = getelementptr inbounds %"struct.std::_Rb_tree_iterator.579", ptr %14, i32 0, i32 0
  store ptr %110, ptr %111, align 8
  %112 = call noundef zeroext i1 @_ZStneRKSt17_Rb_tree_iteratorISt4pairIKN3HIR7TypeRefEbEES7_(ptr noundef nonnull align 8 dereferenceable(8) %13, ptr noundef nonnull align 8 dereferenceable(8) %14) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #6
  br i1 %112, label %113, label %118

113:                                              ; preds = %104
  %114 = call noundef ptr @_ZNKSt17_Rb_tree_iteratorISt4pairIKN3HIR7TypeRefEbEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %13) #6
  %115 = getelementptr inbounds %"struct.std::pair.580", ptr %114, i32 0, i32 1
  %116 = load i8, ptr %115, align 8, !tbaa !13, !range !11, !noundef !12
  %117 = trunc i8 %116 to i1
  store i1 %117, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %119

118:                                              ; preds = %104
  store i32 0, ptr %9, align 4
  br label %119

119:                                              ; preds = %118, %113
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #6
  %120 = load i32, ptr %9, align 4
  switch i32 %120, label %161 [
    i32 0, label %121
  ]

121:                                              ; preds = %119
  call void @llvm.lifetime.start.p0(i64 24, ptr %15) #6
  call void @_ZN3HIR10PathParamsC1Ev(ptr noundef nonnull align 8 dereferenceable(24) %15)
  call void @llvm.lifetime.start.p0(i64 1, ptr %16) #6
  %122 = load ptr, ptr %6, align 8, !tbaa !5
  %123 = getelementptr inbounds i8, ptr %75, i64 8
  %124 = getelementptr inbounds %struct.TraitResolveCommon, ptr %123, i32 0, i32 5
  %125 = load ptr, ptr %7, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %18) #6
  call void @"_ZNSt8functionIFb7ImplRefbEEC2IZNK18StaticTraitResolve12type_is_copyERK4SpanRKN3HIR7TypeRefEE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %17, ptr noundef nonnull align 1 dereferenceable(1) %18) #6
  %126 = invoke noundef zeroext i1 @_ZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEE(ptr noundef nonnull align 8 dereferenceable(424) %75, ptr noundef nonnull align 8 dereferenceable(8) %122, ptr noundef nonnull align 8 dereferenceable(8) %124, ptr noundef %15, ptr noundef nonnull align 8 dereferenceable(8) %125, ptr noundef %17)
          to label %127 unwind label %141

127:                                              ; preds = %121
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %17) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %18) #6
  %128 = zext i1 %126 to i8
  store i8 %128, ptr %16, align 1, !tbaa !9
  %129 = getelementptr inbounds %class.StaticTraitResolve, ptr %75, i32 0, i32 3
  call void @llvm.lifetime.start.p0(i64 16, ptr %21) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #6
  %130 = load ptr, ptr %7, align 8, !tbaa !5
  invoke void @_ZNK3HIR7TypeRef5cloneEv(ptr dead_on_unwind writable sret(%"class.HIR::TypeRef") align 8 %22, ptr noundef nonnull align 8 dereferenceable(8) %130)
          to label %131 unwind label %145

131:                                              ; preds = %127
  invoke void @_ZSt9make_pairIN3HIR7TypeRefERbESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS4_INS5_IT0_E4typeEE6__typeEEOS6_OSB_(ptr dead_on_unwind writable sret(%"struct.std::pair.588") align 8 %21, ptr noundef nonnull align 8 dereferenceable(8) %22, ptr noundef nonnull align 1 dereferenceable(1) %16)
          to label %132 unwind label %149

132:                                              ; preds = %131
  %133 = invoke { ptr, i8 } @_ZNSt3mapIN3HIR7TypeRefEbSt4lessIS1_ESaISt4pairIKS1_bEEE6insertIS4_IS1_bEEENSt9enable_ifIXsr16is_constructibleIS6_T_EE5valueES4_ISt17_Rb_tree_iteratorIS6_EbEE4typeEOSC_(ptr noundef nonnull align 8 dereferenceable(48) %129, ptr noundef nonnull align 8 dereferenceable(9) %21)
          to label %134 unwind label %153

134:                                              ; preds = %132
  %135 = getelementptr inbounds { ptr, i8 }, ptr %23, i32 0, i32 0
  %136 = extractvalue { ptr, i8 } %133, 0
  store ptr %136, ptr %135, align 8
  %137 = getelementptr inbounds { ptr, i8 }, ptr %23, i32 0, i32 1
  %138 = extractvalue { ptr, i8 } %133, 1
  store i8 %138, ptr %137, align 8
  call void @_ZNSt4pairIN3HIR7TypeRefEbED2Ev(ptr noundef nonnull align 8 dereferenceable(9) %21) #6
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %22) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %21) #6
  %139 = load i8, ptr %16, align 1, !tbaa !9, !range !11, !noundef !12
  %140 = trunc i8 %139 to i1
  store i1 %140, ptr %4, align 1
  store i32 1, ptr %9, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %16) #6
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %15) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %15) #6
  br label %161

141:                                              ; preds = %121
  %142 = landingpad { ptr, i32 }
          cleanup
  %143 = extractvalue { ptr, i32 } %142, 0
  store ptr %143, ptr %19, align 8
  %144 = extractvalue { ptr, i32 } %142, 1
  store i32 %144, ptr %20, align 4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %17) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %18) #6
  br label %159

145:                                              ; preds = %127
  %146 = landingpad { ptr, i32 }
          cleanup
  %147 = extractvalue { ptr, i32 } %146, 0
  store ptr %147, ptr %19, align 8
  %148 = extractvalue { ptr, i32 } %146, 1
  store i32 %148, ptr %20, align 4
  br label %158

149:                                              ; preds = %131
  %150 = landingpad { ptr, i32 }
          cleanup
  %151 = extractvalue { ptr, i32 } %150, 0
  store ptr %151, ptr %19, align 8
  %152 = extractvalue { ptr, i32 } %150, 1
  store i32 %152, ptr %20, align 4
  br label %157

153:                                              ; preds = %132
  %154 = landingpad { ptr, i32 }
          cleanup
  %155 = extractvalue { ptr, i32 } %154, 0
  store ptr %155, ptr %19, align 8
  %156 = extractvalue { ptr, i32 } %154, 1
  store i32 %156, ptr %20, align 4
  call void @_ZNSt4pairIN3HIR7TypeRefEbED2Ev(ptr noundef nonnull align 8 dereferenceable(9) %21) #6
  br label %157

157:                                              ; preds = %153, %149
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %22) #6
  br label %158

158:                                              ; preds = %157, %145
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %21) #6
  br label %159

159:                                              ; preds = %158, %141
  call void @llvm.lifetime.end.p0(i64 1, ptr %16) #6
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %15) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %15) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %11) #6
  br label %680

160:                                              ; No predecessors!
  store i8 0, ptr %11, align 1, !tbaa !9
  br label %99, !llvm.loop !16

161:                                              ; preds = %134, %119, %103
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #6
  %162 = load i32, ptr %9, align 4
  switch i32 %162, label %165 [
    i32 12, label %163
  ]

163:                                              ; preds = %161
  br label %164

164:                                              ; preds = %163
  store i8 0, ptr %11, align 1, !tbaa !9
  br label %92, !llvm.loop !18

165:                                              ; preds = %161, %95
  call void @llvm.lifetime.end.p0(i64 1, ptr %11) #6
  %166 = load i32, ptr %9, align 4
  switch i32 %166, label %678 [
    i32 9, label %167
  ]

167:                                              ; preds = %165
  br label %676

168:                                              ; preds = %87
  call void @llvm.lifetime.start.p0(i64 1, ptr %24) #6
  store i8 1, ptr %24, align 1, !tbaa !9
  br label %169

169:                                              ; preds = %265, %168
  %170 = load i8, ptr %24, align 1, !tbaa !9, !range !11, !noundef !12
  %171 = trunc i8 %170 to i1
  br i1 %171, label %173, label %172

172:                                              ; preds = %169
  store i32 15, ptr %9, align 4
  br label %266

173:                                              ; preds = %169
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #6
  %174 = load ptr, ptr %10, align 8, !tbaa !5
  %175 = call noundef nonnull align 8 dereferenceable(112) ptr @_ZNK3HIR8TypeData7as_PathEv(ptr noundef nonnull align 8 dereferenceable(184) %174)
  store ptr %175, ptr %25, align 8, !tbaa !5
  br label %176

176:                                              ; preds = %261, %173
  %177 = load ptr, ptr %25, align 8, !tbaa !5
  %178 = load i8, ptr %24, align 1, !tbaa !9, !range !11, !noundef !12
  %179 = trunc i8 %178 to i1
  br i1 %179, label %181, label %180

180:                                              ; preds = %176
  store i32 18, ptr %9, align 4
  br label %262

181:                                              ; preds = %176
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #6
  %182 = load ptr, ptr %25, align 8, !tbaa !5
  %183 = getelementptr inbounds %"struct.HIR::TypeData_Path", ptr %182, i32 0, i32 1
  %184 = call noundef ptr @_ZNK3HIR15TypePathBinding18get_trait_markingsEv(ptr noundef nonnull align 8 dereferenceable(16) %183)
  store ptr %184, ptr %26, align 8, !tbaa !5
  %185 = load ptr, ptr %26, align 8, !tbaa !5
  %186 = icmp ne ptr %185, null
  br i1 %186, label %187, label %204

187:                                              ; preds = %181
  %188 = load ptr, ptr %26, align 8, !tbaa !5
  %189 = getelementptr inbounds %"struct.HIR::TraitMarkings", ptr %188, i32 0, i32 2
  %190 = load i8, ptr %189, align 2, !tbaa !19, !range !11, !noundef !12
  %191 = trunc i8 %190 to i1
  br i1 %191, label %193, label %192

192:                                              ; preds = %187
  store i1 false, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %260

193:                                              ; preds = %187
  %194 = load ptr, ptr %25, align 8, !tbaa !5
  %195 = getelementptr inbounds %"struct.HIR::TypeData_Path", ptr %194, i32 0, i32 0
  %196 = getelementptr inbounds %"class.HIR::Path", ptr %195, i32 0, i32 0
  %197 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNK3HIR4Path4Data10as_GenericEv(ptr noundef nonnull align 8 dereferenceable(88) %196)
  %198 = getelementptr inbounds %"class.HIR::GenericPath", ptr %197, i32 0, i32 1
  %199 = call noundef zeroext i1 @_ZNK3HIR10PathParams10has_paramsEv(ptr noundef nonnull align 8 dereferenceable(24) %198)
  br i1 %199, label %201, label %200

200:                                              ; preds = %193
  store i1 true, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %260

201:                                              ; preds = %193
  br label %202

202:                                              ; preds = %201
  br label %203

203:                                              ; preds = %202
  br label %204

204:                                              ; preds = %203, %181
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #6
  %205 = getelementptr inbounds %class.StaticTraitResolve, ptr %75, i32 0, i32 3
  %206 = load ptr, ptr %7, align 8, !tbaa !5
  %207 = call ptr @_ZNSt3mapIN3HIR7TypeRefEbSt4lessIS1_ESaISt4pairIKS1_bEEE4findERS5_(ptr noundef nonnull align 8 dereferenceable(48) %205, ptr noundef nonnull align 8 dereferenceable(8) %206)
  %208 = getelementptr inbounds %"struct.std::_Rb_tree_iterator.579", ptr %27, i32 0, i32 0
  store ptr %207, ptr %208, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #6
  %209 = getelementptr inbounds %class.StaticTraitResolve, ptr %75, i32 0, i32 3
  %210 = call ptr @_ZNSt3mapIN3HIR7TypeRefEbSt4lessIS1_ESaISt4pairIKS1_bEEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %209) #6
  %211 = getelementptr inbounds %"struct.std::_Rb_tree_iterator.579", ptr %28, i32 0, i32 0
  store ptr %210, ptr %211, align 8
  %212 = call noundef zeroext i1 @_ZStneRKSt17_Rb_tree_iteratorISt4pairIKN3HIR7TypeRefEbEES7_(ptr noundef nonnull align 8 dereferenceable(8) %27, ptr noundef nonnull align 8 dereferenceable(8) %28) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #6
  br i1 %212, label %213, label %218

213:                                              ; preds = %204
  %214 = call noundef ptr @_ZNKSt17_Rb_tree_iteratorISt4pairIKN3HIR7TypeRefEbEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %27) #6
  %215 = getelementptr inbounds %"struct.std::pair.580", ptr %214, i32 0, i32 1
  %216 = load i8, ptr %215, align 8, !tbaa !13, !range !11, !noundef !12
  %217 = trunc i8 %216 to i1
  store i1 %217, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %219

218:                                              ; preds = %204
  store i32 0, ptr %9, align 4
  br label %219

219:                                              ; preds = %218, %213
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #6
  %220 = load i32, ptr %9, align 4
  switch i32 %220, label %260 [
    i32 0, label %221
  ]

221:                                              ; preds = %219
  call void @llvm.lifetime.start.p0(i64 24, ptr %29) #6
  call void @_ZN3HIR10PathParamsC1Ev(ptr noundef nonnull align 8 dereferenceable(24) %29)
  call void @llvm.lifetime.start.p0(i64 1, ptr %30) #6
  %222 = load ptr, ptr %6, align 8, !tbaa !5
  %223 = getelementptr inbounds i8, ptr %75, i64 8
  %224 = getelementptr inbounds %struct.TraitResolveCommon, ptr %223, i32 0, i32 5
  %225 = load ptr, ptr %7, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %32) #6
  call void @"_ZNSt8functionIFb7ImplRefbEEC2IZNK18StaticTraitResolve12type_is_copyERK4SpanRKN3HIR7TypeRefEE3$_1vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %31, ptr noundef nonnull align 1 dereferenceable(1) %32) #6
  %226 = invoke noundef zeroext i1 @_ZNK18StaticTraitResolve9find_implERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEEb(ptr noundef nonnull align 8 dereferenceable(424) %75, ptr noundef nonnull align 8 dereferenceable(8) %222, ptr noundef nonnull align 8 dereferenceable(8) %224, ptr noundef %29, ptr noundef nonnull align 8 dereferenceable(8) %225, ptr noundef %31, i1 noundef zeroext true)
          to label %227 unwind label %241

227:                                              ; preds = %221
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %31) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %32) #6
  %228 = zext i1 %226 to i8
  store i8 %228, ptr %30, align 1, !tbaa !9
  %229 = getelementptr inbounds %class.StaticTraitResolve, ptr %75, i32 0, i32 3
  call void @llvm.lifetime.start.p0(i64 16, ptr %33) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #6
  %230 = load ptr, ptr %7, align 8, !tbaa !5
  invoke void @_ZNK3HIR7TypeRef5cloneEv(ptr dead_on_unwind writable sret(%"class.HIR::TypeRef") align 8 %34, ptr noundef nonnull align 8 dereferenceable(8) %230)
          to label %231 unwind label %245

231:                                              ; preds = %227
  invoke void @_ZSt9make_pairIN3HIR7TypeRefERbESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS4_INS5_IT0_E4typeEE6__typeEEOS6_OSB_(ptr dead_on_unwind writable sret(%"struct.std::pair.588") align 8 %33, ptr noundef nonnull align 8 dereferenceable(8) %34, ptr noundef nonnull align 1 dereferenceable(1) %30)
          to label %232 unwind label %249

232:                                              ; preds = %231
  %233 = invoke { ptr, i8 } @_ZNSt3mapIN3HIR7TypeRefEbSt4lessIS1_ESaISt4pairIKS1_bEEE6insertIS4_IS1_bEEENSt9enable_ifIXsr16is_constructibleIS6_T_EE5valueES4_ISt17_Rb_tree_iteratorIS6_EbEE4typeEOSC_(ptr noundef nonnull align 8 dereferenceable(48) %229, ptr noundef nonnull align 8 dereferenceable(9) %33)
          to label %234 unwind label %253

234:                                              ; preds = %232
  %235 = getelementptr inbounds { ptr, i8 }, ptr %35, i32 0, i32 0
  %236 = extractvalue { ptr, i8 } %233, 0
  store ptr %236, ptr %235, align 8
  %237 = getelementptr inbounds { ptr, i8 }, ptr %35, i32 0, i32 1
  %238 = extractvalue { ptr, i8 } %233, 1
  store i8 %238, ptr %237, align 8
  call void @_ZNSt4pairIN3HIR7TypeRefEbED2Ev(ptr noundef nonnull align 8 dereferenceable(9) %33) #6
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %34) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %33) #6
  %239 = load i8, ptr %30, align 1, !tbaa !9, !range !11, !noundef !12
  %240 = trunc i8 %239 to i1
  store i1 %240, ptr %4, align 1
  store i32 1, ptr %9, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %30) #6
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %29) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %29) #6
  br label %260

241:                                              ; preds = %221
  %242 = landingpad { ptr, i32 }
          cleanup
  %243 = extractvalue { ptr, i32 } %242, 0
  store ptr %243, ptr %19, align 8
  %244 = extractvalue { ptr, i32 } %242, 1
  store i32 %244, ptr %20, align 4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %31) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %32) #6
  br label %259

245:                                              ; preds = %227
  %246 = landingpad { ptr, i32 }
          cleanup
  %247 = extractvalue { ptr, i32 } %246, 0
  store ptr %247, ptr %19, align 8
  %248 = extractvalue { ptr, i32 } %246, 1
  store i32 %248, ptr %20, align 4
  br label %258

249:                                              ; preds = %231
  %250 = landingpad { ptr, i32 }
          cleanup
  %251 = extractvalue { ptr, i32 } %250, 0
  store ptr %251, ptr %19, align 8
  %252 = extractvalue { ptr, i32 } %250, 1
  store i32 %252, ptr %20, align 4
  br label %257

253:                                              ; preds = %232
  %254 = landingpad { ptr, i32 }
          cleanup
  %255 = extractvalue { ptr, i32 } %254, 0
  store ptr %255, ptr %19, align 8
  %256 = extractvalue { ptr, i32 } %254, 1
  store i32 %256, ptr %20, align 4
  call void @_ZNSt4pairIN3HIR7TypeRefEbED2Ev(ptr noundef nonnull align 8 dereferenceable(9) %33) #6
  br label %257

257:                                              ; preds = %253, %249
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %34) #6
  br label %258

258:                                              ; preds = %257, %245
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %33) #6
  br label %259

259:                                              ; preds = %258, %241
  call void @llvm.lifetime.end.p0(i64 1, ptr %30) #6
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %29) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %29) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %24) #6
  br label %680

260:                                              ; preds = %234, %219, %200, %192
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #6
  br label %262

261:                                              ; No predecessors!
  store i8 0, ptr %24, align 1, !tbaa !9
  br label %176, !llvm.loop !30

262:                                              ; preds = %260, %180
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #6
  %263 = load i32, ptr %9, align 4
  switch i32 %263, label %266 [
    i32 18, label %264
  ]

264:                                              ; preds = %262
  br label %265

265:                                              ; preds = %264
  store i8 0, ptr %24, align 1, !tbaa !9
  br label %169, !llvm.loop !31

266:                                              ; preds = %262, %172
  call void @llvm.lifetime.end.p0(i64 1, ptr %24) #6
  %267 = load i32, ptr %9, align 4
  switch i32 %267, label %678 [
    i32 15, label %268
  ]

268:                                              ; preds = %266
  br label %676

269:                                              ; preds = %87
  call void @llvm.lifetime.start.p0(i64 1, ptr %36) #6
  store i8 1, ptr %36, align 1, !tbaa !9
  br label %270

270:                                              ; preds = %287, %269
  %271 = load i8, ptr %36, align 1, !tbaa !9, !range !11, !noundef !12
  %272 = trunc i8 %271 to i1
  br i1 %272, label %274, label %273

273:                                              ; preds = %270
  store i32 21, ptr %9, align 4
  br label %288

274:                                              ; preds = %270
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #6
  %275 = load ptr, ptr %10, align 8, !tbaa !5
  %276 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNK3HIR8TypeData10as_DivergeEv(ptr noundef nonnull align 8 dereferenceable(184) %275)
  store ptr %276, ptr %37, align 8, !tbaa !5
  br label %277

277:                                              ; preds = %283, %274
  %278 = load ptr, ptr %37, align 8, !tbaa !5
  %279 = load i8, ptr %36, align 1, !tbaa !9, !range !11, !noundef !12
  %280 = trunc i8 %279 to i1
  br i1 %280, label %282, label %281

281:                                              ; preds = %277
  store i32 24, ptr %9, align 4
  br label %284

282:                                              ; preds = %277
  store i1 true, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %284

283:                                              ; No predecessors!
  store i8 0, ptr %36, align 1, !tbaa !9
  br label %277, !llvm.loop !32

284:                                              ; preds = %282, %281
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #6
  %285 = load i32, ptr %9, align 4
  switch i32 %285, label %288 [
    i32 24, label %286
  ]

286:                                              ; preds = %284
  br label %287

287:                                              ; preds = %286
  store i8 0, ptr %36, align 1, !tbaa !9
  br label %270, !llvm.loop !33

288:                                              ; preds = %284, %273
  call void @llvm.lifetime.end.p0(i64 1, ptr %36) #6
  %289 = load i32, ptr %9, align 4
  switch i32 %289, label %678 [
    i32 21, label %290
  ]

290:                                              ; preds = %288
  br label %676

291:                                              ; preds = %87
  call void @llvm.lifetime.start.p0(i64 1, ptr %38) #6
  store i8 1, ptr %38, align 1, !tbaa !9
  br label %292

292:                                              ; preds = %319, %291
  %293 = load i8, ptr %38, align 1, !tbaa !9, !range !11, !noundef !12
  %294 = trunc i8 %293 to i1
  br i1 %294, label %296, label %295

295:                                              ; preds = %292
  store i32 27, ptr %9, align 4
  br label %320

296:                                              ; preds = %292
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #6
  %297 = load ptr, ptr %10, align 8, !tbaa !5
  %298 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR8TypeData10as_ClosureEv(ptr noundef nonnull align 8 dereferenceable(184) %297)
  store ptr %298, ptr %39, align 8, !tbaa !5
  br label %299

299:                                              ; preds = %315, %296
  %300 = load ptr, ptr %39, align 8, !tbaa !5
  %301 = load i8, ptr %38, align 1, !tbaa !9, !range !11, !noundef !12
  %302 = trunc i8 %301 to i1
  br i1 %302, label %304, label %303

303:                                              ; preds = %299
  store i32 30, ptr %9, align 4
  br label %316

304:                                              ; preds = %299
  %305 = load i32, ptr @gTargetVersion, align 4, !tbaa !34
  %306 = icmp sge i32 %305, 1
  br i1 %306, label %307, label %314

307:                                              ; preds = %304
  %308 = load ptr, ptr %39, align 8, !tbaa !5
  %309 = getelementptr inbounds %"struct.HIR::TypeData::Data_Closure", ptr %308, i32 0, i32 0
  %310 = load ptr, ptr %309, align 8, !tbaa !36
  %311 = getelementptr inbounds %"struct.HIR::ExprNode_Closure", ptr %310, i32 0, i32 6
  %312 = load i8, ptr %311, align 8, !tbaa !38, !range !11, !noundef !12
  %313 = trunc i8 %312 to i1
  store i1 %313, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %316

314:                                              ; preds = %304
  store i1 false, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %316

315:                                              ; No predecessors!
  store i8 0, ptr %38, align 1, !tbaa !9
  br label %299, !llvm.loop !76

316:                                              ; preds = %314, %307, %303
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #6
  %317 = load i32, ptr %9, align 4
  switch i32 %317, label %320 [
    i32 30, label %318
  ]

318:                                              ; preds = %316
  br label %319

319:                                              ; preds = %318
  store i8 0, ptr %38, align 1, !tbaa !9
  br label %292, !llvm.loop !77

320:                                              ; preds = %316, %295
  call void @llvm.lifetime.end.p0(i64 1, ptr %38) #6
  %321 = load i32, ptr %9, align 4
  switch i32 %321, label %678 [
    i32 27, label %322
  ]

322:                                              ; preds = %320
  br label %676

323:                                              ; preds = %87
  call void @llvm.lifetime.start.p0(i64 1, ptr %40) #6
  store i8 1, ptr %40, align 1, !tbaa !9
  br label %324

324:                                              ; preds = %341, %323
  %325 = load i8, ptr %40, align 1, !tbaa !9, !range !11, !noundef !12
  %326 = trunc i8 %325 to i1
  br i1 %326, label %328, label %327

327:                                              ; preds = %324
  store i32 33, ptr %9, align 4
  br label %342

328:                                              ; preds = %324
  call void @llvm.lifetime.start.p0(i64 8, ptr %41) #6
  %329 = load ptr, ptr %10, align 8, !tbaa !5
  %330 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR8TypeData12as_GeneratorEv(ptr noundef nonnull align 8 dereferenceable(184) %329)
  store ptr %330, ptr %41, align 8, !tbaa !5
  br label %331

331:                                              ; preds = %337, %328
  %332 = load ptr, ptr %41, align 8, !tbaa !5
  %333 = load i8, ptr %40, align 1, !tbaa !9, !range !11, !noundef !12
  %334 = trunc i8 %333 to i1
  br i1 %334, label %336, label %335

335:                                              ; preds = %331
  store i32 36, ptr %9, align 4
  br label %338

336:                                              ; preds = %331
  store i1 false, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %338

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

338:                                              ; preds = %336, %335
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #6
  %339 = load i32, ptr %9, align 4
  switch i32 %339, label %342 [
    i32 36, label %340
  ]

340:                                              ; preds = %338
  br label %341

341:                                              ; preds = %340
  store i8 0, ptr %40, align 1, !tbaa !9
  br label %324, !llvm.loop !79

342:                                              ; preds = %338, %327
  call void @llvm.lifetime.end.p0(i64 1, ptr %40) #6
  %343 = load i32, ptr %9, align 4
  switch i32 %343, label %678 [
    i32 33, label %344
  ]

344:                                              ; preds = %342
  br label %676

345:                                              ; preds = %87
  call void @llvm.lifetime.start.p0(i64 1, ptr %42) #6
  store i8 1, ptr %42, align 1, !tbaa !9
  br label %346

346:                                              ; preds = %363, %345
  %347 = load i8, ptr %42, align 1, !tbaa !9, !range !11, !noundef !12
  %348 = trunc i8 %347 to i1
  br i1 %348, label %350, label %349

349:                                              ; preds = %346
  store i32 39, ptr %9, align 4
  br label %364

350:                                              ; preds = %346
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #6
  %351 = load ptr, ptr %10, align 8, !tbaa !5
  %352 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNK3HIR8TypeData8as_InferEv(ptr noundef nonnull align 8 dereferenceable(184) %351)
  store ptr %352, ptr %43, align 8, !tbaa !5
  br label %353

353:                                              ; preds = %359, %350
  %354 = load ptr, ptr %43, align 8, !tbaa !5
  %355 = load i8, ptr %42, align 1, !tbaa !9, !range !11, !noundef !12
  %356 = trunc i8 %355 to i1
  br i1 %356, label %358, label %357

357:                                              ; preds = %353
  store i32 42, ptr %9, align 4
  br label %360

358:                                              ; preds = %353
  store i1 false, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %360

359:                                              ; No predecessors!
  store i8 0, ptr %42, align 1, !tbaa !9
  br label %353, !llvm.loop !80

360:                                              ; preds = %358, %357
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #6
  %361 = load i32, ptr %9, align 4
  switch i32 %361, label %364 [
    i32 42, label %362
  ]

362:                                              ; preds = %360
  br label %363

363:                                              ; preds = %362
  store i8 0, ptr %42, align 1, !tbaa !9
  br label %346, !llvm.loop !81

364:                                              ; preds = %360, %349
  call void @llvm.lifetime.end.p0(i64 1, ptr %42) #6
  %365 = load i32, ptr %9, align 4
  switch i32 %365, label %678 [
    i32 39, label %366
  ]

366:                                              ; preds = %364
  br label %676

367:                                              ; preds = %87
  call void @llvm.lifetime.start.p0(i64 1, ptr %44) #6
  store i8 1, ptr %44, align 1, !tbaa !9
  br label %368

368:                                              ; preds = %389, %367
  %369 = load i8, ptr %44, align 1, !tbaa !9, !range !11, !noundef !12
  %370 = trunc i8 %369 to i1
  br i1 %370, label %372, label %371

371:                                              ; preds = %368
  store i32 45, ptr %9, align 4
  br label %390

372:                                              ; preds = %368
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #6
  %373 = load ptr, ptr %10, align 8, !tbaa !5
  %374 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK3HIR8TypeData9as_BorrowEv(ptr noundef nonnull align 8 dereferenceable(184) %373)
  store ptr %374, ptr %45, align 8, !tbaa !5
  br label %375

375:                                              ; preds = %385, %372
  %376 = load ptr, ptr %45, align 8, !tbaa !5
  %377 = load i8, ptr %44, align 1, !tbaa !9, !range !11, !noundef !12
  %378 = trunc i8 %377 to i1
  br i1 %378, label %380, label %379

379:                                              ; preds = %375
  store i32 48, ptr %9, align 4
  br label %386

380:                                              ; preds = %375
  %381 = load ptr, ptr %45, align 8, !tbaa !5
  %382 = getelementptr inbounds %"struct.HIR::TypeData::Data_Borrow", ptr %381, i32 0, i32 1
  %383 = load i32, ptr %382, align 4, !tbaa !82
  %384 = icmp eq i32 %383, 0
  store i1 %384, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %386

385:                                              ; No predecessors!
  store i8 0, ptr %44, align 1, !tbaa !9
  br label %375, !llvm.loop !85

386:                                              ; preds = %380, %379
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #6
  %387 = load i32, ptr %9, align 4
  switch i32 %387, label %390 [
    i32 48, label %388
  ]

388:                                              ; preds = %386
  br label %389

389:                                              ; preds = %388
  store i8 0, ptr %44, align 1, !tbaa !9
  br label %368, !llvm.loop !86

390:                                              ; preds = %386, %371
  call void @llvm.lifetime.end.p0(i64 1, ptr %44) #6
  %391 = load i32, ptr %9, align 4
  switch i32 %391, label %678 [
    i32 45, label %392
  ]

392:                                              ; preds = %390
  br label %676

393:                                              ; preds = %87
  call void @llvm.lifetime.start.p0(i64 1, ptr %46) #6
  store i8 1, ptr %46, align 1, !tbaa !9
  br label %394

394:                                              ; preds = %411, %393
  %395 = load i8, ptr %46, align 1, !tbaa !9, !range !11, !noundef !12
  %396 = trunc i8 %395 to i1
  br i1 %396, label %398, label %397

397:                                              ; preds = %394
  store i32 51, ptr %9, align 4
  br label %412

398:                                              ; preds = %394
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #6
  %399 = load ptr, ptr %10, align 8, !tbaa !5
  %400 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK3HIR8TypeData10as_PointerEv(ptr noundef nonnull align 8 dereferenceable(184) %399)
  store ptr %400, ptr %47, align 8, !tbaa !5
  br label %401

401:                                              ; preds = %407, %398
  %402 = load ptr, ptr %47, align 8, !tbaa !5
  %403 = load i8, ptr %46, align 1, !tbaa !9, !range !11, !noundef !12
  %404 = trunc i8 %403 to i1
  br i1 %404, label %406, label %405

405:                                              ; preds = %401
  store i32 54, ptr %9, align 4
  br label %408

406:                                              ; preds = %401
  store i1 true, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %408

407:                                              ; No predecessors!
  store i8 0, ptr %46, align 1, !tbaa !9
  br label %401, !llvm.loop !87

408:                                              ; preds = %406, %405
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #6
  %409 = load i32, ptr %9, align 4
  switch i32 %409, label %412 [
    i32 54, label %410
  ]

410:                                              ; preds = %408
  br label %411

411:                                              ; preds = %410
  store i8 0, ptr %46, align 1, !tbaa !9
  br label %394, !llvm.loop !88

412:                                              ; preds = %408, %397
  call void @llvm.lifetime.end.p0(i64 1, ptr %46) #6
  %413 = load i32, ptr %9, align 4
  switch i32 %413, label %678 [
    i32 51, label %414
  ]

414:                                              ; preds = %412
  br label %676

415:                                              ; preds = %87
  call void @llvm.lifetime.start.p0(i64 1, ptr %48) #6
  store i8 1, ptr %48, align 1, !tbaa !9
  br label %416

416:                                              ; preds = %433, %415
  %417 = load i8, ptr %48, align 1, !tbaa !9, !range !11, !noundef !12
  %418 = trunc i8 %417 to i1
  br i1 %418, label %420, label %419

419:                                              ; preds = %416
  store i32 57, ptr %9, align 4
  br label %434

420:                                              ; preds = %416
  call void @llvm.lifetime.start.p0(i64 8, ptr %49) #6
  %421 = load ptr, ptr %10, align 8, !tbaa !5
  %422 = call noundef nonnull align 8 dereferenceable(112) ptr @_ZNK3HIR8TypeData16as_NamedFunctionEv(ptr noundef nonnull align 8 dereferenceable(184) %421)
  store ptr %422, ptr %49, align 8, !tbaa !5
  br label %423

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

427:                                              ; preds = %423
  store i32 60, ptr %9, align 4
  br label %430

428:                                              ; preds = %423
  store i1 true, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %430

429:                                              ; No predecessors!
  store i8 0, ptr %48, align 1, !tbaa !9
  br label %423, !llvm.loop !89

430:                                              ; preds = %428, %427
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #6
  %431 = load i32, ptr %9, align 4
  switch i32 %431, label %434 [
    i32 60, label %432
  ]

432:                                              ; preds = %430
  br label %433

433:                                              ; preds = %432
  store i8 0, ptr %48, align 1, !tbaa !9
  br label %416, !llvm.loop !90

434:                                              ; preds = %430, %419
  call void @llvm.lifetime.end.p0(i64 1, ptr %48) #6
  %435 = load i32, ptr %9, align 4
  switch i32 %435, label %678 [
    i32 57, label %436
  ]

436:                                              ; preds = %434
  br label %676

437:                                              ; preds = %87
  call void @llvm.lifetime.start.p0(i64 1, ptr %50) #6
  store i8 1, ptr %50, align 1, !tbaa !9
  br label %438

438:                                              ; preds = %455, %437
  %439 = load i8, ptr %50, align 1, !tbaa !9, !range !11, !noundef !12
  %440 = trunc i8 %439 to i1
  br i1 %440, label %442, label %441

441:                                              ; preds = %438
  store i32 63, ptr %9, align 4
  br label %456

442:                                              ; preds = %438
  call void @llvm.lifetime.start.p0(i64 8, ptr %51) #6
  %443 = load ptr, ptr %10, align 8, !tbaa !5
  %444 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZNK3HIR8TypeData11as_FunctionEv(ptr noundef nonnull align 8 dereferenceable(184) %443)
  store ptr %444, ptr %51, align 8, !tbaa !5
  br label %445

445:                                              ; preds = %451, %442
  %446 = load ptr, ptr %51, align 8, !tbaa !5
  %447 = load i8, ptr %50, align 1, !tbaa !9, !range !11, !noundef !12
  %448 = trunc i8 %447 to i1
  br i1 %448, label %450, label %449

449:                                              ; preds = %445
  store i32 66, ptr %9, align 4
  br label %452

450:                                              ; preds = %445
  store i1 true, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %452

451:                                              ; No predecessors!
  store i8 0, ptr %50, align 1, !tbaa !9
  br label %445, !llvm.loop !91

452:                                              ; preds = %450, %449
  call void @llvm.lifetime.end.p0(i64 8, ptr %51) #6
  %453 = load i32, ptr %9, align 4
  switch i32 %453, label %456 [
    i32 66, label %454
  ]

454:                                              ; preds = %452
  br label %455

455:                                              ; preds = %454
  store i8 0, ptr %50, align 1, !tbaa !9
  br label %438, !llvm.loop !92

456:                                              ; preds = %452, %441
  call void @llvm.lifetime.end.p0(i64 1, ptr %50) #6
  %457 = load i32, ptr %9, align 4
  switch i32 %457, label %678 [
    i32 63, label %458
  ]

458:                                              ; preds = %456
  br label %676

459:                                              ; preds = %87
  call void @llvm.lifetime.start.p0(i64 1, ptr %52) #6
  store i8 1, ptr %52, align 1, !tbaa !9
  br label %460

460:                                              ; preds = %480, %459
  %461 = load i8, ptr %52, align 1, !tbaa !9, !range !11, !noundef !12
  %462 = trunc i8 %461 to i1
  br i1 %462, label %464, label %463

463:                                              ; preds = %460
  store i32 69, ptr %9, align 4
  br label %481

464:                                              ; preds = %460
  call void @llvm.lifetime.start.p0(i64 8, ptr %53) #6
  %465 = load ptr, ptr %10, align 8, !tbaa !5
  %466 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK3HIR8TypeData12as_PrimitiveEv(ptr noundef nonnull align 8 dereferenceable(184) %465)
  store ptr %466, ptr %53, align 8, !tbaa !5
  br label %467

467:                                              ; preds = %476, %464
  %468 = load ptr, ptr %53, align 8, !tbaa !5
  %469 = load i8, ptr %52, align 1, !tbaa !9, !range !11, !noundef !12
  %470 = trunc i8 %469 to i1
  br i1 %470, label %472, label %471

471:                                              ; preds = %467
  store i32 72, ptr %9, align 4
  br label %477

472:                                              ; preds = %467
  %473 = load ptr, ptr %53, align 8, !tbaa !5
  %474 = load i32, ptr %473, align 4, !tbaa !93
  %475 = icmp ne i32 %474, 16
  store i1 %475, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %477

476:                                              ; No predecessors!
  store i8 0, ptr %52, align 1, !tbaa !9
  br label %467, !llvm.loop !95

477:                                              ; preds = %472, %471
  call void @llvm.lifetime.end.p0(i64 8, ptr %53) #6
  %478 = load i32, ptr %9, align 4
  switch i32 %478, label %481 [
    i32 72, label %479
  ]

479:                                              ; preds = %477
  br label %480

480:                                              ; preds = %479
  store i8 0, ptr %52, align 1, !tbaa !9
  br label %460, !llvm.loop !96

481:                                              ; preds = %477, %463
  call void @llvm.lifetime.end.p0(i64 1, ptr %52) #6
  %482 = load i32, ptr %9, align 4
  switch i32 %482, label %678 [
    i32 69, label %483
  ]

483:                                              ; preds = %481
  br label %676

484:                                              ; preds = %87
  call void @llvm.lifetime.start.p0(i64 1, ptr %54) #6
  store i8 1, ptr %54, align 1, !tbaa !9
  br label %485

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

488:                                              ; preds = %485
  store i32 75, ptr %9, align 4
  br label %518

489:                                              ; preds = %485
  call void @llvm.lifetime.start.p0(i64 8, ptr %55) #6
  %490 = load ptr, ptr %10, align 8, !tbaa !5
  %491 = call noundef nonnull align 8 dereferenceable(40) ptr @_ZNK3HIR8TypeData8as_ArrayEv(ptr noundef nonnull align 8 dereferenceable(184) %490)
  store ptr %491, ptr %55, align 8, !tbaa !5
  br label %492

492:                                              ; preds = %513, %489
  %493 = load ptr, ptr %55, align 8, !tbaa !5
  %494 = load i8, ptr %54, align 1, !tbaa !9, !range !11, !noundef !12
  %495 = trunc i8 %494 to i1
  br i1 %495, label %497, label %496

496:                                              ; preds = %492
  store i32 78, ptr %9, align 4
  br label %514

497:                                              ; preds = %492
  %498 = load ptr, ptr %55, align 8, !tbaa !5
  %499 = getelementptr inbounds %"struct.HIR::TypeData::Data_Array", ptr %498, i32 0, i32 1
  %500 = call noundef zeroext i1 @_ZNK3HIR9ArraySize8is_KnownEv(ptr noundef nonnull align 8 dereferenceable(32) %499)
  br i1 %500, label %501, label %508

501:                                              ; preds = %497
  %502 = load ptr, ptr %55, align 8, !tbaa !5
  %503 = getelementptr inbounds %"struct.HIR::TypeData::Data_Array", ptr %502, i32 0, i32 1
  %504 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR9ArraySize8as_KnownEv(ptr noundef nonnull align 8 dereferenceable(32) %503)
  %505 = load i64, ptr %504, align 8, !tbaa !97
  %506 = icmp eq i64 %505, 0
  br i1 %506, label %507, label %508

507:                                              ; preds = %501
  store i1 true, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %514

508:                                              ; preds = %501, %497
  %509 = load ptr, ptr %6, align 8, !tbaa !5
  %510 = load ptr, ptr %55, align 8, !tbaa !5
  %511 = getelementptr inbounds %"struct.HIR::TypeData::Data_Array", ptr %510, i32 0, i32 0
  %512 = call noundef zeroext i1 @_ZNK18StaticTraitResolve12type_is_copyERK4SpanRKN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %75, ptr noundef nonnull align 8 dereferenceable(8) %509, ptr noundef nonnull align 8 dereferenceable(8) %511)
  store i1 %512, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %514

513:                                              ; No predecessors!
  store i8 0, ptr %54, align 1, !tbaa !9
  br label %492, !llvm.loop !98

514:                                              ; preds = %508, %507, %496
  call void @llvm.lifetime.end.p0(i64 8, ptr %55) #6
  %515 = load i32, ptr %9, align 4
  switch i32 %515, label %518 [
    i32 78, label %516
  ]

516:                                              ; preds = %514
  br label %517

517:                                              ; preds = %516
  store i8 0, ptr %54, align 1, !tbaa !9
  br label %485, !llvm.loop !99

518:                                              ; preds = %514, %488
  call void @llvm.lifetime.end.p0(i64 1, ptr %54) #6
  %519 = load i32, ptr %9, align 4
  switch i32 %519, label %678 [
    i32 75, label %520
  ]

520:                                              ; preds = %518
  br label %676

521:                                              ; preds = %87
  call void @llvm.lifetime.start.p0(i64 1, ptr %56) #6
  store i8 1, ptr %56, align 1, !tbaa !9
  br label %522

522:                                              ; preds = %539, %521
  %523 = load i8, ptr %56, align 1, !tbaa !9, !range !11, !noundef !12
  %524 = trunc i8 %523 to i1
  br i1 %524, label %526, label %525

525:                                              ; preds = %522
  store i32 81, ptr %9, align 4
  br label %540

526:                                              ; preds = %522
  call void @llvm.lifetime.start.p0(i64 8, ptr %57) #6
  %527 = load ptr, ptr %10, align 8, !tbaa !5
  %528 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR8TypeData8as_SliceEv(ptr noundef nonnull align 8 dereferenceable(184) %527)
  store ptr %528, ptr %57, align 8, !tbaa !5
  br label %529

529:                                              ; preds = %535, %526
  %530 = load ptr, ptr %57, align 8, !tbaa !5
  %531 = load i8, ptr %56, align 1, !tbaa !9, !range !11, !noundef !12
  %532 = trunc i8 %531 to i1
  br i1 %532, label %534, label %533

533:                                              ; preds = %529
  store i32 84, ptr %9, align 4
  br label %536

534:                                              ; preds = %529
  store i1 false, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %536

535:                                              ; No predecessors!
  store i8 0, ptr %56, align 1, !tbaa !9
  br label %529, !llvm.loop !100

536:                                              ; preds = %534, %533
  call void @llvm.lifetime.end.p0(i64 8, ptr %57) #6
  %537 = load i32, ptr %9, align 4
  switch i32 %537, label %540 [
    i32 84, label %538
  ]

538:                                              ; preds = %536
  br label %539

539:                                              ; preds = %538
  store i8 0, ptr %56, align 1, !tbaa !9
  br label %522, !llvm.loop !101

540:                                              ; preds = %536, %525
  call void @llvm.lifetime.end.p0(i64 1, ptr %56) #6
  %541 = load i32, ptr %9, align 4
  switch i32 %541, label %678 [
    i32 81, label %542
  ]

542:                                              ; preds = %540
  br label %676

543:                                              ; preds = %87
  call void @llvm.lifetime.start.p0(i64 1, ptr %58) #6
  store i8 1, ptr %58, align 1, !tbaa !9
  br label %544

544:                                              ; preds = %561, %543
  %545 = load i8, ptr %58, align 1, !tbaa !9, !range !11, !noundef !12
  %546 = trunc i8 %545 to i1
  br i1 %546, label %548, label %547

547:                                              ; preds = %544
  store i32 87, ptr %9, align 4
  br label %562

548:                                              ; preds = %544
  call void @llvm.lifetime.start.p0(i64 8, ptr %59) #6
  %549 = load ptr, ptr %10, align 8, !tbaa !5
  %550 = call noundef nonnull align 8 dereferenceable(172) ptr @_ZNK3HIR8TypeData14as_TraitObjectEv(ptr noundef nonnull align 8 dereferenceable(184) %549)
  store ptr %550, ptr %59, align 8, !tbaa !5
  br label %551

551:                                              ; preds = %557, %548
  %552 = load ptr, ptr %59, align 8, !tbaa !5
  %553 = load i8, ptr %58, align 1, !tbaa !9, !range !11, !noundef !12
  %554 = trunc i8 %553 to i1
  br i1 %554, label %556, label %555

555:                                              ; preds = %551
  store i32 90, ptr %9, align 4
  br label %558

556:                                              ; preds = %551
  store i1 false, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %558

557:                                              ; No predecessors!
  store i8 0, ptr %58, align 1, !tbaa !9
  br label %551, !llvm.loop !102

558:                                              ; preds = %556, %555
  call void @llvm.lifetime.end.p0(i64 8, ptr %59) #6
  %559 = load i32, ptr %9, align 4
  switch i32 %559, label %562 [
    i32 90, label %560
  ]

560:                                              ; preds = %558
  br label %561

561:                                              ; preds = %560
  store i8 0, ptr %58, align 1, !tbaa !9
  br label %544, !llvm.loop !103

562:                                              ; preds = %558, %547
  call void @llvm.lifetime.end.p0(i64 1, ptr %58) #6
  %563 = load i32, ptr %9, align 4
  switch i32 %563, label %678 [
    i32 87, label %564
  ]

564:                                              ; preds = %562
  br label %676

565:                                              ; preds = %87
  call void @llvm.lifetime.start.p0(i64 1, ptr %60) #6
  store i8 1, ptr %60, align 1, !tbaa !9
  br label %566

566:                                              ; preds = %625, %565
  %567 = load i8, ptr %60, align 1, !tbaa !9, !range !11, !noundef !12
  %568 = trunc i8 %567 to i1
  br i1 %568, label %570, label %569

569:                                              ; preds = %566
  store i32 93, ptr %9, align 4
  br label %626

570:                                              ; preds = %566
  call void @llvm.lifetime.start.p0(i64 8, ptr %61) #6
  %571 = load ptr, ptr %10, align 8, !tbaa !5
  %572 = call noundef nonnull align 8 dereferenceable(160) ptr @_ZNK3HIR8TypeData13as_ErasedTypeEv(ptr noundef nonnull align 8 dereferenceable(184) %571)
  store ptr %572, ptr %61, align 8, !tbaa !5
  br label %573

573:                                              ; preds = %621, %570
  %574 = load ptr, ptr %61, align 8, !tbaa !5
  %575 = load i8, ptr %60, align 1, !tbaa !9, !range !11, !noundef !12
  %576 = trunc i8 %575 to i1
  br i1 %576, label %578, label %577

577:                                              ; preds = %573
  store i32 96, ptr %9, align 4
  br label %622

578:                                              ; preds = %573
  call void @llvm.lifetime.start.p0(i64 8, ptr %62) #6
  %579 = load ptr, ptr %61, align 8, !tbaa !5
  %580 = getelementptr inbounds %"struct.HIR::TypeData_ErasedType", ptr %579, i32 0, i32 1
  store ptr %580, ptr %62, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %63) #6
  %581 = load ptr, ptr %62, align 8, !tbaa !5
  %582 = call ptr @_ZNKSt6vectorIN3HIR9TraitPathESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %581) #6
  %583 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.395", ptr %63, i32 0, i32 0
  store ptr %582, ptr %583, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %64) #6
  %584 = load ptr, ptr %62, align 8, !tbaa !5
  %585 = call ptr @_ZNKSt6vectorIN3HIR9TraitPathESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %584) #6
  %586 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.395", ptr %64, i32 0, i32 0
  store ptr %585, ptr %586, align 8
  br label %587

587:                                              ; preds = %616, %578
  %588 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3HIR9TraitPathESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESD_(ptr noundef nonnull align 8 dereferenceable(8) %63, ptr noundef nonnull align 8 dereferenceable(8) %64) #6
  br i1 %588, label %590, label %589

589:                                              ; preds = %587
  store i32 99, ptr %9, align 4
  br label %618

590:                                              ; preds = %587
  call void @llvm.lifetime.start.p0(i64 8, ptr %65) #6
  %591 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3HIR9TraitPathESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %63) #6
  store ptr %591, ptr %65, align 8, !tbaa !5
  %592 = load ptr, ptr %6, align 8, !tbaa !5
  %593 = getelementptr inbounds i8, ptr %75, i64 8
  %594 = getelementptr inbounds %struct.TraitResolveCommon, ptr %593, i32 0, i32 5
  call void @llvm.lifetime.start.p0(i64 24, ptr %66) #6
  call void @_ZN3HIR10PathParamsC1Ev(ptr noundef nonnull align 8 dereferenceable(24) %66)
  %595 = load ptr, ptr %65, align 8, !tbaa !5
  %596 = getelementptr inbounds %"class.HIR::TraitPath", ptr %595, i32 0, i32 4
  %597 = load ptr, ptr %596, align 8, !tbaa !104
  %598 = load ptr, ptr %65, align 8, !tbaa !5
  %599 = getelementptr inbounds %"class.HIR::TraitPath", ptr %598, i32 0, i32 1
  %600 = getelementptr inbounds %"class.HIR::GenericPath", ptr %599, i32 0, i32 0
  %601 = load ptr, ptr %65, align 8, !tbaa !5
  %602 = getelementptr inbounds %"class.HIR::TraitPath", ptr %601, i32 0, i32 1
  %603 = getelementptr inbounds %"class.HIR::GenericPath", ptr %602, i32 0, i32 1
  %604 = load ptr, ptr %7, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %68) #6
  call void @"_ZNSt8functionIFbRKN3HIR10PathParamsESt3mapI8RcStringNS0_9TraitPath8AtyEqualESt4lessIS5_ESaISt4pairIKS5_S7_EEEEEC2IZNK18StaticTraitResolve12type_is_copyERK4SpanRKNS0_7TypeRefEE3$_2vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %67, ptr noundef nonnull align 1 dereferenceable(1) %68) #6
  %605 = invoke noundef zeroext i1 @_ZNK18StaticTraitResolve25find_named_trait_in_traitERK4SpanRKN3HIR10SimplePathERKNS3_10PathParamsERKNS3_5TraitES6_S9_RKNS3_7TypeRefESt8functionIFbS9_St3mapI8RcStringNS3_9TraitPath8AtyEqualESt4lessISI_ESaISt4pairIKSI_SK_EEEEE(ptr noundef nonnull align 8 dereferenceable(424) %75, ptr noundef nonnull align 8 dereferenceable(8) %592, ptr noundef nonnull align 8 dereferenceable(8) %594, ptr noundef nonnull align 8 dereferenceable(24) %66, ptr noundef nonnull align 8 dereferenceable(400) %597, ptr noundef nonnull align 8 dereferenceable(8) %600, ptr noundef nonnull align 8 dereferenceable(24) %603, ptr noundef nonnull align 8 dereferenceable(8) %604, ptr noundef %67)
          to label %606 unwind label %608

606:                                              ; preds = %590
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %67) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %68) #6
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %66) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %66) #6
  br i1 %605, label %607, label %612

607:                                              ; preds = %606
  store i1 true, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %613

608:                                              ; preds = %590
  %609 = landingpad { ptr, i32 }
          cleanup
  %610 = extractvalue { ptr, i32 } %609, 0
  store ptr %610, ptr %19, align 8
  %611 = extractvalue { ptr, i32 } %609, 1
  store i32 %611, ptr %20, align 4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %67) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %68) #6
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %66) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %66) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %65) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %64) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %63) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %62) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %61) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %60) #6
  br label %680

612:                                              ; preds = %606
  store i32 0, ptr %9, align 4
  br label %613

613:                                              ; preds = %612, %607
  call void @llvm.lifetime.end.p0(i64 8, ptr %65) #6
  %614 = load i32, ptr %9, align 4
  switch i32 %614, label %618 [
    i32 0, label %615
  ]

615:                                              ; preds = %613
  br label %616

616:                                              ; preds = %615
  %617 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3HIR9TraitPathESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %63) #6
  br label %587

618:                                              ; preds = %613, %589
  call void @llvm.lifetime.end.p0(i64 8, ptr %64) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %63) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %62) #6
  %619 = load i32, ptr %9, align 4
  switch i32 %619, label %622 [
    i32 99, label %620
  ]

620:                                              ; preds = %618
  store i1 false, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %622

621:                                              ; No predecessors!
  store i8 0, ptr %60, align 1, !tbaa !9
  br label %573, !llvm.loop !120

622:                                              ; preds = %620, %618, %577
  call void @llvm.lifetime.end.p0(i64 8, ptr %61) #6
  %623 = load i32, ptr %9, align 4
  switch i32 %623, label %626 [
    i32 96, label %624
  ]

624:                                              ; preds = %622
  br label %625

625:                                              ; preds = %624
  store i8 0, ptr %60, align 1, !tbaa !9
  br label %566, !llvm.loop !121

626:                                              ; preds = %622, %569
  call void @llvm.lifetime.end.p0(i64 1, ptr %60) #6
  %627 = load i32, ptr %9, align 4
  switch i32 %627, label %678 [
    i32 93, label %628
  ]

628:                                              ; preds = %626
  br label %676

629:                                              ; preds = %87
  call void @llvm.lifetime.start.p0(i64 1, ptr %69) #6
  store i8 1, ptr %69, align 1, !tbaa !9
  br label %630

630:                                              ; preds = %672, %629
  %631 = load i8, ptr %69, align 1, !tbaa !9, !range !11, !noundef !12
  %632 = trunc i8 %631 to i1
  br i1 %632, label %634, label %633

633:                                              ; preds = %630
  store i32 101, ptr %9, align 4
  br label %673

634:                                              ; preds = %630
  call void @llvm.lifetime.start.p0(i64 8, ptr %70) #6
  %635 = load ptr, ptr %10, align 8, !tbaa !5
  %636 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3HIR8TypeData8as_TupleEv(ptr noundef nonnull align 8 dereferenceable(184) %635)
  store ptr %636, ptr %70, align 8, !tbaa !5
  br label %637

637:                                              ; preds = %668, %634
  %638 = load ptr, ptr %70, align 8, !tbaa !5
  %639 = load i8, ptr %69, align 1, !tbaa !9, !range !11, !noundef !12
  %640 = trunc i8 %639 to i1
  br i1 %640, label %642, label %641

641:                                              ; preds = %637
  store i32 104, ptr %9, align 4
  br label %669

642:                                              ; preds = %637
  call void @llvm.lifetime.start.p0(i64 8, ptr %71) #6
  %643 = load ptr, ptr %70, align 8, !tbaa !5
  store ptr %643, ptr %71, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %72) #6
  %644 = load ptr, ptr %71, align 8, !tbaa !5
  %645 = call ptr @_ZNKSt6vectorIN3HIR7TypeRefESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %644) #6
  %646 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.518", ptr %72, i32 0, i32 0
  store ptr %645, ptr %646, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %73) #6
  %647 = load ptr, ptr %71, align 8, !tbaa !5
  %648 = call ptr @_ZNKSt6vectorIN3HIR7TypeRefESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %647) #6
  %649 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.518", ptr %73, i32 0, i32 0
  store ptr %648, ptr %649, align 8
  br label %650

650:                                              ; preds = %663, %642
  %651 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESD_(ptr noundef nonnull align 8 dereferenceable(8) %72, ptr noundef nonnull align 8 dereferenceable(8) %73) #6
  br i1 %651, label %653, label %652

652:                                              ; preds = %650
  store i32 107, ptr %9, align 4
  br label %665

653:                                              ; preds = %650
  call void @llvm.lifetime.start.p0(i64 8, ptr %74) #6
  %654 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %72) #6
  store ptr %654, ptr %74, align 8, !tbaa !5
  %655 = load ptr, ptr %6, align 8, !tbaa !5
  %656 = load ptr, ptr %74, align 8, !tbaa !5
  %657 = call noundef zeroext i1 @_ZNK18StaticTraitResolve12type_is_copyERK4SpanRKN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %75, ptr noundef nonnull align 8 dereferenceable(8) %655, ptr noundef nonnull align 8 dereferenceable(8) %656)
  br i1 %657, label %659, label %658

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

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

660:                                              ; preds = %659, %658
  call void @llvm.lifetime.end.p0(i64 8, ptr %74) #6
  %661 = load i32, ptr %9, align 4
  switch i32 %661, label %665 [
    i32 0, label %662
  ]

662:                                              ; preds = %660
  br label %663

663:                                              ; preds = %662
  %664 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %72) #6
  br label %650

665:                                              ; preds = %660, %652
  call void @llvm.lifetime.end.p0(i64 8, ptr %73) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %72) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %71) #6
  %666 = load i32, ptr %9, align 4
  switch i32 %666, label %669 [
    i32 107, label %667
  ]

667:                                              ; preds = %665
  store i1 true, ptr %4, align 1
  store i32 1, ptr %9, align 4
  br label %669

668:                                              ; No predecessors!
  store i8 0, ptr %69, align 1, !tbaa !9
  br label %637, !llvm.loop !122

669:                                              ; preds = %667, %665, %641
  call void @llvm.lifetime.end.p0(i64 8, ptr %70) #6
  %670 = load i32, ptr %9, align 4
  switch i32 %670, label %673 [
    i32 104, label %671
  ]

671:                                              ; preds = %669
  br label %672

672:                                              ; preds = %671
  store i8 0, ptr %69, align 1, !tbaa !9
  br label %630, !llvm.loop !123

673:                                              ; preds = %669, %633
  call void @llvm.lifetime.end.p0(i64 1, ptr %69) #6
  %674 = load i32, ptr %9, align 4
  switch i32 %674, label %678 [
    i32 101, label %675
  ]

675:                                              ; preds = %673
  br label %676

676:                                              ; preds = %675, %628, %564, %542, %520, %483, %458, %436, %414, %392, %366, %344, %322, %290, %268, %167, %87
  br label %677

677:                                              ; preds = %676
  store i8 0, ptr %8, align 1, !tbaa !9
  br label %83, !llvm.loop !124

678:                                              ; preds = %673, %626, %562, %540, %518, %481, %456, %434, %412, %390, %364, %342, %320, %288, %266, %165, %86
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #6
  %679 = load i32, ptr %9, align 4
  switch i32 %679, label %683 [
    i32 5, label %681
  ]

680:                                              ; preds = %608, %259, %159
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %8) #6
  br label %689

681:                                              ; preds = %678
  br label %682

682:                                              ; preds = %681
  store i8 0, ptr %8, align 1, !tbaa !9
  br label %76, !llvm.loop !125

683:                                              ; preds = %678, %79
  call void @llvm.lifetime.end.p0(i64 1, ptr %8) #6
  %684 = load i32, ptr %9, align 4
  switch i32 %684, label %694 [
    i32 2, label %685
    i32 1, label %687
  ]

685:                                              ; preds = %683
  %686 = call ptr @__cxa_allocate_exception(i64 8) #6
  store ptr @.str.74, ptr %686, align 16, !tbaa !5
  call void @__cxa_throw(ptr %686, ptr @_ZTIPKc, ptr null) #8
  unreachable

687:                                              ; preds = %683
  %688 = load i1, ptr %4, align 1
  ret i1 %688

689:                                              ; preds = %680
  %690 = load ptr, ptr %19, align 8
  %691 = load i32, ptr %20, align 4
  %692 = insertvalue { ptr, i32 } poison, ptr %690, 0
  %693 = insertvalue { ptr, i32 } %692, i32 %691, 1
  resume { ptr, i32 } %693

694:                                              ; preds = %683
  unreachable
}

; 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

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

declare ptr @__cxa_allocate_exception(i64)

declare void @__cxa_throw(ptr, ptr, ptr)

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

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

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

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

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(160) ptr @_ZNK3HIR8TypeData13as_ErasedTypeEv(ptr noundef nonnull align 8 dereferenceable(184)) #4 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: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZNK18StaticTraitResolve17find_impl__boundsERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEE(ptr noundef nonnull align 8 dereferenceable(424), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef, ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) #0 align 2

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @"_ZNSt8functionIFb7ImplRefbEEC2IZNK18StaticTraitResolve12type_is_copyERK4SpanRKN3HIR7TypeRefEE3$_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, i8 } @_ZNSt3mapIN3HIR7TypeRefEbSt4lessIS1_ESaISt4pairIKS1_bEEE6insertIS4_IS1_bEEENSt9enable_ifIXsr16is_constructibleIS6_T_EE5valueES4_ISt17_Rb_tree_iteratorIS6_EbEE4typeEOSC_(ptr noundef nonnull align 8 dereferenceable(48), ptr noundef nonnull align 8 dereferenceable(9)) #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZSt9make_pairIN3HIR7TypeRefERbESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS4_INS5_IT0_E4typeEE6__typeEEOS6_OSB_(ptr dead_on_unwind noalias writable sret(%"struct.std::pair.588") align 8, ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 1 dereferenceable(1)) #0

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

declare noundef ptr @_ZNK3HIR15TypePathBinding18get_trait_markingsEv(ptr noundef nonnull align 8 dereferenceable(16)) #2

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @"_ZNSt8functionIFbRKN3HIR10PathParamsESt3mapI8RcStringNS0_9TraitPath8AtyEqualESt4lessIS5_ESaISt4pairIKS5_S7_EEEEEC2IZNK18StaticTraitResolve12type_is_copyERK4SpanRKNS0_7TypeRefEE3$_2vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #4 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 = { 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 #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { "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 = { 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 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { nounwind }
attributes #7 = { noreturn nounwind }
attributes #8 = { noreturn }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"bool", !7, i64 0}
!11 = !{i8 0, i8 2}
!12 = !{}
!13 = !{!14, !10, i64 8}
!14 = !{!"_ZTSSt4pairIKN3HIR7TypeRefEbE", !15, i64 0, !10, i64 8}
!15 = !{!"_ZTSN3HIR7TypeRefE", !6, i64 0}
!16 = distinct !{!16, !17}
!17 = !{!"llvm.loop.mustprogress"}
!18 = distinct !{!18, !17}
!19 = !{!20, !10, i64 2}
!20 = !{!"_ZTSN3HIR13TraitMarkingsE", !10, i64 0, !10, i64 1, !10, i64 2, !21, i64 8}
!21 = !{!"_ZTSSt3mapIN3HIR10SimplePathENS0_13TraitMarkings11AutoMarkingESt4lessIS1_ESaISt4pairIKS1_S3_EEE", !22, i64 0}
!22 = !{!"_ZTSSt8_Rb_treeIN3HIR10SimplePathESt4pairIKS1_NS0_13TraitMarkings11AutoMarkingEESt10_Select1stIS6_ESt4lessIS1_ESaIS6_EE", !23, i64 0}
!23 = !{!"_ZTSNSt8_Rb_treeIN3HIR10SimplePathESt4pairIKS1_NS0_13TraitMarkings11AutoMarkingEESt10_Select1stIS6_ESt4lessIS1_ESaIS6_EE13_Rb_tree_implISA_Lb1EEE", !24, i64 0, !26, i64 8}
!24 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessIN3HIR10SimplePathEEE", !25, i64 0}
!25 = !{!"_ZTSSt4lessIN3HIR10SimplePathEE"}
!26 = !{!"_ZTSSt15_Rb_tree_header", !27, i64 0, !29, i64 32}
!27 = !{!"_ZTSSt18_Rb_tree_node_base", !28, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!28 = !{!"_ZTSSt14_Rb_tree_color", !7, i64 0}
!29 = !{!"long", !7, i64 0}
!30 = distinct !{!30, !17}
!31 = distinct !{!31, !17}
!32 = distinct !{!32, !17}
!33 = distinct !{!33, !17}
!34 = !{!35, !35, i64 0}
!35 = !{!"_ZTS13TargetVersion", !7, i64 0}
!36 = !{!37, !6, i64 0}
!37 = !{!"_ZTSN3HIR8TypeData12Data_ClosureE", !6, i64 0}
!38 = !{!39, !10, i64 80}
!39 = !{!"_ZTSN3HIR16ExprNode_ClosureE", !40, i64 0, !43, i64 32, !15, i64 56, !47, i64 64, !10, i64 72, !53, i64 76, !10, i64 80, !54, i64 88, !63, i64 136, !6, i64 144, !65, i64 152, !65, i64 184, !72, i64 216}
!40 = !{!"_ZTSN3HIR8ExprNodeE", !41, i64 8, !15, i64 16, !42, i64 24}
!41 = !{!"_ZTS4Span", !6, i64 0}
!42 = !{!"_ZTSN3HIR10ValueUsageE", !7, i64 0}
!43 = !{!"_ZTSSt6vectorISt4pairIN3HIR7PatternENS1_7TypeRefEESaIS4_EE", !44, i64 0}
!44 = !{!"_ZTSSt12_Vector_baseISt4pairIN3HIR7PatternENS1_7TypeRefEESaIS4_EE", !45, i64 0}
!45 = !{!"_ZTSNSt12_Vector_baseISt4pairIN3HIR7PatternENS1_7TypeRefEESaIS4_EE12_Vector_implE", !46, i64 0}
!46 = !{!"_ZTSNSt12_Vector_baseISt4pairIN3HIR7PatternENS1_7TypeRefEESaIS4_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!47 = !{!"_ZTSSt10unique_ptrIN3HIR8ExprNodeESt14default_deleteIS1_EE", !48, i64 0}
!48 = !{!"_ZTSSt15__uniq_ptr_dataIN3HIR8ExprNodeESt14default_deleteIS1_ELb1ELb1EE", !49, i64 0}
!49 = !{!"_ZTSSt15__uniq_ptr_implIN3HIR8ExprNodeESt14default_deleteIS1_EE", !50, i64 0}
!50 = !{!"_ZTSSt5tupleIJPN3HIR8ExprNodeESt14default_deleteIS1_EEE", !51, i64 0}
!51 = !{!"_ZTSSt11_Tuple_implILm0EJPN3HIR8ExprNodeESt14default_deleteIS1_EEE", !52, i64 0}
!52 = !{!"_ZTSSt10_Head_baseILm0EPN3HIR8ExprNodeELb0EE", !6, i64 0}
!53 = !{!"_ZTSN3HIR16ExprNode_Closure5ClassE", !7, i64 0}
!54 = !{!"_ZTSN3HIR16ExprNode_Closure8AvuCacheE", !55, i64 0, !59, i64 24}
!55 = !{!"_ZTSSt6vectorIjSaIjEE", !56, i64 0}
!56 = !{!"_ZTSSt12_Vector_baseIjSaIjEE", !57, i64 0}
!57 = !{!"_ZTSNSt12_Vector_baseIjSaIjEE12_Vector_implE", !58, i64 0}
!58 = !{!"_ZTSNSt12_Vector_baseIjSaIjEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!59 = !{!"_ZTSSt6vectorIN3HIR16ExprNode_Closure8AvuCache7CaptureESaIS3_EE", !60, i64 0}
!60 = !{!"_ZTSSt12_Vector_baseIN3HIR16ExprNode_Closure8AvuCache7CaptureESaIS3_EE", !61, i64 0}
!61 = !{!"_ZTSNSt12_Vector_baseIN3HIR16ExprNode_Closure8AvuCache7CaptureESaIS3_EE12_Vector_implE", !62, i64 0}
!62 = !{!"_ZTSNSt12_Vector_baseIN3HIR16ExprNode_Closure8AvuCache7CaptureESaIS3_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!63 = !{!"_ZTSN3HIR11LifetimeRefE", !64, i64 0}
!64 = !{!"int", !7, i64 0}
!65 = !{!"_ZTSN3HIR11GenericPathE", !66, i64 0, !68, i64 8}
!66 = !{!"_ZTSN3HIR10SimplePathE", !67, i64 0}
!67 = !{!"_ZTS10ThinVectorI8RcStringE", !6, i64 0}
!68 = !{!"_ZTSN3HIR10PathParamsE", !69, i64 0, !70, i64 8, !71, i64 16}
!69 = !{!"_ZTS10ThinVectorIN3HIR11LifetimeRefEE", !6, i64 0}
!70 = !{!"_ZTS10ThinVectorIN3HIR7TypeRefEE", !6, i64 0}
!71 = !{!"_ZTS10ThinVectorIN3HIR12ConstGenericEE", !6, i64 0}
!72 = !{!"_ZTSSt6vectorISt10unique_ptrIN3HIR8ExprNodeESt14default_deleteIS2_EESaIS5_EE", !73, i64 0}
!73 = !{!"_ZTSSt12_Vector_baseISt10unique_ptrIN3HIR8ExprNodeESt14default_deleteIS2_EESaIS5_EE", !74, i64 0}
!74 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrIN3HIR8ExprNodeESt14default_deleteIS2_EESaIS5_EE12_Vector_implE", !75, i64 0}
!75 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrIN3HIR8ExprNodeESt14default_deleteIS2_EESaIS5_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!76 = distinct !{!76, !17}
!77 = distinct !{!77, !17}
!78 = distinct !{!78, !17}
!79 = distinct !{!79, !17}
!80 = distinct !{!80, !17}
!81 = distinct !{!81, !17}
!82 = !{!83, !84, i64 4}
!83 = !{!"_ZTSN3HIR8TypeData11Data_BorrowE", !63, i64 0, !84, i64 4, !15, i64 8}
!84 = !{!"_ZTSN3HIR10BorrowTypeE", !7, i64 0}
!85 = distinct !{!85, !17}
!86 = distinct !{!86, !17}
!87 = distinct !{!87, !17}
!88 = distinct !{!88, !17}
!89 = distinct !{!89, !17}
!90 = distinct !{!90, !17}
!91 = distinct !{!91, !17}
!92 = distinct !{!92, !17}
!93 = !{!94, !94, i64 0}
!94 = !{!"_ZTSN3HIR8CoreTypeE", !7, i64 0}
!95 = distinct !{!95, !17}
!96 = distinct !{!96, !17}
!97 = !{!29, !29, i64 0}
!98 = distinct !{!98, !17}
!99 = distinct !{!99, !17}
!100 = distinct !{!100, !17}
!101 = distinct !{!101, !17}
!102 = distinct !{!102, !17}
!103 = distinct !{!103, !17}
!104 = !{!105, !6, i64 136}
!105 = !{!"_ZTSN3HIR9TraitPathE", !106, i64 0, !65, i64 8, !112, i64 40, !117, i64 88, !6, i64 136}
!106 = !{!"_ZTSSt10unique_ptrIN3HIR13GenericParamsESt14default_deleteIS1_EE", !107, i64 0}
!107 = !{!"_ZTSSt15__uniq_ptr_dataIN3HIR13GenericParamsESt14default_deleteIS1_ELb1ELb1EE", !108, i64 0}
!108 = !{!"_ZTSSt15__uniq_ptr_implIN3HIR13GenericParamsESt14default_deleteIS1_EE", !109, i64 0}
!109 = !{!"_ZTSSt5tupleIJPN3HIR13GenericParamsESt14default_deleteIS1_EEE", !110, i64 0}
!110 = !{!"_ZTSSt11_Tuple_implILm0EJPN3HIR13GenericParamsESt14default_deleteIS1_EEE", !111, i64 0}
!111 = !{!"_ZTSSt10_Head_baseILm0EPN3HIR13GenericParamsELb0EE", !6, i64 0}
!112 = !{!"_ZTSSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEE", !113, i64 0}
!113 = !{!"_ZTSSt8_Rb_treeI8RcStringSt4pairIKS0_N3HIR9TraitPath8AtyEqualEESt10_Select1stIS6_ESt4lessIS0_ESaIS6_EE", !114, i64 0}
!114 = !{!"_ZTSNSt8_Rb_treeI8RcStringSt4pairIKS0_N3HIR9TraitPath8AtyEqualEESt10_Select1stIS6_ESt4lessIS0_ESaIS6_EE13_Rb_tree_implISA_Lb1EEE", !115, i64 0, !26, i64 8}
!115 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessI8RcStringEE", !116, i64 0}
!116 = !{!"_ZTSSt4lessI8RcStringE"}
!117 = !{!"_ZTSSt3mapI8RcStringN3HIR9TraitPath8AtyBoundESt4lessIS0_ESaISt4pairIKS0_S3_EEE", !118, i64 0}
!118 = !{!"_ZTSSt8_Rb_treeI8RcStringSt4pairIKS0_N3HIR9TraitPath8AtyBoundEESt10_Select1stIS6_ESt4lessIS0_ESaIS6_EE", !119, i64 0}
!119 = !{!"_ZTSNSt8_Rb_treeI8RcStringSt4pairIKS0_N3HIR9TraitPath8AtyBoundEESt10_Select1stIS6_ESt4lessIS0_ESaIS6_EE13_Rb_tree_implISA_Lb1EEE", !115, i64 0, !26, i64 8}
!120 = distinct !{!120, !17}
!121 = distinct !{!121, !17}
!122 = distinct !{!122, !17}
!123 = distinct !{!123, !17}
!124 = distinct !{!124, !17}
!125 = distinct !{!125, !17}


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

%"struct.std::_Rb_tree_iterator.579" = type { ptr }
%"struct.HIR::PathParams" = type { %class.ThinVector.17, %class.ThinVector.18, %class.ThinVector.19 }
%class.ThinVector.17 = type { ptr }
%class.ThinVector.18 = type { ptr }
%class.ThinVector.19 = type { ptr }
%"class.std::function" = type { %"class.std::_Function_base", ptr }
%"class.std::_Function_base" = type { %"union.std::_Any_data", ptr }
%"union.std::_Any_data" = type { %"union.std::_Nocopy_types" }
%"union.std::_Nocopy_types" = type { { i64, i64 } }
%class.anon.583 = type { i8 }
%"struct.std::pair.588" = type <{ %"class.HIR::TypeRef", i8, [7 x i8] }>
%"class.HIR::TypeRef" = type { ptr }
%class.anon.591 = type { i8 }
%"class.__gnu_cxx::__normal_iterator.395" = type { ptr }
%"class.std::function.336" = type { %"class.std::_Function_base", ptr }
%class.anon.593 = type { i8 }
%"class.__gnu_cxx::__normal_iterator.518" = type { ptr }

@gTargetVersion = external local_unnamed_addr global i32, align 4
@.str.4 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [80 x i8], align 1
@__PRETTY_FUNCTION__._ZNK18StaticTraitResolve12type_is_copyERK4SpanRKN3HIR7TypeRefE = external hidden unnamed_addr constant [82 x i8], align 1
@.str.74 = external hidden unnamed_addr constant [1 x i8], align 1
@_ZTIPKc = external constant ptr

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

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #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) #1

declare void @_ZN3HIR10PathParamsC1Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #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 uwtable
define dso_local noundef zeroext i1 @_ZNK18StaticTraitResolve12type_is_copyERK4SpanRKN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %0, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(8) %2) local_unnamed_addr #0 align 2 personality ptr @__gxx_personality_v0 {
.split387:
  %3 = alloca %"struct.std::_Rb_tree_iterator.579", align 8
  %4 = alloca %"struct.std::_Rb_tree_iterator.579", align 8
  %5 = alloca %"struct.HIR::PathParams", align 8
  %6 = alloca i8, align 1
  %7 = alloca %"class.std::function", align 8
  %8 = alloca %class.anon.583, align 1
  %9 = alloca %"struct.std::pair.588", align 8
  %10 = alloca %"class.HIR::TypeRef", align 8
  %11 = alloca %"struct.std::_Rb_tree_iterator.579", align 8
  %12 = alloca %"struct.std::_Rb_tree_iterator.579", align 8
  %13 = alloca %"struct.HIR::PathParams", align 8
  %14 = alloca i8, align 1
  %15 = alloca %"class.std::function", align 8
  %16 = alloca %class.anon.591, align 1
  %17 = alloca %"struct.std::pair.588", align 8
  %18 = alloca %"class.HIR::TypeRef", align 8
  %19 = alloca %"class.__gnu_cxx::__normal_iterator.395", align 8
  %20 = alloca %"class.__gnu_cxx::__normal_iterator.395", align 8
  %21 = alloca %"struct.HIR::PathParams", align 8
  %22 = alloca %"class.std::function.336", align 8
  %23 = alloca %class.anon.593, align 1
  %24 = alloca %"class.__gnu_cxx::__normal_iterator.518", align 8
  %25 = alloca %"class.__gnu_cxx::__normal_iterator.518", align 8
  br label %tailrecurse

tailrecurse:                                      ; preds = %tailrecurse.backedge, %.split387
  %.tr302 = phi ptr [ %2, %.split387 ], [ %122, %tailrecurse.backedge ]
  %26 = tail call noundef nonnull align 8 dereferenceable(184) ptr @_ZNK3HIR7TypeRef4dataEv(ptr noundef nonnull align 8 dereferenceable(8) %.tr302)
  %27 = tail call noundef i32 @_ZNK3HIR8TypeData3tagEv(ptr noundef nonnull align 8 dereferenceable(184) %26)
  switch i32 %27, label %.thread277 [
    i32 0, label %.split
    i32 5, label %.split338
    i32 4, label %.split341
    i32 2, label %.split345
    i32 15, label %.split348
    i32 16, label %.split351
    i32 1, label %.split354
    i32 11, label %.split357
    i32 12, label %.split360
    i32 13, label %.split363
    i32 14, label %.split366
    i32 3, label %.split369
    i32 8, label %.split372
    i32 9, label %.split375
    i32 6, label %.split378
    i32 7, label %.split381
    i32 10, label %.split385
  ], !llvm.loop !5

.split:                                           ; preds = %tailrecurse
  tail call void @__assert_fail(ptr noundef nonnull @.str.4, ptr noundef nonnull @.str.5, i32 noundef 2069, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK18StaticTraitResolve12type_is_copyERK4SpanRKN3HIR7TypeRefE) #6
  unreachable

.split338:                                        ; preds = %tailrecurse
  %28 = tail call noundef nonnull align 8 dereferenceable(12) ptr @_ZNK3HIR8TypeData10as_GenericEv(ptr noundef nonnull align 8 dereferenceable(184) %26)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %3) #7
  %29 = getelementptr inbounds i8, ptr %0, i64 232
  %30 = tail call ptr @_ZNSt3mapIN3HIR7TypeRefEbSt4lessIS1_ESaISt4pairIKS1_bEEE4findERS5_(ptr noundef nonnull align 8 dereferenceable(48) %29, ptr noundef nonnull align 8 dereferenceable(8) %.tr302)
  store ptr %30, ptr %3, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #7
  %31 = tail call ptr @_ZNSt3mapIN3HIR7TypeRefEbSt4lessIS1_ESaISt4pairIKS1_bEEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %29) #7
  store ptr %31, ptr %4, align 8
  %32 = call noundef zeroext i1 @_ZStneRKSt17_Rb_tree_iteratorISt4pairIKN3HIR7TypeRefEbEES7_(ptr noundef nonnull align 8 dereferenceable(8) %3, ptr noundef nonnull align 8 dereferenceable(8) %4) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #7
  br i1 %32, label %.thread, label %37

.thread:                                          ; preds = %.split338
  %33 = call noundef ptr @_ZNKSt17_Rb_tree_iteratorISt4pairIKN3HIR7TypeRefEbEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %3) #7
  %34 = getelementptr inbounds i8, ptr %33, i64 8
  %35 = load i8, ptr %34, align 8, !tbaa !7, !range !14, !noundef !15
  %36 = trunc nuw i8 %35 to i1
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #7
  br label %.thread283

37:                                               ; preds = %.split338
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #7
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %5) #7
  call void @_ZN3HIR10PathParamsC1Ev(ptr noundef nonnull align 8 dereferenceable(24) %5)
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %6) #7
  %38 = getelementptr inbounds i8, ptr %0, i64 112
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %8) #7
  call void @"_ZNSt8functionIFb7ImplRefbEEC2IZNK18StaticTraitResolve12type_is_copyERK4SpanRKN3HIR7TypeRefEE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %7, ptr noundef nonnull align 1 dereferenceable(1) %8) #7
  %39 = invoke 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) %38, ptr noundef nonnull %5, ptr noundef nonnull align 8 dereferenceable(8) %.tr302, ptr noundef nonnull %7)
          to label %40 unwind label %48

40:                                               ; preds = %37
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %8) #7
  %41 = zext i1 %39 to i8
  store i8 %41, ptr %6, align 1, !tbaa !16
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %9) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #7
  invoke void @_ZNK3HIR7TypeRef5cloneEv(ptr dead_on_unwind nonnull writable sret(%"class.HIR::TypeRef") align 8 %10, ptr noundef nonnull align 8 dereferenceable(8) %.tr302)
          to label %42 unwind label %50

42:                                               ; preds = %40
  invoke void @_ZSt9make_pairIN3HIR7TypeRefERbESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS4_INS5_IT0_E4typeEE6__typeEEOS6_OSB_(ptr dead_on_unwind nonnull writable sret(%"struct.std::pair.588") align 8 %9, ptr noundef nonnull align 8 dereferenceable(8) %10, ptr noundef nonnull align 1 dereferenceable(1) %6)
          to label %43 unwind label %52

43:                                               ; preds = %42
  %44 = invoke { ptr, i8 } @_ZNSt3mapIN3HIR7TypeRefEbSt4lessIS1_ESaISt4pairIKS1_bEEE6insertIS4_IS1_bEEENSt9enable_ifIXsr16is_constructibleIS6_T_EE5valueES4_ISt17_Rb_tree_iteratorIS6_EbEE4typeEOSC_(ptr noundef nonnull align 8 dereferenceable(48) %29, ptr noundef nonnull align 8 dereferenceable(9) %9)
          to label %45 unwind label %54

45:                                               ; preds = %43
  call void @_ZNSt4pairIN3HIR7TypeRefEbED2Ev(ptr noundef nonnull align 8 dereferenceable(9) %9) #7
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %10) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %9) #7
  %46 = load i8, ptr %6, align 1, !tbaa !16, !range !14, !noundef !15
  %47 = trunc nuw i8 %46 to i1
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %6) #7
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %5) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %5) #7
  br label %.thread283

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

50:                                               ; preds = %40
  %51 = landingpad { ptr, i32 }
          cleanup
  br label %57

52:                                               ; preds = %42
  %53 = landingpad { ptr, i32 }
          cleanup
  br label %56

54:                                               ; preds = %43
  %55 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt4pairIN3HIR7TypeRefEbED2Ev(ptr noundef nonnull align 8 dereferenceable(9) %9) #7
  br label %56

56:                                               ; preds = %54, %52
  %.pn260 = phi { ptr, i32 } [ %55, %54 ], [ %53, %52 ]
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %10) #7
  br label %57

57:                                               ; preds = %56, %50
  %.pn260.pn = phi { ptr, i32 } [ %.pn260, %56 ], [ %51, %50 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %9) #7
  br label %58

58:                                               ; preds = %57, %48
  %.pn260.pn.pn = phi { ptr, i32 } [ %.pn260.pn, %57 ], [ %49, %48 ]
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %6) #7
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %5) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %5) #7
  br label %159

.split341:                                        ; preds = %tailrecurse
  %59 = tail call noundef nonnull align 8 dereferenceable(112) ptr @_ZNK3HIR8TypeData7as_PathEv(ptr noundef nonnull align 8 dereferenceable(184) %26)
  %60 = getelementptr inbounds i8, ptr %59, i64 88
  %61 = tail call noundef ptr @_ZNK3HIR15TypePathBinding18get_trait_markingsEv(ptr noundef nonnull align 8 dereferenceable(16) %60)
  %.not = icmp eq ptr %61, null
  br i1 %.not, label %70, label %62

62:                                               ; preds = %.split341
  %63 = getelementptr inbounds i8, ptr %61, i64 2
  %64 = load i8, ptr %63, align 2, !tbaa !17, !range !14, !noundef !15
  %65 = trunc nuw i8 %64 to i1
  br i1 %65, label %66, label %.thread283

66:                                               ; preds = %62
  %67 = tail call noundef nonnull align 8 dereferenceable(32) ptr @_ZNK3HIR4Path4Data10as_GenericEv(ptr noundef nonnull align 8 dereferenceable(88) %59)
  %68 = getelementptr inbounds i8, ptr %67, i64 8
  %69 = tail call noundef zeroext i1 @_ZNK3HIR10PathParams10has_paramsEv(ptr noundef nonnull align 8 dereferenceable(24) %68)
  br i1 %69, label %70, label %.thread283

70:                                               ; preds = %66, %.split341
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %11) #7
  %71 = getelementptr inbounds i8, ptr %0, i64 232
  %72 = tail call ptr @_ZNSt3mapIN3HIR7TypeRefEbSt4lessIS1_ESaISt4pairIKS1_bEEE4findERS5_(ptr noundef nonnull align 8 dereferenceable(48) %71, ptr noundef nonnull align 8 dereferenceable(8) %.tr302)
  store ptr %72, ptr %11, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %12) #7
  %73 = tail call ptr @_ZNSt3mapIN3HIR7TypeRefEbSt4lessIS1_ESaISt4pairIKS1_bEEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %71) #7
  store ptr %73, ptr %12, align 8
  %74 = call noundef zeroext i1 @_ZStneRKSt17_Rb_tree_iteratorISt4pairIKN3HIR7TypeRefEbEES7_(ptr noundef nonnull align 8 dereferenceable(8) %11, ptr noundef nonnull align 8 dereferenceable(8) %12) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #7
  br i1 %74, label %.thread270, label %79

.thread270:                                       ; preds = %70
  %75 = call noundef ptr @_ZNKSt17_Rb_tree_iteratorISt4pairIKN3HIR7TypeRefEbEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %11) #7
  %76 = getelementptr inbounds i8, ptr %75, i64 8
  %77 = load i8, ptr %76, align 8, !tbaa !7, !range !14, !noundef !15
  %78 = trunc nuw i8 %77 to i1
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #7
  br label %.thread283

79:                                               ; preds = %70
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #7
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %13) #7
  call void @_ZN3HIR10PathParamsC1Ev(ptr noundef nonnull align 8 dereferenceable(24) %13)
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %14) #7
  %80 = getelementptr inbounds i8, ptr %0, i64 112
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %16) #7
  call void @"_ZNSt8functionIFb7ImplRefbEEC2IZNK18StaticTraitResolve12type_is_copyERK4SpanRKN3HIR7TypeRefEE3$_1vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %15, ptr noundef nonnull align 1 dereferenceable(1) %16) #7
  %81 = invoke noundef zeroext i1 @_ZNK18StaticTraitResolve9find_implERK4SpanRKN3HIR10SimplePathEPKNS3_10PathParamsERKNS3_7TypeRefESt8functionIFb7ImplRefbEEb(ptr noundef nonnull align 8 dereferenceable(424) %0, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(8) %80, ptr noundef nonnull %13, ptr noundef nonnull align 8 dereferenceable(8) %.tr302, ptr noundef nonnull %15, i1 noundef zeroext true)
          to label %82 unwind label %90

82:                                               ; preds = %79
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %16) #7
  %83 = zext i1 %81 to i8
  store i8 %83, ptr %14, align 1, !tbaa !16
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %17) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %18) #7
  invoke void @_ZNK3HIR7TypeRef5cloneEv(ptr dead_on_unwind nonnull writable sret(%"class.HIR::TypeRef") align 8 %18, ptr noundef nonnull align 8 dereferenceable(8) %.tr302)
          to label %84 unwind label %92

84:                                               ; preds = %82
  invoke void @_ZSt9make_pairIN3HIR7TypeRefERbESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS4_INS5_IT0_E4typeEE6__typeEEOS6_OSB_(ptr dead_on_unwind nonnull writable sret(%"struct.std::pair.588") align 8 %17, ptr noundef nonnull align 8 dereferenceable(8) %18, ptr noundef nonnull align 1 dereferenceable(1) %14)
          to label %85 unwind label %94

85:                                               ; preds = %84
  %86 = invoke { ptr, i8 } @_ZNSt3mapIN3HIR7TypeRefEbSt4lessIS1_ESaISt4pairIKS1_bEEE6insertIS4_IS1_bEEENSt9enable_ifIXsr16is_constructibleIS6_T_EE5valueES4_ISt17_Rb_tree_iteratorIS6_EbEE4typeEOSC_(ptr noundef nonnull align 8 dereferenceable(48) %71, ptr noundef nonnull align 8 dereferenceable(9) %17)
          to label %87 unwind label %96

87:                                               ; preds = %85
  call void @_ZNSt4pairIN3HIR7TypeRefEbED2Ev(ptr noundef nonnull align 8 dereferenceable(9) %17) #7
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %18) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %18) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %17) #7
  %88 = load i8, ptr %14, align 1, !tbaa !16, !range !14, !noundef !15
  %89 = trunc nuw i8 %88 to i1
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %14) #7
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %13) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %13) #7
  br label %.thread283

90:                                               ; preds = %79
  %91 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %16) #7
  br label %100

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

94:                                               ; preds = %84
  %95 = landingpad { ptr, i32 }
          cleanup
  br label %98

96:                                               ; preds = %85
  %97 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt4pairIN3HIR7TypeRefEbED2Ev(ptr noundef nonnull align 8 dereferenceable(9) %17) #7
  br label %98

98:                                               ; preds = %96, %94
  %.pn = phi { ptr, i32 } [ %97, %96 ], [ %95, %94 ]
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %18) #7
  br label %99

99:                                               ; preds = %98, %92
  %.pn.pn = phi { ptr, i32 } [ %.pn, %98 ], [ %93, %92 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %18) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %17) #7
  br label %100

100:                                              ; preds = %99, %90
  %.pn.pn.pn = phi { ptr, i32 } [ %.pn.pn, %99 ], [ %91, %90 ]
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %14) #7
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %13) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %13) #7
  br label %159

.split345:                                        ; preds = %tailrecurse
  %101 = tail call noundef nonnull align 1 dereferenceable(1) ptr @_ZNK3HIR8TypeData10as_DivergeEv(ptr noundef nonnull align 8 dereferenceable(184) %26)
  br label %.thread283

.split348:                                        ; preds = %tailrecurse
  %102 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR8TypeData10as_ClosureEv(ptr noundef nonnull align 8 dereferenceable(184) %26)
  %103 = load i32, ptr @gTargetVersion, align 4, !tbaa !28
  %104 = icmp sgt i32 %103, 0
  br i1 %104, label %105, label %.thread283

105:                                              ; preds = %.split348
  %106 = load ptr, ptr %102, align 8, !tbaa !30
  %107 = getelementptr inbounds i8, ptr %106, i64 80
  %108 = load i8, ptr %107, align 8, !tbaa !32, !range !14, !noundef !15
  %109 = trunc nuw i8 %108 to i1
  br label %.thread283

.split351:                                        ; preds = %tailrecurse
  %110 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR8TypeData12as_GeneratorEv(ptr noundef nonnull align 8 dereferenceable(184) %26)
  br label %.thread283

.split354:                                        ; preds = %tailrecurse
  %111 = tail call noundef nonnull align 4 dereferenceable(8) ptr @_ZNK3HIR8TypeData8as_InferEv(ptr noundef nonnull align 8 dereferenceable(184) %26)
  br label %.thread283

.split357:                                        ; preds = %tailrecurse
  %112 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK3HIR8TypeData9as_BorrowEv(ptr noundef nonnull align 8 dereferenceable(184) %26)
  %113 = getelementptr inbounds i8, ptr %112, i64 4
  %114 = load i32, ptr %113, align 4, !tbaa !70
  %115 = icmp eq i32 %114, 0
  br label %.thread283

.split360:                                        ; preds = %tailrecurse
  %116 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK3HIR8TypeData10as_PointerEv(ptr noundef nonnull align 8 dereferenceable(184) %26)
  br label %.thread283

.split363:                                        ; preds = %tailrecurse
  %117 = tail call noundef nonnull align 8 dereferenceable(112) ptr @_ZNK3HIR8TypeData16as_NamedFunctionEv(ptr noundef nonnull align 8 dereferenceable(184) %26)
  br label %.thread283

.split366:                                        ; preds = %tailrecurse
  %118 = tail call noundef nonnull align 8 dereferenceable(144) ptr @_ZNK3HIR8TypeData11as_FunctionEv(ptr noundef nonnull align 8 dereferenceable(184) %26)
  br label %.thread283

.split369:                                        ; preds = %tailrecurse
  %119 = tail call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK3HIR8TypeData12as_PrimitiveEv(ptr noundef nonnull align 8 dereferenceable(184) %26)
  %120 = load i32, ptr %119, align 4, !tbaa !73
  %121 = icmp ne i32 %120, 16
  br label %.thread283

.split372:                                        ; preds = %tailrecurse
  %122 = tail call noundef nonnull align 8 dereferenceable(40) ptr @_ZNK3HIR8TypeData8as_ArrayEv(ptr noundef nonnull align 8 dereferenceable(184) %26)
  %123 = getelementptr inbounds i8, ptr %122, i64 8
  %124 = tail call noundef zeroext i1 @_ZNK3HIR9ArraySize8is_KnownEv(ptr noundef nonnull align 8 dereferenceable(32) %123)
  br i1 %124, label %125, label %tailrecurse.backedge

125:                                              ; preds = %.split372
  %126 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR9ArraySize8as_KnownEv(ptr noundef nonnull align 8 dereferenceable(32) %123)
  %127 = load i64, ptr %126, align 8, !tbaa !75
  %128 = icmp eq i64 %127, 0
  br i1 %128, label %.thread283, label %tailrecurse.backedge

tailrecurse.backedge:                             ; preds = %125, %.split372
  br label %tailrecurse

.split375:                                        ; preds = %tailrecurse
  %129 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3HIR8TypeData8as_SliceEv(ptr noundef nonnull align 8 dereferenceable(184) %26)
  br label %.thread283

.split378:                                        ; preds = %tailrecurse
  %130 = tail call noundef nonnull align 8 dereferenceable(172) ptr @_ZNK3HIR8TypeData14as_TraitObjectEv(ptr noundef nonnull align 8 dereferenceable(184) %26)
  br label %.thread283

.split381:                                        ; preds = %tailrecurse
  %131 = tail call noundef nonnull align 8 dereferenceable(160) ptr @_ZNK3HIR8TypeData13as_ErasedTypeEv(ptr noundef nonnull align 8 dereferenceable(184) %26)
  %132 = getelementptr inbounds i8, ptr %131, i64 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %19) #7
  %133 = tail call ptr @_ZNKSt6vectorIN3HIR9TraitPathESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %132) #7
  store ptr %133, ptr %19, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %20) #7
  %134 = tail call ptr @_ZNKSt6vectorIN3HIR9TraitPathESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %132) #7
  store ptr %134, ptr %20, align 8
  %135 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3HIR9TraitPathESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESD_(ptr noundef nonnull align 8 dereferenceable(8) %19, ptr noundef nonnull align 8 dereferenceable(8) %20) #7
  br i1 %135, label %.lr.ph389, label %._crit_edge390

.lr.ph389:                                        ; preds = %.split381
  %136 = getelementptr inbounds i8, ptr %0, i64 112
  br label %137

137:                                              ; preds = %.lr.ph389, %147
  %138 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3HIR9TraitPathESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %19) #7
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %21) #7
  call void @_ZN3HIR10PathParamsC1Ev(ptr noundef nonnull align 8 dereferenceable(24) %21)
  %139 = getelementptr inbounds i8, ptr %138, i64 136
  %140 = load ptr, ptr %139, align 8, !tbaa !76
  %141 = getelementptr inbounds i8, ptr %138, i64 8
  %142 = getelementptr inbounds i8, ptr %138, i64 16
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %23) #7
  call void @"_ZNSt8functionIFbRKN3HIR10PathParamsESt3mapI8RcStringNS0_9TraitPath8AtyEqualESt4lessIS5_ESaISt4pairIKS5_S7_EEEEEC2IZNK18StaticTraitResolve12type_is_copyERK4SpanRKNS0_7TypeRefEE3$_2vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %22, ptr noundef nonnull align 1 dereferenceable(1) %23) #7
  %143 = invoke noundef zeroext i1 @_ZNK18StaticTraitResolve25find_named_trait_in_traitERK4SpanRKN3HIR10SimplePathERKNS3_10PathParamsERKNS3_5TraitES6_S9_RKNS3_7TypeRefESt8functionIFbS9_St3mapI8RcStringNS3_9TraitPath8AtyEqualESt4lessISI_ESaISt4pairIKSI_SK_EEEEE(ptr noundef nonnull align 8 dereferenceable(424) %0, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(8) %136, ptr noundef nonnull align 8 dereferenceable(24) %21, ptr noundef nonnull align 8 dereferenceable(400) %140, ptr noundef nonnull align 8 dereferenceable(8) %141, ptr noundef nonnull align 8 dereferenceable(24) %142, ptr noundef nonnull align 8 dereferenceable(8) %.tr302, ptr noundef nonnull %22)
          to label %144 unwind label %145

144:                                              ; preds = %137
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %22) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %23) #7
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %21) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %21) #7
  br i1 %143, label %select.unfold272, label %147

145:                                              ; preds = %137
  %146 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %22) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %23) #7
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %21) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %21) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #7
  br label %159

147:                                              ; preds = %144
  %148 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3HIR9TraitPathESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %19) #7
  %149 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3HIR9TraitPathESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESD_(ptr noundef nonnull align 8 dereferenceable(8) %19, ptr noundef nonnull align 8 dereferenceable(8) %20) #7
  br i1 %149, label %137, label %._crit_edge390

._crit_edge390:                                   ; preds = %147, %.split381
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #7
  br label %.thread283

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

.lr.ph:                                           ; preds = %.split385, %156
  %154 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %24) #7
  %155 = call noundef zeroext i1 @_ZNK18StaticTraitResolve12type_is_copyERK4SpanRKN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %0, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(8) %154)
  br i1 %155, label %156, label %select.unfold

156:                                              ; preds = %.lr.ph
  %157 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %24) #7
  %158 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3HIR7TypeRefESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESD_(ptr noundef nonnull align 8 dereferenceable(8) %24, ptr noundef nonnull align 8 dereferenceable(8) %25) #7
  br i1 %158, label %.lr.ph, label %._crit_edge

._crit_edge:                                      ; preds = %156, %.split385
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %25) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %24) #7
  br label %.thread283

select.unfold:                                    ; preds = %.lr.ph
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %25) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %24) #7
  br label %.thread283

select.unfold272:                                 ; preds = %144
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #7
  br label %.thread283

159:                                              ; preds = %145, %100, %58
  %.pn264 = phi { ptr, i32 } [ %146, %145 ], [ %.pn.pn.pn, %100 ], [ %.pn260.pn.pn, %58 ]
  resume { ptr, i32 } %.pn264

.thread277:                                       ; preds = %tailrecurse
  %160 = tail call ptr @__cxa_allocate_exception(i64 8) #7
  store ptr @.str.74, ptr %160, align 16, !tbaa !92
  tail call void @__cxa_throw(ptr nonnull %160, ptr nonnull @_ZTIPKc, ptr null) #8
  unreachable

.thread283:                                       ; preds = %125, %select.unfold272, %select.unfold, %._crit_edge, %._crit_edge390, %.split378, %.split375, %.split369, %.split366, %.split363, %.split360, %.split357, %.split354, %.split351, %.split345, %45, %66, %62, %87, %105, %.split348, %.thread, %.thread270
  %.60.ph288 = phi i1 [ true, %._crit_edge ], [ false, %._crit_edge390 ], [ false, %.split378 ], [ false, %.split375 ], [ %121, %.split369 ], [ true, %.split366 ], [ true, %.split363 ], [ true, %.split360 ], [ %115, %.split357 ], [ false, %.split354 ], [ false, %.split351 ], [ true, %.split345 ], [ %47, %45 ], [ %89, %87 ], [ false, %62 ], [ true, %66 ], [ %109, %105 ], [ false, %.split348 ], [ %36, %.thread ], [ %78, %.thread270 ], [ true, %select.unfold272 ], [ false, %select.unfold ], [ true, %125 ]
  ret i1 %.60.ph288
}

; 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 #3 align 2

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

declare ptr @__cxa_allocate_exception(i64) local_unnamed_addr

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @"_ZNSt8functionIFb7ImplRefbEEC2IZNK18StaticTraitResolve12type_is_copyERK4SpanRKN3HIR7TypeRefEE3$_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, i8 } @_ZNSt3mapIN3HIR7TypeRefEbSt4lessIS1_ESaISt4pairIKS1_bEEE6insertIS4_IS1_bEEENSt9enable_ifIXsr16is_constructibleIS6_T_EE5valueES4_ISt17_Rb_tree_iteratorIS6_EbEE4typeEOSC_(ptr noundef nonnull align 8 dereferenceable(48), ptr noundef nonnull align 8 dereferenceable(9)) local_unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZSt9make_pairIN3HIR7TypeRefERbESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS4_INS5_IT0_E4typeEE6__typeEEOS6_OSB_(ptr dead_on_unwind noalias writable sret(%"struct.std::pair.588") align 8, ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 1 dereferenceable(1)) local_unnamed_addr #0

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

declare noundef ptr @_ZNK3HIR15TypePathBinding18get_trait_markingsEv(ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #2

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @"_ZNSt8functionIFbRKN3HIR10PathParamsESt3mapI8RcStringNS0_9TraitPath8AtyEqualESt4lessIS5_ESaISt4pairIKS5_S7_EEEEEC2IZNK18StaticTraitResolve12type_is_copyERK4SpanRKNS0_7TypeRefEE3$_2vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #4 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 = { 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 #1 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { "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 = { 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 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { noreturn nounwind }
attributes #7 = { nounwind }
attributes #8 = { noreturn }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = distinct !{!5, !6}
!6 = !{!"llvm.loop.mustprogress"}
!7 = !{!8, !13, i64 8}
!8 = !{!"_ZTSSt4pairIKN3HIR7TypeRefEbE", !9, i64 0, !13, i64 8}
!9 = !{!"_ZTSN3HIR7TypeRefE", !10, i64 0}
!10 = !{!"any pointer", !11, i64 0}
!11 = !{!"omnipotent char", !12, i64 0}
!12 = !{!"Simple C++ TBAA"}
!13 = !{!"bool", !11, i64 0}
!14 = !{i8 0, i8 2}
!15 = !{}
!16 = !{!13, !13, i64 0}
!17 = !{!18, !13, i64 2}
!18 = !{!"_ZTSN3HIR13TraitMarkingsE", !13, i64 0, !13, i64 1, !13, i64 2, !19, i64 8}
!19 = !{!"_ZTSSt3mapIN3HIR10SimplePathENS0_13TraitMarkings11AutoMarkingESt4lessIS1_ESaISt4pairIKS1_S3_EEE", !20, i64 0}
!20 = !{!"_ZTSSt8_Rb_treeIN3HIR10SimplePathESt4pairIKS1_NS0_13TraitMarkings11AutoMarkingEESt10_Select1stIS6_ESt4lessIS1_ESaIS6_EE", !21, i64 0}
!21 = !{!"_ZTSNSt8_Rb_treeIN3HIR10SimplePathESt4pairIKS1_NS0_13TraitMarkings11AutoMarkingEESt10_Select1stIS6_ESt4lessIS1_ESaIS6_EE13_Rb_tree_implISA_Lb1EEE", !22, i64 0, !24, i64 8}
!22 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessIN3HIR10SimplePathEEE", !23, i64 0}
!23 = !{!"_ZTSSt4lessIN3HIR10SimplePathEE"}
!24 = !{!"_ZTSSt15_Rb_tree_header", !25, i64 0, !27, i64 32}
!25 = !{!"_ZTSSt18_Rb_tree_node_base", !26, i64 0, !10, i64 8, !10, i64 16, !10, i64 24}
!26 = !{!"_ZTSSt14_Rb_tree_color", !11, i64 0}
!27 = !{!"long", !11, i64 0}
!28 = !{!29, !29, i64 0}
!29 = !{!"_ZTS13TargetVersion", !11, i64 0}
!30 = !{!31, !10, i64 0}
!31 = !{!"_ZTSN3HIR8TypeData12Data_ClosureE", !10, i64 0}
!32 = !{!33, !13, i64 80}
!33 = !{!"_ZTSN3HIR16ExprNode_ClosureE", !34, i64 0, !37, i64 32, !9, i64 56, !41, i64 64, !13, i64 72, !47, i64 76, !13, i64 80, !48, i64 88, !57, i64 136, !10, i64 144, !59, i64 152, !59, i64 184, !66, i64 216}
!34 = !{!"_ZTSN3HIR8ExprNodeE", !35, i64 8, !9, i64 16, !36, i64 24}
!35 = !{!"_ZTS4Span", !10, i64 0}
!36 = !{!"_ZTSN3HIR10ValueUsageE", !11, i64 0}
!37 = !{!"_ZTSSt6vectorISt4pairIN3HIR7PatternENS1_7TypeRefEESaIS4_EE", !38, i64 0}
!38 = !{!"_ZTSSt12_Vector_baseISt4pairIN3HIR7PatternENS1_7TypeRefEESaIS4_EE", !39, i64 0}
!39 = !{!"_ZTSNSt12_Vector_baseISt4pairIN3HIR7PatternENS1_7TypeRefEESaIS4_EE12_Vector_implE", !40, i64 0}
!40 = !{!"_ZTSNSt12_Vector_baseISt4pairIN3HIR7PatternENS1_7TypeRefEESaIS4_EE17_Vector_impl_dataE", !10, i64 0, !10, i64 8, !10, i64 16}
!41 = !{!"_ZTSSt10unique_ptrIN3HIR8ExprNodeESt14default_deleteIS1_EE", !42, i64 0}
!42 = !{!"_ZTSSt15__uniq_ptr_dataIN3HIR8ExprNodeESt14default_deleteIS1_ELb1ELb1EE", !43, i64 0}
!43 = !{!"_ZTSSt15__uniq_ptr_implIN3HIR8ExprNodeESt14default_deleteIS1_EE", !44, i64 0}
!44 = !{!"_ZTSSt5tupleIJPN3HIR8ExprNodeESt14default_deleteIS1_EEE", !45, i64 0}
!45 = !{!"_ZTSSt11_Tuple_implILm0EJPN3HIR8ExprNodeESt14default_deleteIS1_EEE", !46, i64 0}
!46 = !{!"_ZTSSt10_Head_baseILm0EPN3HIR8ExprNodeELb0EE", !10, i64 0}
!47 = !{!"_ZTSN3HIR16ExprNode_Closure5ClassE", !11, i64 0}
!48 = !{!"_ZTSN3HIR16ExprNode_Closure8AvuCacheE", !49, i64 0, !53, i64 24}
!49 = !{!"_ZTSSt6vectorIjSaIjEE", !50, i64 0}
!50 = !{!"_ZTSSt12_Vector_baseIjSaIjEE", !51, i64 0}
!51 = !{!"_ZTSNSt12_Vector_baseIjSaIjEE12_Vector_implE", !52, i64 0}
!52 = !{!"_ZTSNSt12_Vector_baseIjSaIjEE17_Vector_impl_dataE", !10, i64 0, !10, i64 8, !10, i64 16}
!53 = !{!"_ZTSSt6vectorIN3HIR16ExprNode_Closure8AvuCache7CaptureESaIS3_EE", !54, i64 0}
!54 = !{!"_ZTSSt12_Vector_baseIN3HIR16ExprNode_Closure8AvuCache7CaptureESaIS3_EE", !55, i64 0}
!55 = !{!"_ZTSNSt12_Vector_baseIN3HIR16ExprNode_Closure8AvuCache7CaptureESaIS3_EE12_Vector_implE", !56, i64 0}
!56 = !{!"_ZTSNSt12_Vector_baseIN3HIR16ExprNode_Closure8AvuCache7CaptureESaIS3_EE17_Vector_impl_dataE", !10, i64 0, !10, i64 8, !10, i64 16}
!57 = !{!"_ZTSN3HIR11LifetimeRefE", !58, i64 0}
!58 = !{!"int", !11, i64 0}
!59 = !{!"_ZTSN3HIR11GenericPathE", !60, i64 0, !62, i64 8}
!60 = !{!"_ZTSN3HIR10SimplePathE", !61, i64 0}
!61 = !{!"_ZTS10ThinVectorI8RcStringE", !10, i64 0}
!62 = !{!"_ZTSN3HIR10PathParamsE", !63, i64 0, !64, i64 8, !65, i64 16}
!63 = !{!"_ZTS10ThinVectorIN3HIR11LifetimeRefEE", !10, i64 0}
!64 = !{!"_ZTS10ThinVectorIN3HIR7TypeRefEE", !10, i64 0}
!65 = !{!"_ZTS10ThinVectorIN3HIR12ConstGenericEE", !10, i64 0}
!66 = !{!"_ZTSSt6vectorISt10unique_ptrIN3HIR8ExprNodeESt14default_deleteIS2_EESaIS5_EE", !67, i64 0}
!67 = !{!"_ZTSSt12_Vector_baseISt10unique_ptrIN3HIR8ExprNodeESt14default_deleteIS2_EESaIS5_EE", !68, i64 0}
!68 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrIN3HIR8ExprNodeESt14default_deleteIS2_EESaIS5_EE12_Vector_implE", !69, i64 0}
!69 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrIN3HIR8ExprNodeESt14default_deleteIS2_EESaIS5_EE17_Vector_impl_dataE", !10, i64 0, !10, i64 8, !10, i64 16}
!70 = !{!71, !72, i64 4}
!71 = !{!"_ZTSN3HIR8TypeData11Data_BorrowE", !57, i64 0, !72, i64 4, !9, i64 8}
!72 = !{!"_ZTSN3HIR10BorrowTypeE", !11, i64 0}
!73 = !{!74, !74, i64 0}
!74 = !{!"_ZTSN3HIR8CoreTypeE", !11, i64 0}
!75 = !{!27, !27, i64 0}
!76 = !{!77, !10, i64 136}
!77 = !{!"_ZTSN3HIR9TraitPathE", !78, i64 0, !59, i64 8, !84, i64 40, !89, i64 88, !10, i64 136}
!78 = !{!"_ZTSSt10unique_ptrIN3HIR13GenericParamsESt14default_deleteIS1_EE", !79, i64 0}
!79 = !{!"_ZTSSt15__uniq_ptr_dataIN3HIR13GenericParamsESt14default_deleteIS1_ELb1ELb1EE", !80, i64 0}
!80 = !{!"_ZTSSt15__uniq_ptr_implIN3HIR13GenericParamsESt14default_deleteIS1_EE", !81, i64 0}
!81 = !{!"_ZTSSt5tupleIJPN3HIR13GenericParamsESt14default_deleteIS1_EEE", !82, i64 0}
!82 = !{!"_ZTSSt11_Tuple_implILm0EJPN3HIR13GenericParamsESt14default_deleteIS1_EEE", !83, i64 0}
!83 = !{!"_ZTSSt10_Head_baseILm0EPN3HIR13GenericParamsELb0EE", !10, i64 0}
!84 = !{!"_ZTSSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEE", !85, i64 0}
!85 = !{!"_ZTSSt8_Rb_treeI8RcStringSt4pairIKS0_N3HIR9TraitPath8AtyEqualEESt10_Select1stIS6_ESt4lessIS0_ESaIS6_EE", !86, i64 0}
!86 = !{!"_ZTSNSt8_Rb_treeI8RcStringSt4pairIKS0_N3HIR9TraitPath8AtyEqualEESt10_Select1stIS6_ESt4lessIS0_ESaIS6_EE13_Rb_tree_implISA_Lb1EEE", !87, i64 0, !24, i64 8}
!87 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessI8RcStringEE", !88, i64 0}
!88 = !{!"_ZTSSt4lessI8RcStringE"}
!89 = !{!"_ZTSSt3mapI8RcStringN3HIR9TraitPath8AtyBoundESt4lessIS0_ESaISt4pairIKS0_S3_EEE", !90, i64 0}
!90 = !{!"_ZTSSt8_Rb_treeI8RcStringSt4pairIKS0_N3HIR9TraitPath8AtyBoundEESt10_Select1stIS6_ESt4lessIS0_ESaIS6_EE", !91, i64 0}
!91 = !{!"_ZTSNSt8_Rb_treeI8RcStringSt4pairIKS0_N3HIR9TraitPath8AtyBoundEESt10_Select1stIS6_ESt4lessIS0_ESaIS6_EE13_Rb_tree_implISA_Lb1EEE", !87, i64 0, !24, i64 8}
!92 = !{!10, !10, i64 0}


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