; LLVM IR from thepowersgang/mrustc :: src/hir/from_ast.ll (Z18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEb)

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

%"class.HIR::TypeRef" = type { ptr }
%"class.HIR::TraitPath" = type { %"class.std::unique_ptr.106", %"class.HIR::GenericPath", %"class.std::map", %"class.std::map.120", ptr }
%"class.std::unique_ptr.106" = type { %"struct.std::__uniq_ptr_data.107" }
%"struct.std::__uniq_ptr_data.107" = type { %"class.std::__uniq_ptr_impl.108" }
%"class.std::__uniq_ptr_impl.108" = type { %"class.std::tuple.109" }
%"class.std::tuple.109" = type { %"struct.std::_Tuple_impl.110" }
%"struct.std::_Tuple_impl.110" = type { %"struct.std::_Head_base.113" }
%"struct.std::_Head_base.113" = type { ptr }
%"class.HIR::GenericPath" = type { %"struct.HIR::SimplePath", %"struct.HIR::PathParams" }
%"struct.HIR::SimplePath" = type { %class.ThinVector }
%class.ThinVector = type { ptr }
%"struct.HIR::PathParams" = type { %class.ThinVector.114, %class.ThinVector.115, %class.ThinVector.116 }
%class.ThinVector.114 = type { ptr }
%class.ThinVector.115 = type { ptr }
%class.ThinVector.116 = type { ptr }
%"class.std::map" = type { %"class.std::_Rb_tree" }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitPath::AtyEqual>, std::_Select1st<std::pair<const RcString, HIR::TraitPath::AtyEqual>>, std::less<RcString>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitPath::AtyEqual>, std::_Select1st<std::pair<const RcString, HIR::TraitPath::AtyEqual>>, std::less<RcString>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.std::_Rb_tree_header" = type { %"struct.std::_Rb_tree_node_base", i64 }
%"struct.std::_Rb_tree_node_base" = type { i32, ptr, ptr, ptr }
%"class.std::map.120" = type { %"class.std::_Rb_tree.121" }
%"class.std::_Rb_tree.121" = type { %"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitPath::AtyBound>, std::_Select1st<std::pair<const RcString, HIR::TraitPath::AtyBound>>, std::less<RcString>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitPath::AtyBound>, std::_Select1st<std::pair<const RcString, HIR::TraitPath::AtyBound>>, std::less<RcString>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"class.HIR::GenericParams" = type { %"class.std::vector.8", %"class.std::vector.13", %"class.std::vector.18", %"class.std::vector.23" }
%"class.std::vector.8" = type { %"struct.std::_Vector_base.9" }
%"struct.std::_Vector_base.9" = type { %"struct.std::_Vector_base<HIR::TypeParamDef, std::allocator<HIR::TypeParamDef>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::TypeParamDef, std::allocator<HIR::TypeParamDef>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::TypeParamDef, std::allocator<HIR::TypeParamDef>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::TypeParamDef, std::allocator<HIR::TypeParamDef>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.13" = type { %"struct.std::_Vector_base.14" }
%"struct.std::_Vector_base.14" = type { %"struct.std::_Vector_base<HIR::LifetimeDef, std::allocator<HIR::LifetimeDef>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::LifetimeDef, std::allocator<HIR::LifetimeDef>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::LifetimeDef, std::allocator<HIR::LifetimeDef>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::LifetimeDef, std::allocator<HIR::LifetimeDef>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.18" = type { %"struct.std::_Vector_base.19" }
%"struct.std::_Vector_base.19" = type { %"struct.std::_Vector_base<HIR::ValueParamDef, std::allocator<HIR::ValueParamDef>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::ValueParamDef, std::allocator<HIR::ValueParamDef>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::ValueParamDef, std::allocator<HIR::ValueParamDef>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::ValueParamDef, std::allocator<HIR::ValueParamDef>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.23" = type { %"struct.std::_Vector_base.24" }
%"struct.std::_Vector_base.24" = type { %"struct.std::_Vector_base<HIR::GenericBound, std::allocator<HIR::GenericBound>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::GenericBound, std::allocator<HIR::GenericBound>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::GenericBound, std::allocator<HIR::GenericBound>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::GenericBound, std::allocator<HIR::GenericBound>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.HIR::LifetimeDef" = type { %class.RcString }
%class.RcString = type { ptr }
%"struct.HIR::GenericParams::PrintArgs" = type { ptr }
%"class.__gnu_cxx::__normal_iterator.238" = type { ptr }
%class.MonomorphiserNop = type { %class.Monomorphiser }
%class.Monomorphiser = type { ptr, ptr, %"class.HIR::ItemPath", %"class.std::vector.260" }
%"class.HIR::ItemPath" = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%"class.std::vector.260" = type { %"struct.std::_Vector_base.261" }
%"struct.std::_Vector_base.261" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.std::pair.268" = type { %class.RcString, %"struct.HIR::TraitPath::AtyEqual" }
%"struct.HIR::TraitPath::AtyEqual" = type { %"class.HIR::GenericPath", %"class.HIR::TypeRef" }
%"struct.std::pair.265" = type <{ %"struct.std::_Rb_tree_iterator.267", i8, [7 x i8] }>
%"struct.std::_Rb_tree_iterator.267" = type { ptr }
%struct.Span = type { ptr }
%"class.std::function" = type { %"class.std::_Function_base", ptr }
%"class.std::_Function_base" = type { %"union.std::_Any_data", ptr }
%"union.std::_Any_data" = type { %"union.std::_Nocopy_types" }
%"union.std::_Nocopy_types" = type { { i64, i64 } }
%class.anon.270 = type { ptr }
%"struct.std::pair.271" = type <{ %"struct.std::_Rb_tree_iterator", i8, [7 x i8] }>
%"struct.std::_Rb_tree_iterator" = type { ptr }
%"struct.std::pair.274" = type { %class.RcString, %"struct.HIR::TraitPath::AtyBound" }
%"struct.HIR::TraitPath::AtyBound" = type { %"class.HIR::GenericPath", %"class.std::vector.126" }
%"class.std::vector.126" = type { %"struct.std::_Vector_base.127" }
%"struct.std::_Vector_base.127" = 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.AST::HigherRankedBounds" = type { %"class.std::vector.51" }
%"class.std::vector.51" = type { %"struct.std::_Vector_base.52" }
%"struct.std::_Vector_base.52" = type { %"struct.std::_Vector_base<AST::LifetimeParam, std::allocator<AST::LifetimeParam>>::_Vector_impl" }
%"struct.std::_Vector_base<AST::LifetimeParam, std::allocator<AST::LifetimeParam>>::_Vector_impl" = type { %"struct.std::_Vector_base<AST::LifetimeParam, std::allocator<AST::LifetimeParam>>::_Vector_impl_data" }
%"struct.std::_Vector_base<AST::LifetimeParam, std::allocator<AST::LifetimeParam>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.AST::PathParams" = type <{ %"class.std::vector.226", i8, [7 x i8] }>
%"class.std::vector.226" = type { %"struct.std::_Vector_base.227" }
%"struct.std::_Vector_base.227" = type { %"struct.std::_Vector_base<AST::PathParamEnt, std::allocator<AST::PathParamEnt>>::_Vector_impl" }
%"struct.std::_Vector_base<AST::PathParamEnt, std::allocator<AST::PathParamEnt>>::_Vector_impl" = type { %"struct.std::_Vector_base<AST::PathParamEnt, std::allocator<AST::PathParamEnt>>::_Vector_impl_data" }
%"struct.std::_Vector_base<AST::PathParamEnt, std::allocator<AST::PathParamEnt>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.AST::Path" = type { ptr, %"class.AST::Path::Class", %"struct.AST::Path::Bindings" }
%"class.AST::Path::Class" = type { i32, %"union.AST::Path::Class::DataUnion" }
%"union.AST::Path::Class::DataUnion" = type { %"struct.AST::Path::Class::Data_UFCS" }
%"struct.AST::Path::Class::Data_UFCS" = type { %"class.std::unique_ptr.59", %"class.std::unique_ptr.75", %"class.std::vector.99" }
%"class.std::unique_ptr.59" = type { %"struct.std::__uniq_ptr_data.60" }
%"struct.std::__uniq_ptr_data.60" = type { %"class.std::__uniq_ptr_impl.61" }
%"class.std::__uniq_ptr_impl.61" = type { %"class.std::tuple.62" }
%"class.std::tuple.62" = type { %"struct.std::_Tuple_impl.63" }
%"struct.std::_Tuple_impl.63" = type { %"struct.std::_Head_base.66" }
%"struct.std::_Head_base.66" = type { ptr }
%"class.std::unique_ptr.75" = type { %"struct.std::__uniq_ptr_data.76" }
%"struct.std::__uniq_ptr_data.76" = type { %"class.std::__uniq_ptr_impl.77" }
%"class.std::__uniq_ptr_impl.77" = type { %"class.std::tuple.78" }
%"class.std::tuple.78" = type { %"struct.std::_Tuple_impl.79" }
%"struct.std::_Tuple_impl.79" = type { %"struct.std::_Head_base.82" }
%"struct.std::_Head_base.82" = type { ptr }
%"class.std::vector.99" = type { %"struct.std::_Vector_base.100" }
%"struct.std::_Vector_base.100" = type { %"struct.std::_Vector_base<AST::PathNode, std::allocator<AST::PathNode>>::_Vector_impl" }
%"struct.std::_Vector_base<AST::PathNode, std::allocator<AST::PathNode>>::_Vector_impl" = type { %"struct.std::_Vector_base<AST::PathNode, std::allocator<AST::PathNode>>::_Vector_impl_data" }
%"struct.std::_Vector_base<AST::PathNode, std::allocator<AST::PathNode>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.AST::Path::Bindings" = type { %"struct.AST::PathBinding", %"struct.AST::PathBinding.104", %"struct.AST::PathBinding.105" }
%"struct.AST::PathBinding" = type { %"struct.AST::AbsolutePath", %"class.AST::PathBinding_Value" }
%"struct.AST::AbsolutePath" = type { %class.RcString, %"class.std::vector" }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<RcString, std::allocator<RcString>>::_Vector_impl" }
%"struct.std::_Vector_base<RcString, std::allocator<RcString>>::_Vector_impl" = type { %"struct.std::_Vector_base<RcString, std::allocator<RcString>>::_Vector_impl_data" }
%"struct.std::_Vector_base<RcString, std::allocator<RcString>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.AST::PathBinding_Value" = type { i32, %"union.AST::PathBinding_Value::DataUnion" }
%"union.AST::PathBinding_Value::DataUnion" = type { %"struct.AST::PathBinding_Value::Data_EnumVar" }
%"struct.AST::PathBinding_Value::Data_EnumVar" = type { ptr, i32, ptr }
%"struct.AST::PathBinding.104" = type { %"struct.AST::AbsolutePath", %"class.AST::PathBinding_Type" }
%"class.AST::PathBinding_Type" = type { i32, %"union.AST::PathBinding_Type::DataUnion" }
%"union.AST::PathBinding_Type::DataUnion" = type { %"struct.AST::PathBinding_Type::Data_Module" }
%"struct.AST::PathBinding_Type::Data_Module" = type { ptr, %"struct.AST::PathBinding_Type::(anonymous struct)::Hir" }
%"struct.AST::PathBinding_Type::(anonymous struct)::Hir" = type { ptr, ptr }
%"struct.AST::PathBinding.105" = type { %"struct.AST::AbsolutePath", %"class.AST::PathBinding_Macro" }
%"class.AST::PathBinding_Macro" = type { i32, %"union.AST::PathBinding_Macro::DataUnion" }
%"union.AST::PathBinding_Macro::DataUnion" = type { %"struct.AST::PathBinding_Macro::Data_ProcMacroDerive" }
%"struct.AST::PathBinding_Macro::Data_ProcMacroDerive" = type { ptr, %class.RcString }
%"struct.std::pair.239" = type { %class.RcString, %class.TypeRef }
%class.TypeRef = type { %struct.Span, %class.TypeData }
%class.TypeData = type { i32, %"union.TypeData::DataUnion" }
%"union.TypeData::DataUnion" = type { %"struct.TypeData::Data_ErasedType", [32 x i8] }
%"struct.TypeData::Data_ErasedType" = type { %"class.std::vector.83", %"class.std::vector.83", %"class.std::vector.88" }
%"class.std::vector.83" = type { %"struct.std::_Vector_base.84" }
%"struct.std::_Vector_base.84" = type { %"struct.std::_Vector_base<Type_TraitPath, std::allocator<Type_TraitPath>>::_Vector_impl" }
%"struct.std::_Vector_base<Type_TraitPath, std::allocator<Type_TraitPath>>::_Vector_impl" = type { %"struct.std::_Vector_base<Type_TraitPath, std::allocator<Type_TraitPath>>::_Vector_impl_data" }
%"struct.std::_Vector_base<Type_TraitPath, std::allocator<Type_TraitPath>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.88" = type { %"struct.std::_Vector_base.89" }
%"struct.std::_Vector_base.89" = type { %"struct.std::_Vector_base<AST::LifetimeRef, std::allocator<AST::LifetimeRef>>::_Vector_impl" }
%"struct.std::_Vector_base<AST::LifetimeRef, std::allocator<AST::LifetimeRef>>::_Vector_impl" = type { %"struct.std::_Vector_base<AST::LifetimeRef, std::allocator<AST::LifetimeRef>>::_Vector_impl_data" }
%"struct.std::_Vector_base<AST::LifetimeRef, std::allocator<AST::LifetimeRef>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.std::pair.241" = type { %class.RcString, %"class.AST::Path" }
%"struct.std::pair" = type { %class.RcString, %"struct.HIR::TraitPath::AtyBound" }

@.str.5 = external hidden unnamed_addr constant [75 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [39 x i8], align 1
@_ZTISt13runtime_error = external constant ptr
@.str.12 = external hidden unnamed_addr constant [24 x i8], align 1
@g_debug_indent_level = external global i32, align 4
@__FUNCTION__._Z18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEb = external hidden unnamed_addr constant [19 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [8 x i8], align 1
@__PRETTY_FUNCTION__._Z18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEb = external hidden unnamed_addr constant [110 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [6 x i8], align 1

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

; 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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_Z13LowerHIR_TypeRK7TypeRef(ptr dead_on_unwind noalias writable sret(%"class.HIR::TypeRef") align 8, ptr noundef nonnull align 8 dereferenceable(120)) #3

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

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

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

declare ptr @__cxa_allocate_exception(i64)

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

declare void @__cxa_free_exception(ptr)

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

declare void @__cxa_throw(ptr, ptr, ptr)

; Function Attrs: mustprogress uwtable
define dso_local void @_Z18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEb(ptr dead_on_unwind noalias writable sret(%"class.HIR::TraitPath") align 8 %0, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(240) %2, ptr noundef nonnull align 8 dereferenceable(24) %3, i1 noundef zeroext %4) #3 personality ptr @__gxx_personality_v0 {
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca i8, align 1
  %11 = alloca i1, align 1
  %12 = alloca %"class.HIR::GenericParams", align 8
  %13 = alloca i1, align 1
  %14 = alloca i1, align 1
  %15 = alloca ptr, align 8
  %16 = alloca i32, align 4
  %17 = alloca %"class.HIR::GenericParams", align 8
  %18 = alloca %"class.std::unique_ptr.106", align 8
  %19 = alloca %"struct.HIR::LifetimeDef", align 8
  %20 = alloca %"struct.HIR::GenericParams::PrintArgs", align 8
  %21 = alloca ptr, align 8
  %22 = alloca %"class.__gnu_cxx::__normal_iterator.238", align 8
  %23 = alloca %"class.__gnu_cxx::__normal_iterator.238", align 8
  %24 = alloca i32, align 4
  %25 = alloca ptr, align 8
  %26 = alloca i8, align 1
  %27 = alloca ptr, align 8
  %28 = alloca i8, align 1
  %29 = alloca ptr, align 8
  %30 = alloca i8, align 1
  %31 = alloca ptr, align 8
  %32 = alloca i8, align 1
  %33 = alloca ptr, align 8
  %34 = alloca i8, align 1
  %35 = alloca ptr, align 8
  %36 = alloca i8, align 1
  %37 = alloca ptr, align 8
  %38 = alloca %"class.HIR::GenericPath", align 8
  %39 = alloca %class.MonomorphiserNop, align 8
  %40 = alloca %"struct.std::pair.268", align 8
  %41 = alloca %"struct.HIR::TraitPath::AtyEqual", align 8
  %42 = alloca %"struct.std::pair.265", align 8
  %43 = alloca i8, align 1
  %44 = alloca ptr, align 8
  %45 = alloca %struct.Span, align 8
  %46 = alloca %"class.std::function", align 8
  %47 = alloca %class.anon.270, align 8
  %48 = alloca %"class.HIR::GenericPath", align 8
  %49 = alloca %class.MonomorphiserNop, align 8
  %50 = alloca %"struct.std::pair.271", align 8
  %51 = alloca %"struct.std::pair.274", align 8
  %52 = alloca %"struct.HIR::TraitPath::AtyBound", align 8
  %53 = alloca { ptr, i8 }, align 8
  %54 = alloca %"class.HIR::TraitPath", align 8
  %55 = alloca %"class.AST::HigherRankedBounds", align 8
  store ptr %0, ptr %6, align 8
  store ptr %1, ptr %7, align 8, !tbaa !5
  store ptr %2, ptr %8, align 8, !tbaa !5
  store ptr %3, ptr %9, align 8, !tbaa !5
  %56 = zext i1 %4 to i8
  store i8 %56, ptr %10, align 1, !tbaa !9
  br label %57

57:                                               ; preds = %5
  %58 = call noundef zeroext i1 @_Z13debug_enabledv()
  br i1 %58, label %59, label %69

59:                                               ; preds = %57
  %60 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !11
  %61 = call noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %60, ptr noundef @__FUNCTION__._Z18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEb)
  %62 = load ptr, ptr %9, align 8, !tbaa !5
  %63 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3ASTlsERSoRKNS_18HigherRankedBoundsE(ptr noundef nonnull align 8 dereferenceable(8) %61, ptr noundef nonnull align 8 dereferenceable(24) %62)
  %64 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %63, ptr noundef @.str.17)
  %65 = load ptr, ptr %8, align 8, !tbaa !5
  %66 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3ASTlsERSoRKNS_4PathE(ptr noundef nonnull align 8 dereferenceable(8) %64, ptr noundef nonnull align 8 dereferenceable(240) %65)
  %67 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %66, ptr noundef @_ZSt3decRSt8ios_base)
  %68 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %67, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  br label %69

69:                                               ; preds = %59, %57
  br label %70

70:                                               ; preds = %69
  store i1 false, ptr %11, align 1
  %71 = getelementptr inbounds %"class.HIR::TraitPath", ptr %0, i32 0, i32 0
  %72 = load ptr, ptr %9, align 8, !tbaa !5
  %73 = call noundef zeroext i1 @_ZNK3AST18HigherRankedBounds5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %72)
  store i1 false, ptr %13, align 1
  store i1 false, ptr %14, align 1
  br i1 %73, label %74, label %75

74:                                               ; preds = %70
  call void @_ZNSt10unique_ptrIN3HIR13GenericParamsESt14default_deleteIS1_EEC2IS3_vEEDn(ptr noundef nonnull align 8 dereferenceable(8) %71, ptr null) #10
  br label %78

75:                                               ; preds = %70
  call void @llvm.lifetime.start.p0(i64 96, ptr %12) #10
  store i1 true, ptr %13, align 1
  %76 = load ptr, ptr %9, align 8, !tbaa !5
  call void @_Z27LowerHIR_HigherRankedBoundsRKN3AST18HigherRankedBoundsE(ptr dead_on_unwind writable sret(%"class.HIR::GenericParams") align 8 %12, ptr noundef nonnull align 8 dereferenceable(24) %76)
  store i1 true, ptr %14, align 1
  invoke void @_Z15make_unique_ptrIN3HIR13GenericParamsEESt10unique_ptrIT_St14default_deleteIS3_EEOS3_(ptr dead_on_unwind writable sret(%"class.std::unique_ptr.106") align 8 %71, ptr noundef nonnull align 8 dereferenceable(96) %12)
          to label %77 unwind label %108

77:                                               ; preds = %75
  br label %78

78:                                               ; preds = %77, %74
  %79 = getelementptr inbounds %"class.HIR::TraitPath", ptr %0, i32 0, i32 1
  %80 = load ptr, ptr %7, align 8, !tbaa !5
  %81 = load ptr, ptr %8, align 8, !tbaa !5
  invoke void @_Z20LowerHIR_GenericPathRK4SpanRKN3AST4PathE17FromAST_PathClassb(ptr dead_on_unwind writable sret(%"class.HIR::GenericPath") align 8 %79, ptr noundef nonnull align 8 dereferenceable(8) %80, ptr noundef nonnull align 8 dereferenceable(240) %81, i32 noundef 0, i1 noundef zeroext true)
          to label %82 unwind label %112

82:                                               ; preds = %78
  %83 = getelementptr inbounds %"class.HIR::TraitPath", ptr %0, i32 0, i32 2
  call void @llvm.memset.p0.i64(ptr align 8 %83, i8 0, i64 48, i1 false)
  call void @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEEC2Ev(ptr noundef nonnull align 8 dereferenceable(48) %83) #10
  %84 = getelementptr inbounds %"class.HIR::TraitPath", ptr %0, i32 0, i32 3
  call void @llvm.memset.p0.i64(ptr align 8 %84, i8 0, i64 48, i1 false)
  call void @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyBoundESt4lessIS0_ESaISt4pairIKS0_S3_EEEC2Ev(ptr noundef nonnull align 8 dereferenceable(48) %84) #10
  %85 = getelementptr inbounds %"class.HIR::TraitPath", ptr %0, i32 0, i32 4
  store ptr null, ptr %85, align 8, !tbaa !13
  %86 = load i1, ptr %14, align 1
  br i1 %86, label %87, label %88

87:                                               ; preds = %82
  call void @_ZN3HIR13GenericParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %12) #10
  br label %88

88:                                               ; preds = %87, %82
  %89 = load i1, ptr %13, align 1
  br i1 %89, label %90, label %91

90:                                               ; preds = %88
  call void @llvm.lifetime.end.p0(i64 96, ptr %12) #10
  br label %91

91:                                               ; preds = %90, %88
  %92 = getelementptr inbounds %"class.HIR::TraitPath", ptr %0, i32 0, i32 0
  %93 = call noundef zeroext i1 @_ZNKSt10unique_ptrIN3HIR13GenericParamsESt14default_deleteIS1_EEcvbEv(ptr noundef nonnull align 8 dereferenceable(8) %92) #10
  br i1 %93, label %131, label %94

94:                                               ; preds = %91
  %95 = load ptr, ptr %8, align 8, !tbaa !5
  %96 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3AST4Path5nodesEv(ptr noundef nonnull align 8 dereferenceable(240) %95)
          to label %97 unwind label %123

97:                                               ; preds = %94
  %98 = call noundef nonnull align 8 dereferenceable(40) ptr @_ZNKSt6vectorIN3AST8PathNodeESaIS1_EE4backEv(ptr noundef nonnull align 8 dereferenceable(24) %96) #10
  %99 = invoke noundef nonnull align 8 dereferenceable(25) ptr @_ZNK3AST8PathNode4argsEv(ptr noundef nonnull align 8 dereferenceable(40) %98)
          to label %100 unwind label %123

100:                                              ; preds = %97
  %101 = getelementptr inbounds %"struct.AST::PathParams", ptr %99, i32 0, i32 1
  %102 = load i8, ptr %101, align 8, !tbaa !40, !range !46, !noundef !47
  %103 = trunc i8 %102 to i1
  br i1 %103, label %104, label %131

104:                                              ; preds = %100
  call void @llvm.lifetime.start.p0(i64 96, ptr %17) #10
  call void @_ZN3HIR13GenericParamsC2Ev(ptr noundef nonnull align 8 dereferenceable(96) %17) #10
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #10
  invoke void @_Z15make_unique_ptrIN3HIR13GenericParamsEESt10unique_ptrIT_St14default_deleteIS3_EEOS3_(ptr dead_on_unwind writable sret(%"class.std::unique_ptr.106") align 8 %18, ptr noundef nonnull align 8 dereferenceable(96) %17)
          to label %105 unwind label %127

105:                                              ; preds = %104
  %106 = getelementptr inbounds %"class.HIR::TraitPath", ptr %0, i32 0, i32 0
  %107 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt10unique_ptrIN3HIR13GenericParamsESt14default_deleteIS1_EEaSEOS4_(ptr noundef nonnull align 8 dereferenceable(8) %106, ptr noundef nonnull align 8 dereferenceable(8) %18) #10
  call void @_ZNSt10unique_ptrIN3HIR13GenericParamsESt14default_deleteIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %18) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #10
  call void @_ZN3HIR13GenericParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %17) #10
  call void @llvm.lifetime.end.p0(i64 96, ptr %17) #10
  br label %131

108:                                              ; preds = %75
  %109 = landingpad { ptr, i32 }
          cleanup
  %110 = extractvalue { ptr, i32 } %109, 0
  store ptr %110, ptr %15, align 8
  %111 = extractvalue { ptr, i32 } %109, 1
  store i32 %111, ptr %16, align 4
  br label %116

112:                                              ; preds = %78
  %113 = landingpad { ptr, i32 }
          cleanup
  %114 = extractvalue { ptr, i32 } %113, 0
  store ptr %114, ptr %15, align 8
  %115 = extractvalue { ptr, i32 } %113, 1
  store i32 %115, ptr %16, align 4
  call void @_ZNSt10unique_ptrIN3HIR13GenericParamsESt14default_deleteIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %71) #10
  br label %116

116:                                              ; preds = %112, %108
  %117 = load i1, ptr %14, align 1
  br i1 %117, label %118, label %119

118:                                              ; preds = %116
  call void @_ZN3HIR13GenericParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %12) #10
  br label %119

119:                                              ; preds = %118, %116
  %120 = load i1, ptr %13, align 1
  br i1 %120, label %121, label %122

121:                                              ; preds = %119
  call void @llvm.lifetime.end.p0(i64 96, ptr %12) #10
  br label %122

122:                                              ; preds = %121, %119
  br label %619

123:                                              ; preds = %202, %200, %198, %195, %192, %170, %167, %164, %137, %134, %97, %94
  %124 = landingpad { ptr, i32 }
          cleanup
  %125 = extractvalue { ptr, i32 } %124, 0
  store ptr %125, ptr %15, align 8
  %126 = extractvalue { ptr, i32 } %124, 1
  store i32 %126, ptr %16, align 4
  br label %618

127:                                              ; preds = %104
  %128 = landingpad { ptr, i32 }
          cleanup
  %129 = extractvalue { ptr, i32 } %128, 0
  store ptr %129, ptr %15, align 8
  %130 = extractvalue { ptr, i32 } %128, 1
  store i32 %130, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #10
  call void @_ZN3HIR13GenericParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %17) #10
  call void @llvm.lifetime.end.p0(i64 96, ptr %17) #10
  br label %618

131:                                              ; preds = %105, %100, %91
  %132 = getelementptr inbounds %"class.HIR::TraitPath", ptr %0, i32 0, i32 0
  %133 = call noundef zeroext i1 @_ZNKSt10unique_ptrIN3HIR13GenericParamsESt14default_deleteIS1_EEcvbEv(ptr noundef nonnull align 8 dereferenceable(8) %132) #10
  br i1 %133, label %134, label %160

134:                                              ; preds = %131
  %135 = load ptr, ptr %8, align 8, !tbaa !5
  %136 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3AST4Path5nodesEv(ptr noundef nonnull align 8 dereferenceable(240) %135)
          to label %137 unwind label %123

137:                                              ; preds = %134
  %138 = call noundef nonnull align 8 dereferenceable(40) ptr @_ZNKSt6vectorIN3AST8PathNodeESaIS1_EE4backEv(ptr noundef nonnull align 8 dereferenceable(24) %136) #10
  %139 = invoke noundef nonnull align 8 dereferenceable(25) ptr @_ZNK3AST8PathNode4argsEv(ptr noundef nonnull align 8 dereferenceable(40) %138)
          to label %140 unwind label %123

140:                                              ; preds = %137
  %141 = getelementptr inbounds %"struct.AST::PathParams", ptr %139, i32 0, i32 1
  %142 = load i8, ptr %141, align 8, !tbaa !40, !range !46, !noundef !47
  %143 = trunc i8 %142 to i1
  br i1 %143, label %144, label %160

144:                                              ; preds = %140
  %145 = getelementptr inbounds %"class.HIR::TraitPath", ptr %0, i32 0, i32 0
  %146 = call noundef ptr @_ZNKSt10unique_ptrIN3HIR13GenericParamsESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %145) #10
  %147 = getelementptr inbounds %"class.HIR::GenericParams", ptr %146, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #10
  %148 = getelementptr inbounds %"struct.HIR::LifetimeDef", ptr %19, i32 0, i32 0
  invoke void @_ZN8RcStringC2EPKc(ptr noundef nonnull align 8 dereferenceable(8) %148, ptr noundef @.str.18)
          to label %149 unwind label %151

149:                                              ; preds = %144
  invoke void @_ZNSt6vectorIN3HIR11LifetimeDefESaIS1_EE9push_backEOS1_(ptr noundef nonnull align 8 dereferenceable(24) %147, ptr noundef nonnull align 8 dereferenceable(8) %19)
          to label %150 unwind label %155

150:                                              ; preds = %149
  call void @_ZN3HIR11LifetimeDefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %19) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #10
  br label %160

151:                                              ; preds = %144
  %152 = landingpad { ptr, i32 }
          cleanup
  %153 = extractvalue { ptr, i32 } %152, 0
  store ptr %153, ptr %15, align 8
  %154 = extractvalue { ptr, i32 } %152, 1
  store i32 %154, ptr %16, align 4
  br label %159

155:                                              ; preds = %149
  %156 = landingpad { ptr, i32 }
          cleanup
  %157 = extractvalue { ptr, i32 } %156, 0
  store ptr %157, ptr %15, align 8
  %158 = extractvalue { ptr, i32 } %156, 1
  store i32 %158, ptr %16, align 4
  call void @_ZN3HIR11LifetimeDefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %19) #10
  br label %159

159:                                              ; preds = %155, %151
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #10
  br label %618

160:                                              ; preds = %150, %140, %131
  %161 = getelementptr inbounds %"class.HIR::TraitPath", ptr %0, i32 0, i32 0
  %162 = call noundef zeroext i1 @_ZNKSt10unique_ptrIN3HIR13GenericParamsESt14default_deleteIS1_EEcvbEv(ptr noundef nonnull align 8 dereferenceable(8) %161) #10
  br i1 %162, label %163, label %191

163:                                              ; preds = %160
  br label %164

164:                                              ; preds = %163
  %165 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %166 unwind label %123

166:                                              ; preds = %164
  br i1 %165, label %167, label %188

167:                                              ; preds = %166
  %168 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !11
  %169 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %168, ptr noundef @__FUNCTION__._Z18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEb)
          to label %170 unwind label %123

170:                                              ; preds = %167
  %171 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %169, ptr noundef @.str.19)
          to label %172 unwind label %123

172:                                              ; preds = %170
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #10
  %173 = getelementptr inbounds %"class.HIR::TraitPath", ptr %0, i32 0, i32 0
  %174 = call noundef ptr @_ZNKSt10unique_ptrIN3HIR13GenericParamsESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %173) #10
  %175 = invoke ptr @_ZNK3HIR13GenericParams8fmt_argsEv(ptr noundef nonnull align 8 dereferenceable(96) %174)
          to label %176 unwind label %184

176:                                              ; preds = %172
  %177 = getelementptr inbounds %"struct.HIR::GenericParams::PrintArgs", ptr %20, i32 0, i32 0
  store ptr %175, ptr %177, align 8
  %178 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_13GenericParams9PrintArgsE(ptr noundef nonnull align 8 dereferenceable(8) %171, ptr noundef nonnull align 8 dereferenceable(8) %20)
          to label %179 unwind label %184

179:                                              ; preds = %176
  %180 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %178, ptr noundef @_ZSt3decRSt8ios_base)
          to label %181 unwind label %184

181:                                              ; preds = %179
  %182 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %180, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %183 unwind label %184

183:                                              ; preds = %181
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #10
  br label %188

184:                                              ; preds = %181, %179, %176, %172
  %185 = landingpad { ptr, i32 }
          cleanup
  %186 = extractvalue { ptr, i32 } %185, 0
  store ptr %186, ptr %15, align 8
  %187 = extractvalue { ptr, i32 } %185, 1
  store i32 %187, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #10
  br label %618

188:                                              ; preds = %183, %166
  br label %189

189:                                              ; preds = %188
  br label %190

190:                                              ; preds = %189
  br label %208

191:                                              ; preds = %160
  br label %192

192:                                              ; preds = %191
  %193 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %194 unwind label %123

194:                                              ; preds = %192
  br i1 %193, label %195, label %205

195:                                              ; preds = %194
  %196 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !11
  %197 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %196, ptr noundef @__FUNCTION__._Z18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEb)
          to label %198 unwind label %123

198:                                              ; preds = %195
  %199 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %197, ptr noundef @.str.20)
          to label %200 unwind label %123

200:                                              ; preds = %198
  %201 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %199, ptr noundef @_ZSt3decRSt8ios_base)
          to label %202 unwind label %123

202:                                              ; preds = %200
  %203 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %201, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %204 unwind label %123

204:                                              ; preds = %202
  br label %205

205:                                              ; preds = %204, %194
  br label %206

206:                                              ; preds = %205
  br label %207

207:                                              ; preds = %206
  br label %208

208:                                              ; preds = %207, %190
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #10
  %209 = load ptr, ptr %8, align 8, !tbaa !5
  %210 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3AST4Path5nodesEv(ptr noundef nonnull align 8 dereferenceable(240) %209)
          to label %211 unwind label %225

211:                                              ; preds = %208
  %212 = call noundef nonnull align 8 dereferenceable(40) ptr @_ZNKSt6vectorIN3AST8PathNodeESaIS1_EE4backEv(ptr noundef nonnull align 8 dereferenceable(24) %210) #10
  %213 = invoke noundef nonnull align 8 dereferenceable(25) ptr @_ZNK3AST8PathNode4argsEv(ptr noundef nonnull align 8 dereferenceable(40) %212)
          to label %214 unwind label %225

214:                                              ; preds = %211
  %215 = getelementptr inbounds %"struct.AST::PathParams", ptr %213, i32 0, i32 0
  store ptr %215, ptr %21, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #10
  %216 = load ptr, ptr %21, align 8, !tbaa !5
  %217 = call ptr @_ZNKSt6vectorIN3AST12PathParamEntESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %216) #10
  %218 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.238", ptr %22, i32 0, i32 0
  store ptr %217, ptr %218, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #10
  %219 = load ptr, ptr %21, align 8, !tbaa !5
  %220 = call ptr @_ZNKSt6vectorIN3AST12PathParamEntESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %219) #10
  %221 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.238", ptr %23, i32 0, i32 0
  store ptr %220, ptr %221, align 8
  br label %222

222:                                              ; preds = %611, %214
  %223 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3AST12PathParamEntESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESD_(ptr noundef nonnull align 8 dereferenceable(8) %22, ptr noundef nonnull align 8 dereferenceable(8) %23) #10
  br i1 %223, label %229, label %224

224:                                              ; preds = %222
  store i32 8, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #10
  br label %614

225:                                              ; preds = %211, %208
  %226 = landingpad { ptr, i32 }
          cleanup
  %227 = extractvalue { ptr, i32 } %226, 0
  store ptr %227, ptr %15, align 8
  %228 = extractvalue { ptr, i32 } %226, 1
  store i32 %228, ptr %16, align 4
  br label %613

229:                                              ; preds = %222
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #10
  %230 = call noundef nonnull align 8 dereferenceable(256) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3AST12PathParamEntESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %22) #10
  store ptr %230, ptr %25, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %26) #10
  store i8 1, ptr %26, align 1, !tbaa !9
  br label %231

231:                                              ; preds = %609, %229
  %232 = load i8, ptr %26, align 1, !tbaa !9, !range !46, !noundef !47
  %233 = trunc i8 %232 to i1
  br i1 %233, label %235, label %234

234:                                              ; preds = %231
  store i32 10, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %26) #10
  br label %610

235:                                              ; preds = %231
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #10
  %236 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %236, ptr %27, align 8, !tbaa !5
  br label %237

237:                                              ; preds = %606, %235
  %238 = load i8, ptr %26, align 1, !tbaa !9, !range !46, !noundef !47
  %239 = trunc i8 %238 to i1
  br i1 %239, label %241, label %240

240:                                              ; preds = %237
  store i32 13, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #10
  br label %608

241:                                              ; preds = %237
  %242 = load ptr, ptr %27, align 8, !tbaa !5
  %243 = invoke noundef i32 @_ZNK3AST12PathParamEnt3tagEv(ptr noundef nonnull align 8 dereferenceable(256) %242)
          to label %244 unwind label %245

244:                                              ; preds = %241
  switch i32 %243, label %605 [
    i32 0, label %249
    i32 1, label %250
    i32 2, label %273
    i32 3, label %296
    i32 4, label %319
    i32 5, label %342
    i32 6, label %455
  ]

245:                                              ; preds = %241
  %246 = landingpad { ptr, i32 }
          cleanup
  %247 = extractvalue { ptr, i32 } %246, 0
  store ptr %247, ptr %15, align 8
  %248 = extractvalue { ptr, i32 } %246, 1
  store i32 %248, ptr %16, align 4
  br label %607

249:                                              ; preds = %244
  call void @__assert_fail(ptr noundef @.str.7, ptr noundef @.str.5, i32 noundef 738, ptr noundef @__PRETTY_FUNCTION__._Z18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEb) #11
  unreachable

250:                                              ; preds = %244
  call void @llvm.lifetime.start.p0(i64 1, ptr %28) #10
  store i8 1, ptr %28, align 1, !tbaa !9
  br label %251

251:                                              ; preds = %271, %250
  %252 = load i8, ptr %28, align 1, !tbaa !9, !range !46, !noundef !47
  %253 = trunc i8 %252 to i1
  br i1 %253, label %255, label %254

254:                                              ; preds = %251
  store i32 17, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %28) #10
  br label %272

255:                                              ; preds = %251
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #10
  %256 = load ptr, ptr %27, align 8, !tbaa !5
  %257 = invoke noundef nonnull align 1 dereferenceable(1) ptr @_ZNK3AST12PathParamEnt7as_NullEv(ptr noundef nonnull align 8 dereferenceable(256) %256)
          to label %258 unwind label %264

258:                                              ; preds = %255
  store ptr %257, ptr %29, align 8, !tbaa !5
  br label %259

259:                                              ; preds = %269, %258
  %260 = load ptr, ptr %29, align 8, !tbaa !5
  %261 = load i8, ptr %28, align 1, !tbaa !9, !range !46, !noundef !47
  %262 = trunc i8 %261 to i1
  br i1 %262, label %268, label %263

263:                                              ; preds = %259
  store i32 20, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #10
  br label %270

264:                                              ; preds = %255
  %265 = landingpad { ptr, i32 }
          cleanup
  %266 = extractvalue { ptr, i32 } %265, 0
  store ptr %266, ptr %15, align 8
  %267 = extractvalue { ptr, i32 } %265, 1
  store i32 %267, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #10
  call void @llvm.lifetime.end.p0(i64 1, ptr %28) #10
  br label %607

268:                                              ; preds = %259
  br label %269

269:                                              ; preds = %268
  store i8 0, ptr %28, align 1, !tbaa !9
  br label %259, !llvm.loop !48

270:                                              ; preds = %263
  br label %271

271:                                              ; preds = %270
  store i8 0, ptr %28, align 1, !tbaa !9
  br label %251, !llvm.loop !50

272:                                              ; preds = %254
  br label %605

273:                                              ; preds = %244
  call void @llvm.lifetime.start.p0(i64 1, ptr %30) #10
  store i8 1, ptr %30, align 1, !tbaa !9
  br label %274

274:                                              ; preds = %294, %273
  %275 = load i8, ptr %30, align 1, !tbaa !9, !range !46, !noundef !47
  %276 = trunc i8 %275 to i1
  br i1 %276, label %278, label %277

277:                                              ; preds = %274
  store i32 23, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %30) #10
  br label %295

278:                                              ; preds = %274
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #10
  %279 = load ptr, ptr %27, align 8, !tbaa !5
  %280 = invoke noundef nonnull align 8 dereferenceable(18) ptr @_ZNK3AST12PathParamEnt11as_LifetimeEv(ptr noundef nonnull align 8 dereferenceable(256) %279)
          to label %281 unwind label %287

281:                                              ; preds = %278
  store ptr %280, ptr %31, align 8, !tbaa !5
  br label %282

282:                                              ; preds = %292, %281
  %283 = load ptr, ptr %31, align 8, !tbaa !5
  %284 = load i8, ptr %30, align 1, !tbaa !9, !range !46, !noundef !47
  %285 = trunc i8 %284 to i1
  br i1 %285, label %291, label %286

286:                                              ; preds = %282
  store i32 26, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #10
  br label %293

287:                                              ; preds = %278
  %288 = landingpad { ptr, i32 }
          cleanup
  %289 = extractvalue { ptr, i32 } %288, 0
  store ptr %289, ptr %15, align 8
  %290 = extractvalue { ptr, i32 } %288, 1
  store i32 %290, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #10
  call void @llvm.lifetime.end.p0(i64 1, ptr %30) #10
  br label %607

291:                                              ; preds = %282
  br label %292

292:                                              ; preds = %291
  store i8 0, ptr %30, align 1, !tbaa !9
  br label %282, !llvm.loop !51

293:                                              ; preds = %286
  br label %294

294:                                              ; preds = %293
  store i8 0, ptr %30, align 1, !tbaa !9
  br label %274, !llvm.loop !52

295:                                              ; preds = %277
  br label %605

296:                                              ; preds = %244
  call void @llvm.lifetime.start.p0(i64 1, ptr %32) #10
  store i8 1, ptr %32, align 1, !tbaa !9
  br label %297

297:                                              ; preds = %317, %296
  %298 = load i8, ptr %32, align 1, !tbaa !9, !range !46, !noundef !47
  %299 = trunc i8 %298 to i1
  br i1 %299, label %301, label %300

300:                                              ; preds = %297
  store i32 29, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %32) #10
  br label %318

301:                                              ; preds = %297
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #10
  %302 = load ptr, ptr %27, align 8, !tbaa !5
  %303 = invoke noundef nonnull align 8 dereferenceable(120) ptr @_ZNK3AST12PathParamEnt7as_TypeEv(ptr noundef nonnull align 8 dereferenceable(256) %302)
          to label %304 unwind label %310

304:                                              ; preds = %301
  store ptr %303, ptr %33, align 8, !tbaa !5
  br label %305

305:                                              ; preds = %315, %304
  %306 = load ptr, ptr %33, align 8, !tbaa !5
  %307 = load i8, ptr %32, align 1, !tbaa !9, !range !46, !noundef !47
  %308 = trunc i8 %307 to i1
  br i1 %308, label %314, label %309

309:                                              ; preds = %305
  store i32 32, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #10
  br label %316

310:                                              ; preds = %301
  %311 = landingpad { ptr, i32 }
          cleanup
  %312 = extractvalue { ptr, i32 } %311, 0
  store ptr %312, ptr %15, align 8
  %313 = extractvalue { ptr, i32 } %311, 1
  store i32 %313, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #10
  call void @llvm.lifetime.end.p0(i64 1, ptr %32) #10
  br label %607

314:                                              ; preds = %305
  br label %315

315:                                              ; preds = %314
  store i8 0, ptr %32, align 1, !tbaa !9
  br label %305, !llvm.loop !53

316:                                              ; preds = %309
  br label %317

317:                                              ; preds = %316
  store i8 0, ptr %32, align 1, !tbaa !9
  br label %297, !llvm.loop !54

318:                                              ; preds = %300
  br label %605

319:                                              ; preds = %244
  call void @llvm.lifetime.start.p0(i64 1, ptr %34) #10
  store i8 1, ptr %34, align 1, !tbaa !9
  br label %320

320:                                              ; preds = %340, %319
  %321 = load i8, ptr %34, align 1, !tbaa !9, !range !46, !noundef !47
  %322 = trunc i8 %321 to i1
  br i1 %322, label %324, label %323

323:                                              ; preds = %320
  store i32 35, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %34) #10
  br label %341

324:                                              ; preds = %320
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #10
  %325 = load ptr, ptr %27, align 8, !tbaa !5
  %326 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3AST12PathParamEnt8as_ValueEv(ptr noundef nonnull align 8 dereferenceable(256) %325)
          to label %327 unwind label %333

327:                                              ; preds = %324
  store ptr %326, ptr %35, align 8, !tbaa !5
  br label %328

328:                                              ; preds = %338, %327
  %329 = load ptr, ptr %35, align 8, !tbaa !5
  %330 = load i8, ptr %34, align 1, !tbaa !9, !range !46, !noundef !47
  %331 = trunc i8 %330 to i1
  br i1 %331, label %337, label %332

332:                                              ; preds = %328
  store i32 38, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #10
  br label %339

333:                                              ; preds = %324
  %334 = landingpad { ptr, i32 }
          cleanup
  %335 = extractvalue { ptr, i32 } %334, 0
  store ptr %335, ptr %15, align 8
  %336 = extractvalue { ptr, i32 } %334, 1
  store i32 %336, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #10
  call void @llvm.lifetime.end.p0(i64 1, ptr %34) #10
  br label %607

337:                                              ; preds = %328
  br label %338

338:                                              ; preds = %337
  store i8 0, ptr %34, align 1, !tbaa !9
  br label %328, !llvm.loop !55

339:                                              ; preds = %332
  br label %340

340:                                              ; preds = %339
  store i8 0, ptr %34, align 1, !tbaa !9
  br label %320, !llvm.loop !56

341:                                              ; preds = %323
  br label %605

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

343:                                              ; preds = %453, %342
  %344 = load i8, ptr %36, align 1, !tbaa !9, !range !46, !noundef !47
  %345 = trunc i8 %344 to i1
  br i1 %345, label %347, label %346

346:                                              ; preds = %343
  store i32 41, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %36) #10
  br label %454

347:                                              ; preds = %343
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #10
  %348 = load ptr, ptr %27, align 8, !tbaa !5
  %349 = invoke noundef nonnull align 8 dereferenceable(128) ptr @_ZNK3AST12PathParamEnt20as_AssociatedTyEqualEv(ptr noundef nonnull align 8 dereferenceable(256) %348)
          to label %350 unwind label %356

350:                                              ; preds = %347
  store ptr %349, ptr %37, align 8, !tbaa !5
  br label %351

351:                                              ; preds = %430, %350
  %352 = load ptr, ptr %37, align 8, !tbaa !5
  %353 = load i8, ptr %36, align 1, !tbaa !9, !range !46, !noundef !47
  %354 = trunc i8 %353 to i1
  br i1 %354, label %360, label %355

355:                                              ; preds = %351
  store i32 44, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #10
  br label %452

356:                                              ; preds = %347
  %357 = landingpad { ptr, i32 }
          cleanup
  %358 = extractvalue { ptr, i32 } %357, 0
  store ptr %358, ptr %15, align 8
  %359 = extractvalue { ptr, i32 } %357, 1
  store i32 %359, ptr %16, align 4
  br label %451

360:                                              ; preds = %351
  call void @llvm.lifetime.start.p0(i64 32, ptr %38) #10
  %361 = load ptr, ptr %7, align 8, !tbaa !5
  %362 = getelementptr inbounds %"class.HIR::TraitPath", ptr %0, i32 0, i32 1
  %363 = load ptr, ptr %8, align 8, !tbaa !5
  %364 = getelementptr inbounds %"class.AST::Path", ptr %363, i32 0, i32 2
  %365 = getelementptr inbounds %"struct.AST::Path::Bindings", ptr %364, i32 0, i32 1
  %366 = getelementptr inbounds %"struct.AST::PathBinding.104", ptr %365, i32 0, i32 1
  %367 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNK3AST16PathBinding_Type8as_TraitEv(ptr noundef nonnull align 8 dereferenceable(32) %366)
          to label %368 unwind label %394

368:                                              ; preds = %360
  %369 = load ptr, ptr %37, align 8, !tbaa !5
  %370 = getelementptr inbounds %"struct.std::pair.239", ptr %369, i32 0, i32 0
  call void @llvm.lifetime.start.p0(i64 96, ptr %39) #10
  call void @llvm.memset.p0.i64(ptr align 8 %39, i8 0, i64 96, i1 false)
  invoke void @_ZN16MonomorphiserNopC2Ev(ptr noundef nonnull align 8 dereferenceable(96) %39)
          to label %371 unwind label %398

371:                                              ; preds = %368
  invoke void @_ZZ18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEbEN1H17find_source_traitES1_RKN3HIR11GenericPathERKNS2_16PathBinding_Type10Data_TraitERK8RcStringRK13Monomorphiser(ptr dead_on_unwind writable sret(%"class.HIR::GenericPath") align 8 %38, ptr noundef nonnull align 8 dereferenceable(8) %361, ptr noundef nonnull align 8 dereferenceable(32) %362, ptr noundef nonnull align 8 dereferenceable(16) %367, ptr noundef nonnull align 8 dereferenceable(8) %370, ptr noundef nonnull align 8 dereferenceable(96) %39)
          to label %372 unwind label %402

372:                                              ; preds = %371
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %39) #10
  call void @llvm.lifetime.end.p0(i64 96, ptr %39) #10
  br label %373

373:                                              ; preds = %372
  %374 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %375 unwind label %407

375:                                              ; preds = %373
  br i1 %374, label %376, label %411

376:                                              ; preds = %375
  %377 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !11
  %378 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %377, ptr noundef @__FUNCTION__._Z18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEb)
          to label %379 unwind label %407

379:                                              ; preds = %376
  %380 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %378, ptr noundef @.str.21)
          to label %381 unwind label %407

381:                                              ; preds = %379
  %382 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_11GenericPathE(ptr noundef nonnull align 8 dereferenceable(8) %380, ptr noundef nonnull align 8 dereferenceable(32) %38)
          to label %383 unwind label %407

383:                                              ; preds = %381
  %384 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %382, ptr noundef @.str.22)
          to label %385 unwind label %407

385:                                              ; preds = %383
  %386 = load ptr, ptr %37, align 8, !tbaa !5
  %387 = getelementptr inbounds %"struct.std::pair.239", ptr %386, i32 0, i32 0
  %388 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZlsRSoRK8RcString(ptr noundef nonnull align 8 dereferenceable(8) %384, ptr noundef nonnull align 8 dereferenceable(8) %387)
          to label %389 unwind label %407

389:                                              ; preds = %385
  %390 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %388, ptr noundef @_ZSt3decRSt8ios_base)
          to label %391 unwind label %407

391:                                              ; preds = %389
  %392 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %390, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %393 unwind label %407

393:                                              ; preds = %391
  br label %411

394:                                              ; preds = %360
  %395 = landingpad { ptr, i32 }
          cleanup
  %396 = extractvalue { ptr, i32 } %395, 0
  store ptr %396, ptr %15, align 8
  %397 = extractvalue { ptr, i32 } %395, 1
  store i32 %397, ptr %16, align 4
  br label %450

398:                                              ; preds = %368
  %399 = landingpad { ptr, i32 }
          cleanup
  %400 = extractvalue { ptr, i32 } %399, 0
  store ptr %400, ptr %15, align 8
  %401 = extractvalue { ptr, i32 } %399, 1
  store i32 %401, ptr %16, align 4
  br label %406

402:                                              ; preds = %371
  %403 = landingpad { ptr, i32 }
          cleanup
  %404 = extractvalue { ptr, i32 } %403, 0
  store ptr %404, ptr %15, align 8
  %405 = extractvalue { ptr, i32 } %403, 1
  store i32 %405, ptr %16, align 4
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %39) #10
  br label %406

406:                                              ; preds = %402, %398
  call void @llvm.lifetime.end.p0(i64 96, ptr %39) #10
  br label %450

407:                                              ; preds = %391, %389, %385, %383, %381, %379, %376, %373
  %408 = landingpad { ptr, i32 }
          cleanup
  %409 = extractvalue { ptr, i32 } %408, 0
  store ptr %409, ptr %15, align 8
  %410 = extractvalue { ptr, i32 } %408, 1
  store i32 %410, ptr %16, align 4
  br label %449

411:                                              ; preds = %393, %375
  br label %412

412:                                              ; preds = %411
  br label %413

413:                                              ; preds = %412
  %414 = getelementptr inbounds %"class.HIR::TraitPath", ptr %0, i32 0, i32 2
  call void @llvm.lifetime.start.p0(i64 48, ptr %40) #10
  %415 = load ptr, ptr %37, align 8, !tbaa !5
  %416 = getelementptr inbounds %"struct.std::pair.239", ptr %415, i32 0, i32 0
  call void @llvm.lifetime.start.p0(i64 40, ptr %41) #10
  %417 = getelementptr inbounds %"struct.HIR::TraitPath::AtyEqual", ptr %41, i32 0, i32 0
  invoke void @_ZN3HIR11GenericPathC2EOS0_(ptr noundef nonnull align 8 dereferenceable(32) %417, ptr noundef nonnull align 8 dereferenceable(32) %38)
          to label %418 unwind label %431

418:                                              ; preds = %413
  %419 = getelementptr inbounds %"struct.HIR::TraitPath::AtyEqual", ptr %41, i32 0, i32 1
  %420 = load ptr, ptr %37, align 8, !tbaa !5
  %421 = getelementptr inbounds %"struct.std::pair.239", ptr %420, i32 0, i32 1
  invoke void @_Z13LowerHIR_TypeRK7TypeRef(ptr dead_on_unwind writable sret(%"class.HIR::TypeRef") align 8 %419, ptr noundef nonnull align 8 dereferenceable(120) %421)
          to label %422 unwind label %435

422:                                              ; preds = %418
  invoke void @_ZSt9make_pairIRK8RcStringN3HIR9TraitPath8AtyEqualEESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS7_INS8_IT0_E4typeEE6__typeEEOS9_OSE_(ptr dead_on_unwind writable sret(%"struct.std::pair.268") align 8 %40, ptr noundef nonnull align 8 dereferenceable(8) %416, ptr noundef nonnull align 8 dereferenceable(40) %41)
          to label %423 unwind label %439

423:                                              ; preds = %422
  %424 = invoke { ptr, i8 } @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEE6insertIS6_IS0_S3_EEENSt9enable_ifIXsr16is_constructibleIS8_T_EE5valueES6_ISt17_Rb_tree_iteratorIS8_EbEE4typeEOSE_(ptr noundef nonnull align 8 dereferenceable(48) %414, ptr noundef nonnull align 8 dereferenceable(48) %40)
          to label %425 unwind label %443

425:                                              ; preds = %423
  %426 = getelementptr inbounds { ptr, i8 }, ptr %42, i32 0, i32 0
  %427 = extractvalue { ptr, i8 } %424, 0
  store ptr %427, ptr %426, align 8
  %428 = getelementptr inbounds { ptr, i8 }, ptr %42, i32 0, i32 1
  %429 = extractvalue { ptr, i8 } %424, 1
  store i8 %429, ptr %428, align 8
  call void @_ZNSt4pairI8RcStringN3HIR9TraitPath8AtyEqualEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %40) #10
  call void @_ZN3HIR9TraitPath8AtyEqualD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %41) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr %41) #10
  call void @llvm.lifetime.end.p0(i64 48, ptr %40) #10
  call void @_ZN3HIR11GenericPathD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %38) #10
  call void @llvm.lifetime.end.p0(i64 32, ptr %38) #10
  br label %430

430:                                              ; preds = %425
  store i8 0, ptr %36, align 1, !tbaa !9
  br label %351, !llvm.loop !57

431:                                              ; preds = %413
  %432 = landingpad { ptr, i32 }
          cleanup
  %433 = extractvalue { ptr, i32 } %432, 0
  store ptr %433, ptr %15, align 8
  %434 = extractvalue { ptr, i32 } %432, 1
  store i32 %434, ptr %16, align 4
  br label %448

435:                                              ; preds = %418
  %436 = landingpad { ptr, i32 }
          cleanup
  %437 = extractvalue { ptr, i32 } %436, 0
  store ptr %437, ptr %15, align 8
  %438 = extractvalue { ptr, i32 } %436, 1
  store i32 %438, ptr %16, align 4
  call void @_ZN3HIR11GenericPathD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %417) #10
  br label %448

439:                                              ; preds = %422
  %440 = landingpad { ptr, i32 }
          cleanup
  %441 = extractvalue { ptr, i32 } %440, 0
  store ptr %441, ptr %15, align 8
  %442 = extractvalue { ptr, i32 } %440, 1
  store i32 %442, ptr %16, align 4
  br label %447

443:                                              ; preds = %423
  %444 = landingpad { ptr, i32 }
          cleanup
  %445 = extractvalue { ptr, i32 } %444, 0
  store ptr %445, ptr %15, align 8
  %446 = extractvalue { ptr, i32 } %444, 1
  store i32 %446, ptr %16, align 4
  call void @_ZNSt4pairI8RcStringN3HIR9TraitPath8AtyEqualEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %40) #10
  br label %447

447:                                              ; preds = %443, %439
  call void @_ZN3HIR9TraitPath8AtyEqualD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %41) #10
  br label %448

448:                                              ; preds = %447, %435, %431
  call void @llvm.lifetime.end.p0(i64 40, ptr %41) #10
  call void @llvm.lifetime.end.p0(i64 48, ptr %40) #10
  br label %449

449:                                              ; preds = %448, %407
  call void @_ZN3HIR11GenericPathD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %38) #10
  br label %450

450:                                              ; preds = %449, %406, %394
  call void @llvm.lifetime.end.p0(i64 32, ptr %38) #10
  br label %451

451:                                              ; preds = %450, %356
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #10
  call void @llvm.lifetime.end.p0(i64 1, ptr %36) #10
  br label %607

452:                                              ; preds = %355
  br label %453

453:                                              ; preds = %452
  store i8 0, ptr %36, align 1, !tbaa !9
  br label %343, !llvm.loop !58

454:                                              ; preds = %346
  br label %605

455:                                              ; preds = %244
  call void @llvm.lifetime.start.p0(i64 1, ptr %43) #10
  store i8 1, ptr %43, align 1, !tbaa !9
  br label %456

456:                                              ; preds = %603, %455
  %457 = load i8, ptr %43, align 1, !tbaa !9, !range !46, !noundef !47
  %458 = trunc i8 %457 to i1
  br i1 %458, label %460, label %459

459:                                              ; preds = %456
  store i32 49, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %43) #10
  br label %604

460:                                              ; preds = %456
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #10
  %461 = load ptr, ptr %27, align 8, !tbaa !5
  %462 = invoke noundef nonnull align 8 dereferenceable(248) ptr @_ZNK3AST12PathParamEnt20as_AssociatedTyBoundEv(ptr noundef nonnull align 8 dereferenceable(256) %461)
          to label %463 unwind label %469

463:                                              ; preds = %460
  store ptr %462, ptr %44, align 8, !tbaa !5
  br label %464

464:                                              ; preds = %600, %463
  %465 = load ptr, ptr %44, align 8, !tbaa !5
  %466 = load i8, ptr %43, align 1, !tbaa !9, !range !46, !noundef !47
  %467 = trunc i8 %466 to i1
  br i1 %467, label %473, label %468

468:                                              ; preds = %464
  store i32 52, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #10
  br label %602

469:                                              ; preds = %484, %460
  %470 = landingpad { ptr, i32 }
          cleanup
  %471 = extractvalue { ptr, i32 } %470, 0
  store ptr %471, ptr %15, align 8
  %472 = extractvalue { ptr, i32 } %470, 1
  store i32 %472, ptr %16, align 4
  br label %601

473:                                              ; preds = %464
  %474 = load i8, ptr %10, align 1, !tbaa !9, !range !46, !noundef !47
  %475 = trunc i8 %474 to i1
  br i1 %475, label %500, label %476

476:                                              ; preds = %473
  br label %477

477:                                              ; preds = %476
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #10
  %478 = load ptr, ptr %7, align 8, !tbaa !5
  invoke void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %45, ptr noundef nonnull align 8 dereferenceable(8) %478)
          to label %479 unwind label %485

479:                                              ; preds = %477
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #10
  %480 = getelementptr inbounds %class.anon.270, ptr %47, i32 0, i32 0
  %481 = load ptr, ptr %8, align 8, !tbaa !5
  store ptr %481, ptr %480, align 8, !tbaa !5
  call void @"_ZNSt8functionIFvRSoEEC2IZ18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS7_18HigherRankedBoundsEbE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %46, ptr noundef nonnull align 8 dereferenceable(8) %47) #10
  invoke void @_ZNK4Span5errorE9ErrorTypeSt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %45, i32 noundef 0, ptr noundef %46)
          to label %482 unwind label %489

482:                                              ; preds = %479
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %46) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #10
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %45) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #10
  %483 = call ptr @__cxa_allocate_exception(i64 16) #10
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %483, ptr noundef @.str.12)
          to label %484 unwind label %494

484:                                              ; preds = %482
  invoke void @__cxa_throw(ptr %483, ptr @_ZTISt13runtime_error, ptr @_ZNSt13runtime_errorD1Ev) #12
          to label %624 unwind label %469

485:                                              ; preds = %477
  %486 = landingpad { ptr, i32 }
          cleanup
  %487 = extractvalue { ptr, i32 } %486, 0
  store ptr %487, ptr %15, align 8
  %488 = extractvalue { ptr, i32 } %486, 1
  store i32 %488, ptr %16, align 4
  br label %493

489:                                              ; preds = %479
  %490 = landingpad { ptr, i32 }
          cleanup
  %491 = extractvalue { ptr, i32 } %490, 0
  store ptr %491, ptr %15, align 8
  %492 = extractvalue { ptr, i32 } %490, 1
  store i32 %492, ptr %16, align 4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %46) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #10
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %45) #10
  br label %493

493:                                              ; preds = %489, %485
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #10
  br label %601

494:                                              ; preds = %482
  %495 = landingpad { ptr, i32 }
          cleanup
  %496 = extractvalue { ptr, i32 } %495, 0
  store ptr %496, ptr %15, align 8
  %497 = extractvalue { ptr, i32 } %495, 1
  store i32 %497, ptr %16, align 4
  call void @__cxa_free_exception(ptr %483) #10
  br label %601

498:                                              ; No predecessors!
  br label %499

499:                                              ; preds = %498
  br label %599

500:                                              ; preds = %473
  call void @llvm.lifetime.start.p0(i64 32, ptr %48) #10
  %501 = load ptr, ptr %7, align 8, !tbaa !5
  %502 = getelementptr inbounds %"class.HIR::TraitPath", ptr %0, i32 0, i32 1
  %503 = load ptr, ptr %8, align 8, !tbaa !5
  %504 = getelementptr inbounds %"class.AST::Path", ptr %503, i32 0, i32 2
  %505 = getelementptr inbounds %"struct.AST::Path::Bindings", ptr %504, i32 0, i32 1
  %506 = getelementptr inbounds %"struct.AST::PathBinding.104", ptr %505, i32 0, i32 1
  %507 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNK3AST16PathBinding_Type8as_TraitEv(ptr noundef nonnull align 8 dereferenceable(32) %506)
          to label %508 unwind label %534

508:                                              ; preds = %500
  %509 = load ptr, ptr %44, align 8, !tbaa !5
  %510 = getelementptr inbounds %"struct.std::pair.241", ptr %509, i32 0, i32 0
  call void @llvm.lifetime.start.p0(i64 96, ptr %49) #10
  call void @llvm.memset.p0.i64(ptr align 8 %49, i8 0, i64 96, i1 false)
  invoke void @_ZN16MonomorphiserNopC2Ev(ptr noundef nonnull align 8 dereferenceable(96) %49)
          to label %511 unwind label %538

511:                                              ; preds = %508
  invoke void @_ZZ18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEbEN1H17find_source_traitES1_RKN3HIR11GenericPathERKNS2_16PathBinding_Type10Data_TraitERK8RcStringRK13Monomorphiser(ptr dead_on_unwind writable sret(%"class.HIR::GenericPath") align 8 %48, ptr noundef nonnull align 8 dereferenceable(8) %501, ptr noundef nonnull align 8 dereferenceable(32) %502, ptr noundef nonnull align 8 dereferenceable(16) %507, ptr noundef nonnull align 8 dereferenceable(8) %510, ptr noundef nonnull align 8 dereferenceable(96) %49)
          to label %512 unwind label %542

512:                                              ; preds = %511
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %49) #10
  call void @llvm.lifetime.end.p0(i64 96, ptr %49) #10
  br label %513

513:                                              ; preds = %512
  %514 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %515 unwind label %547

515:                                              ; preds = %513
  br i1 %514, label %516, label %551

516:                                              ; preds = %515
  %517 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !11
  %518 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %517, ptr noundef @__FUNCTION__._Z18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEb)
          to label %519 unwind label %547

519:                                              ; preds = %516
  %520 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %518, ptr noundef @.str.21)
          to label %521 unwind label %547

521:                                              ; preds = %519
  %522 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_11GenericPathE(ptr noundef nonnull align 8 dereferenceable(8) %520, ptr noundef nonnull align 8 dereferenceable(32) %48)
          to label %523 unwind label %547

523:                                              ; preds = %521
  %524 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %522, ptr noundef @.str.22)
          to label %525 unwind label %547

525:                                              ; preds = %523
  %526 = load ptr, ptr %44, align 8, !tbaa !5
  %527 = getelementptr inbounds %"struct.std::pair.241", ptr %526, i32 0, i32 0
  %528 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZlsRSoRK8RcString(ptr noundef nonnull align 8 dereferenceable(8) %524, ptr noundef nonnull align 8 dereferenceable(8) %527)
          to label %529 unwind label %547

529:                                              ; preds = %525
  %530 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %528, ptr noundef @_ZSt3decRSt8ios_base)
          to label %531 unwind label %547

531:                                              ; preds = %529
  %532 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %530, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %533 unwind label %547

533:                                              ; preds = %531
  br label %551

534:                                              ; preds = %500
  %535 = landingpad { ptr, i32 }
          cleanup
  %536 = extractvalue { ptr, i32 } %535, 0
  store ptr %536, ptr %15, align 8
  %537 = extractvalue { ptr, i32 } %535, 1
  store i32 %537, ptr %16, align 4
  br label %598

538:                                              ; preds = %508
  %539 = landingpad { ptr, i32 }
          cleanup
  %540 = extractvalue { ptr, i32 } %539, 0
  store ptr %540, ptr %15, align 8
  %541 = extractvalue { ptr, i32 } %539, 1
  store i32 %541, ptr %16, align 4
  br label %546

542:                                              ; preds = %511
  %543 = landingpad { ptr, i32 }
          cleanup
  %544 = extractvalue { ptr, i32 } %543, 0
  store ptr %544, ptr %15, align 8
  %545 = extractvalue { ptr, i32 } %543, 1
  store i32 %545, ptr %16, align 4
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %49) #10
  br label %546

546:                                              ; preds = %542, %538
  call void @llvm.lifetime.end.p0(i64 96, ptr %49) #10
  br label %598

547:                                              ; preds = %531, %529, %525, %523, %521, %519, %516, %513
  %548 = landingpad { ptr, i32 }
          cleanup
  %549 = extractvalue { ptr, i32 } %548, 0
  store ptr %549, ptr %15, align 8
  %550 = extractvalue { ptr, i32 } %548, 1
  store i32 %550, ptr %16, align 4
  br label %597

551:                                              ; preds = %533, %515
  br label %552

552:                                              ; preds = %551
  br label %553

553:                                              ; preds = %552
  call void @llvm.lifetime.start.p0(i64 16, ptr %50) #10
  %554 = getelementptr inbounds %"class.HIR::TraitPath", ptr %0, i32 0, i32 3
  call void @llvm.lifetime.start.p0(i64 64, ptr %51) #10
  %555 = load ptr, ptr %44, align 8, !tbaa !5
  %556 = getelementptr inbounds %"struct.std::pair.241", ptr %555, i32 0, i32 0
  call void @llvm.lifetime.start.p0(i64 56, ptr %52) #10
  %557 = getelementptr inbounds %"struct.HIR::TraitPath::AtyBound", ptr %52, i32 0, i32 0
  invoke void @_ZN3HIR11GenericPathC2EOS0_(ptr noundef nonnull align 8 dereferenceable(32) %557, ptr noundef nonnull align 8 dereferenceable(32) %48)
          to label %558 unwind label %573

558:                                              ; preds = %553
  %559 = getelementptr inbounds %"struct.HIR::TraitPath::AtyBound", ptr %52, i32 0, i32 1
  call void @llvm.memset.p0.i64(ptr align 8 %559, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorIN3HIR9TraitPathESaIS1_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %559) #10
  invoke void @_ZSt9make_pairIRK8RcStringN3HIR9TraitPath8AtyBoundEESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS7_INS8_IT0_E4typeEE6__typeEEOS9_OSE_(ptr dead_on_unwind writable sret(%"struct.std::pair.274") align 8 %51, ptr noundef nonnull align 8 dereferenceable(8) %556, ptr noundef nonnull align 8 dereferenceable(56) %52)
          to label %560 unwind label %577

560:                                              ; preds = %558
  %561 = invoke { ptr, i8 } @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyBoundESt4lessIS0_ESaISt4pairIKS0_S3_EEE6insertIS6_IS0_S3_EEENSt9enable_ifIXsr16is_constructibleIS8_T_EE5valueES6_ISt17_Rb_tree_iteratorIS8_EbEE4typeEOSE_(ptr noundef nonnull align 8 dereferenceable(48) %554, ptr noundef nonnull align 8 dereferenceable(64) %51)
          to label %562 unwind label %581

562:                                              ; preds = %560
  store { ptr, i8 } %561, ptr %53, align 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %50, ptr align 8 %53, i64 9, i1 false)
  call void @_ZNSt4pairI8RcStringN3HIR9TraitPath8AtyBoundEED2Ev(ptr noundef nonnull align 8 dereferenceable(64) %51) #10
  call void @_ZN3HIR9TraitPath8AtyBoundD2Ev(ptr noundef nonnull align 8 dereferenceable(56) %52) #10
  call void @llvm.lifetime.end.p0(i64 56, ptr %52) #10
  call void @llvm.lifetime.end.p0(i64 64, ptr %51) #10
  %563 = getelementptr inbounds %"struct.std::pair.271", ptr %50, i32 0, i32 0
  %564 = call noundef ptr @_ZNKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitPath8AtyBoundEEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %563) #10
  %565 = getelementptr inbounds %"struct.std::pair", ptr %564, i32 0, i32 1
  %566 = getelementptr inbounds %"struct.HIR::TraitPath::AtyBound", ptr %565, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 144, ptr %54) #10
  %567 = load ptr, ptr %7, align 8, !tbaa !5
  %568 = load ptr, ptr %44, align 8, !tbaa !5
  %569 = getelementptr inbounds %"struct.std::pair.241", ptr %568, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 24, ptr %55) #10
  %570 = getelementptr inbounds %"class.AST::HigherRankedBounds", ptr %55, i32 0, i32 0
  call void @llvm.memset.p0.i64(ptr align 8 %570, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorIN3AST13LifetimeParamESaIS1_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %570) #10
  invoke void @_Z18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEb(ptr dead_on_unwind writable sret(%"class.HIR::TraitPath") align 8 %54, ptr noundef nonnull align 8 dereferenceable(8) %567, ptr noundef nonnull align 8 dereferenceable(240) %569, ptr noundef nonnull align 8 dereferenceable(24) %55, i1 noundef zeroext false)
          to label %571 unwind label %587

571:                                              ; preds = %562
  invoke void @_ZNSt6vectorIN3HIR9TraitPathESaIS1_EE9push_backEOS1_(ptr noundef nonnull align 8 dereferenceable(24) %566, ptr noundef nonnull align 8 dereferenceable(144) %54)
          to label %572 unwind label %591

572:                                              ; preds = %571
  call void @_ZN3HIR9TraitPathD2Ev(ptr noundef nonnull align 8 dereferenceable(144) %54) #10
  call void @_ZN3AST18HigherRankedBoundsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %55) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr %55) #10
  call void @llvm.lifetime.end.p0(i64 144, ptr %54) #10
  call void @llvm.lifetime.end.p0(i64 16, ptr %50) #10
  call void @_ZN3HIR11GenericPathD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %48) #10
  call void @llvm.lifetime.end.p0(i64 32, ptr %48) #10
  br label %599

573:                                              ; preds = %553
  %574 = landingpad { ptr, i32 }
          cleanup
  %575 = extractvalue { ptr, i32 } %574, 0
  store ptr %575, ptr %15, align 8
  %576 = extractvalue { ptr, i32 } %574, 1
  store i32 %576, ptr %16, align 4
  br label %586

577:                                              ; preds = %558
  %578 = landingpad { ptr, i32 }
          cleanup
  %579 = extractvalue { ptr, i32 } %578, 0
  store ptr %579, ptr %15, align 8
  %580 = extractvalue { ptr, i32 } %578, 1
  store i32 %580, ptr %16, align 4
  br label %585

581:                                              ; preds = %560
  %582 = landingpad { ptr, i32 }
          cleanup
  %583 = extractvalue { ptr, i32 } %582, 0
  store ptr %583, ptr %15, align 8
  %584 = extractvalue { ptr, i32 } %582, 1
  store i32 %584, ptr %16, align 4
  call void @_ZNSt4pairI8RcStringN3HIR9TraitPath8AtyBoundEED2Ev(ptr noundef nonnull align 8 dereferenceable(64) %51) #10
  br label %585

585:                                              ; preds = %581, %577
  call void @_ZN3HIR9TraitPath8AtyBoundD2Ev(ptr noundef nonnull align 8 dereferenceable(56) %52) #10
  br label %586

586:                                              ; preds = %585, %573
  call void @llvm.lifetime.end.p0(i64 56, ptr %52) #10
  call void @llvm.lifetime.end.p0(i64 64, ptr %51) #10
  br label %596

587:                                              ; preds = %562
  %588 = landingpad { ptr, i32 }
          cleanup
  %589 = extractvalue { ptr, i32 } %588, 0
  store ptr %589, ptr %15, align 8
  %590 = extractvalue { ptr, i32 } %588, 1
  store i32 %590, ptr %16, align 4
  br label %595

591:                                              ; preds = %571
  %592 = landingpad { ptr, i32 }
          cleanup
  %593 = extractvalue { ptr, i32 } %592, 0
  store ptr %593, ptr %15, align 8
  %594 = extractvalue { ptr, i32 } %592, 1
  store i32 %594, ptr %16, align 4
  call void @_ZN3HIR9TraitPathD2Ev(ptr noundef nonnull align 8 dereferenceable(144) %54) #10
  br label %595

595:                                              ; preds = %591, %587
  call void @_ZN3AST18HigherRankedBoundsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %55) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr %55) #10
  call void @llvm.lifetime.end.p0(i64 144, ptr %54) #10
  br label %596

596:                                              ; preds = %595, %586
  call void @llvm.lifetime.end.p0(i64 16, ptr %50) #10
  br label %597

597:                                              ; preds = %596, %547
  call void @_ZN3HIR11GenericPathD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %48) #10
  br label %598

598:                                              ; preds = %597, %546, %534
  call void @llvm.lifetime.end.p0(i64 32, ptr %48) #10
  br label %601

599:                                              ; preds = %572, %499
  br label %600

600:                                              ; preds = %599
  store i8 0, ptr %43, align 1, !tbaa !9
  br label %464, !llvm.loop !59

601:                                              ; preds = %598, %494, %493, %469
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #10
  call void @llvm.lifetime.end.p0(i64 1, ptr %43) #10
  br label %607

602:                                              ; preds = %468
  br label %603

603:                                              ; preds = %602
  store i8 0, ptr %43, align 1, !tbaa !9
  br label %456, !llvm.loop !60

604:                                              ; preds = %459
  br label %605

605:                                              ; preds = %604, %454, %341, %318, %295, %272, %244
  br label %606

606:                                              ; preds = %605
  store i8 0, ptr %26, align 1, !tbaa !9
  br label %237, !llvm.loop !61

607:                                              ; preds = %601, %451, %333, %310, %287, %264, %245
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #10
  call void @llvm.lifetime.end.p0(i64 1, ptr %26) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #10
  br label %613

608:                                              ; preds = %240
  br label %609

609:                                              ; preds = %608
  store i8 0, ptr %26, align 1, !tbaa !9
  br label %231, !llvm.loop !62

610:                                              ; preds = %234
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #10
  br label %611

611:                                              ; preds = %610
  %612 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3AST12PathParamEntESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %22) #10
  br label %222

613:                                              ; preds = %607, %225
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #10
  br label %618

614:                                              ; preds = %224
  store i1 true, ptr %11, align 1
  store i32 1, ptr %24, align 4
  %615 = load i1, ptr %11, align 1
  br i1 %615, label %617, label %616

616:                                              ; preds = %614
  call void @_ZN3HIR9TraitPathD2Ev(ptr noundef nonnull align 8 dereferenceable(144) %0) #10
  br label %617

617:                                              ; preds = %616, %614
  ret void

618:                                              ; preds = %613, %184, %159, %127, %123
  call void @_ZN3HIR9TraitPathD2Ev(ptr noundef nonnull align 8 dereferenceable(144) %0) #10
  br label %619

619:                                              ; preds = %618, %122
  %620 = load ptr, ptr %15, align 8
  %621 = load i32, ptr %16, align 4
  %622 = insertvalue { ptr, i32 } poison, ptr %620, 0
  %623 = insertvalue { ptr, i32 } %622, i32 %621, 1
  resume { ptr, i32 } %623

624:                                              ; preds = %484
  unreachable
}

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_Z27LowerHIR_HigherRankedBoundsRKN3AST18HigherRankedBoundsE(ptr dead_on_unwind noalias writable sret(%"class.HIR::GenericParams") align 8, ptr noundef nonnull align 8 dereferenceable(24)) #3

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_Z20LowerHIR_GenericPathRK4SpanRKN3AST4PathE17FromAST_PathClassb(ptr dead_on_unwind noalias writable sret(%"class.HIR::GenericPath") align 8, ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(240), i32 noundef, i1 noundef zeroext) #3

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

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

declare noundef zeroext i1 @_Z13debug_enabledv() #5

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

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

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

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

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

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

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

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

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

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

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

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

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

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_11GenericPathE(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(32)) #5

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

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZN3ASTlsERSoRKNS_4PathE(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(240)) #5

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

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

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

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

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

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZN3ASTlsERSoRKNS_18HigherRankedBoundsE(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(24)) #5

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

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare hidden void @_ZZ18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEbEN1H17find_source_traitES1_RKN3HIR11GenericPathERKNS2_16PathBinding_Type10Data_TraitERK8RcStringRK13Monomorphiser(ptr dead_on_unwind noalias writable sret(%"class.HIR::GenericPath") align 8, ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(96)) #3 align 2

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

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

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

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZlsRSoRK8RcString(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #5

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, i8 } @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEE6insertIS6_IS0_S3_EEENSt9enable_ifIXsr16is_constructibleIS8_T_EE5valueES6_ISt17_Rb_tree_iteratorIS8_EbEE4typeEOSE_(ptr noundef nonnull align 8 dereferenceable(48), ptr noundef nonnull align 8 dereferenceable(48)) #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZSt9make_pairIRK8RcStringN3HIR9TraitPath8AtyEqualEESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS7_INS8_IT0_E4typeEE6__typeEEOS9_OSE_(ptr dead_on_unwind noalias writable sret(%"struct.std::pair.268") align 8, ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(40)) #3

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, i8 } @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyBoundESt4lessIS0_ESaISt4pairIKS0_S3_EEE6insertIS6_IS0_S3_EEENSt9enable_ifIXsr16is_constructibleIS8_T_EE5valueES6_ISt17_Rb_tree_iteratorIS8_EbEE4typeEOSE_(ptr noundef nonnull align 8 dereferenceable(48), ptr noundef nonnull align 8 dereferenceable(64)) #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZSt9make_pairIRK8RcStringN3HIR9TraitPath8AtyBoundEESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS7_INS8_IT0_E4typeEE6__typeEEOS9_OSE_(ptr dead_on_unwind noalias writable sret(%"struct.std::pair.274") align 8, ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(56)) #3

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

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

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

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

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

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

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

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

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

attributes #0 = { 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 #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress 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 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #7 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #8 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #9 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #10 = { nounwind }
attributes #11 = { noreturn nounwind }
attributes #12 = { 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 = !{!12, !12, i64 0}
!12 = !{!"int", !7, i64 0}
!13 = !{!14, !6, i64 136}
!14 = !{!"_ZTSN3HIR9TraitPathE", !15, i64 0, !21, i64 8, !28, i64 40, !37, i64 88, !6, i64 136}
!15 = !{!"_ZTSSt10unique_ptrIN3HIR13GenericParamsESt14default_deleteIS1_EE", !16, i64 0}
!16 = !{!"_ZTSSt15__uniq_ptr_dataIN3HIR13GenericParamsESt14default_deleteIS1_ELb1ELb1EE", !17, i64 0}
!17 = !{!"_ZTSSt15__uniq_ptr_implIN3HIR13GenericParamsESt14default_deleteIS1_EE", !18, i64 0}
!18 = !{!"_ZTSSt5tupleIJPN3HIR13GenericParamsESt14default_deleteIS1_EEE", !19, i64 0}
!19 = !{!"_ZTSSt11_Tuple_implILm0EJPN3HIR13GenericParamsESt14default_deleteIS1_EEE", !20, i64 0}
!20 = !{!"_ZTSSt10_Head_baseILm0EPN3HIR13GenericParamsELb0EE", !6, i64 0}
!21 = !{!"_ZTSN3HIR11GenericPathE", !22, i64 0, !24, i64 8}
!22 = !{!"_ZTSN3HIR10SimplePathE", !23, i64 0}
!23 = !{!"_ZTS10ThinVectorI8RcStringE", !6, i64 0}
!24 = !{!"_ZTSN3HIR10PathParamsE", !25, i64 0, !26, i64 8, !27, i64 16}
!25 = !{!"_ZTS10ThinVectorIN3HIR11LifetimeRefEE", !6, i64 0}
!26 = !{!"_ZTS10ThinVectorIN3HIR7TypeRefEE", !6, i64 0}
!27 = !{!"_ZTS10ThinVectorIN3HIR12ConstGenericEE", !6, i64 0}
!28 = !{!"_ZTSSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEE", !29, i64 0}
!29 = !{!"_ZTSSt8_Rb_treeI8RcStringSt4pairIKS0_N3HIR9TraitPath8AtyEqualEESt10_Select1stIS6_ESt4lessIS0_ESaIS6_EE", !30, i64 0}
!30 = !{!"_ZTSNSt8_Rb_treeI8RcStringSt4pairIKS0_N3HIR9TraitPath8AtyEqualEESt10_Select1stIS6_ESt4lessIS0_ESaIS6_EE13_Rb_tree_implISA_Lb1EEE", !31, i64 0, !33, i64 8}
!31 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessI8RcStringEE", !32, i64 0}
!32 = !{!"_ZTSSt4lessI8RcStringE"}
!33 = !{!"_ZTSSt15_Rb_tree_header", !34, i64 0, !36, i64 32}
!34 = !{!"_ZTSSt18_Rb_tree_node_base", !35, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!35 = !{!"_ZTSSt14_Rb_tree_color", !7, i64 0}
!36 = !{!"long", !7, i64 0}
!37 = !{!"_ZTSSt3mapI8RcStringN3HIR9TraitPath8AtyBoundESt4lessIS0_ESaISt4pairIKS0_S3_EEE", !38, i64 0}
!38 = !{!"_ZTSSt8_Rb_treeI8RcStringSt4pairIKS0_N3HIR9TraitPath8AtyBoundEESt10_Select1stIS6_ESt4lessIS0_ESaIS6_EE", !39, i64 0}
!39 = !{!"_ZTSNSt8_Rb_treeI8RcStringSt4pairIKS0_N3HIR9TraitPath8AtyBoundEESt10_Select1stIS6_ESt4lessIS0_ESaIS6_EE13_Rb_tree_implISA_Lb1EEE", !31, i64 0, !33, i64 8}
!40 = !{!41, !10, i64 24}
!41 = !{!"_ZTSN3AST10PathParamsE", !42, i64 0, !10, i64 24}
!42 = !{!"_ZTSSt6vectorIN3AST12PathParamEntESaIS1_EE", !43, i64 0}
!43 = !{!"_ZTSSt12_Vector_baseIN3AST12PathParamEntESaIS1_EE", !44, i64 0}
!44 = !{!"_ZTSNSt12_Vector_baseIN3AST12PathParamEntESaIS1_EE12_Vector_implE", !45, i64 0}
!45 = !{!"_ZTSNSt12_Vector_baseIN3AST12PathParamEntESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!46 = !{i8 0, i8 2}
!47 = !{}
!48 = distinct !{!48, !49}
!49 = !{!"llvm.loop.mustprogress"}
!50 = distinct !{!50, !49}
!51 = distinct !{!51, !49}
!52 = distinct !{!52, !49}
!53 = distinct !{!53, !49}
!54 = distinct !{!54, !49}
!55 = distinct !{!55, !49}
!56 = distinct !{!56, !49}
!57 = distinct !{!57, !49}
!58 = distinct !{!58, !49}
!59 = distinct !{!59, !49}
!60 = distinct !{!60, !49}
!61 = distinct !{!61, !49}
!62 = distinct !{!62, !49}


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

%"class.HIR::TypeRef" = type { ptr }
%"class.HIR::TraitPath" = type { %"class.std::unique_ptr.106", %"class.HIR::GenericPath", %"class.std::map", %"class.std::map.120", ptr }
%"class.std::unique_ptr.106" = type { %"struct.std::__uniq_ptr_data.107" }
%"struct.std::__uniq_ptr_data.107" = type { %"class.std::__uniq_ptr_impl.108" }
%"class.std::__uniq_ptr_impl.108" = type { %"class.std::tuple.109" }
%"class.std::tuple.109" = type { %"struct.std::_Tuple_impl.110" }
%"struct.std::_Tuple_impl.110" = type { %"struct.std::_Head_base.113" }
%"struct.std::_Head_base.113" = type { ptr }
%"class.HIR::GenericPath" = type { %"struct.HIR::SimplePath", %"struct.HIR::PathParams" }
%"struct.HIR::SimplePath" = type { %class.ThinVector }
%class.ThinVector = type { ptr }
%"struct.HIR::PathParams" = type { %class.ThinVector.114, %class.ThinVector.115, %class.ThinVector.116 }
%class.ThinVector.114 = type { ptr }
%class.ThinVector.115 = type { ptr }
%class.ThinVector.116 = type { ptr }
%"class.std::map" = type { %"class.std::_Rb_tree" }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitPath::AtyEqual>, std::_Select1st<std::pair<const RcString, HIR::TraitPath::AtyEqual>>, std::less<RcString>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitPath::AtyEqual>, std::_Select1st<std::pair<const RcString, HIR::TraitPath::AtyEqual>>, std::less<RcString>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.std::_Rb_tree_header" = type { %"struct.std::_Rb_tree_node_base", i64 }
%"struct.std::_Rb_tree_node_base" = type { i32, ptr, ptr, ptr }
%"class.std::map.120" = type { %"class.std::_Rb_tree.121" }
%"class.std::_Rb_tree.121" = type { %"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitPath::AtyBound>, std::_Select1st<std::pair<const RcString, HIR::TraitPath::AtyBound>>, std::less<RcString>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitPath::AtyBound>, std::_Select1st<std::pair<const RcString, HIR::TraitPath::AtyBound>>, std::less<RcString>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"class.HIR::GenericParams" = type { %"class.std::vector.8", %"class.std::vector.13", %"class.std::vector.18", %"class.std::vector.23" }
%"class.std::vector.8" = type { %"struct.std::_Vector_base.9" }
%"struct.std::_Vector_base.9" = type { %"struct.std::_Vector_base<HIR::TypeParamDef, std::allocator<HIR::TypeParamDef>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::TypeParamDef, std::allocator<HIR::TypeParamDef>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::TypeParamDef, std::allocator<HIR::TypeParamDef>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::TypeParamDef, std::allocator<HIR::TypeParamDef>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.13" = type { %"struct.std::_Vector_base.14" }
%"struct.std::_Vector_base.14" = type { %"struct.std::_Vector_base<HIR::LifetimeDef, std::allocator<HIR::LifetimeDef>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::LifetimeDef, std::allocator<HIR::LifetimeDef>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::LifetimeDef, std::allocator<HIR::LifetimeDef>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::LifetimeDef, std::allocator<HIR::LifetimeDef>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.18" = type { %"struct.std::_Vector_base.19" }
%"struct.std::_Vector_base.19" = type { %"struct.std::_Vector_base<HIR::ValueParamDef, std::allocator<HIR::ValueParamDef>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::ValueParamDef, std::allocator<HIR::ValueParamDef>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::ValueParamDef, std::allocator<HIR::ValueParamDef>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::ValueParamDef, std::allocator<HIR::ValueParamDef>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.23" = type { %"struct.std::_Vector_base.24" }
%"struct.std::_Vector_base.24" = type { %"struct.std::_Vector_base<HIR::GenericBound, std::allocator<HIR::GenericBound>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::GenericBound, std::allocator<HIR::GenericBound>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::GenericBound, std::allocator<HIR::GenericBound>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::GenericBound, std::allocator<HIR::GenericBound>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.HIR::LifetimeDef" = type { %class.RcString }
%class.RcString = type { ptr }
%"struct.HIR::GenericParams::PrintArgs" = type { ptr }
%"class.__gnu_cxx::__normal_iterator.238" = type { ptr }
%class.MonomorphiserNop = type { %class.Monomorphiser }
%class.Monomorphiser = type { ptr, ptr, %"class.HIR::ItemPath", %"class.std::vector.260" }
%"class.HIR::ItemPath" = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%"class.std::vector.260" = type { %"struct.std::_Vector_base.261" }
%"struct.std::_Vector_base.261" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.std::pair.268" = type { %class.RcString, %"struct.HIR::TraitPath::AtyEqual" }
%"struct.HIR::TraitPath::AtyEqual" = type { %"class.HIR::GenericPath", %"class.HIR::TypeRef" }
%struct.Span = type { ptr }
%"class.std::function" = type { %"class.std::_Function_base", ptr }
%"class.std::_Function_base" = type { %"union.std::_Any_data", ptr }
%"union.std::_Any_data" = type { %"union.std::_Nocopy_types" }
%"union.std::_Nocopy_types" = type { { i64, i64 } }
%class.anon.270 = type { ptr }
%"struct.std::pair.271" = type <{ %"struct.std::_Rb_tree_iterator", i8, [7 x i8] }>
%"struct.std::_Rb_tree_iterator" = type { ptr }
%"struct.std::pair.274" = type { %class.RcString, %"struct.HIR::TraitPath::AtyBound" }
%"struct.HIR::TraitPath::AtyBound" = type { %"class.HIR::GenericPath", %"class.std::vector.126" }
%"class.std::vector.126" = type { %"struct.std::_Vector_base.127" }
%"struct.std::_Vector_base.127" = 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.AST::HigherRankedBounds" = type { %"class.std::vector.51" }
%"class.std::vector.51" = type { %"struct.std::_Vector_base.52" }
%"struct.std::_Vector_base.52" = type { %"struct.std::_Vector_base<AST::LifetimeParam, std::allocator<AST::LifetimeParam>>::_Vector_impl" }
%"struct.std::_Vector_base<AST::LifetimeParam, std::allocator<AST::LifetimeParam>>::_Vector_impl" = type { %"struct.std::_Vector_base<AST::LifetimeParam, std::allocator<AST::LifetimeParam>>::_Vector_impl_data" }
%"struct.std::_Vector_base<AST::LifetimeParam, std::allocator<AST::LifetimeParam>>::_Vector_impl_data" = type { ptr, ptr, ptr }

@.str.5 = external hidden unnamed_addr constant [75 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [39 x i8], align 1
@_ZTISt13runtime_error = external constant ptr
@.str.12 = external hidden unnamed_addr constant [24 x i8], align 1
@g_debug_indent_level = external local_unnamed_addr global i32, align 4
@__FUNCTION__._Z18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEb = external hidden unnamed_addr constant [19 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [8 x i8], align 1
@__PRETTY_FUNCTION__._Z18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEb = external hidden unnamed_addr constant [110 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [6 x i8], align 1

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

; 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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_Z13LowerHIR_TypeRK7TypeRef(ptr dead_on_unwind noalias writable sret(%"class.HIR::TypeRef") align 8, ptr noundef nonnull align 8 dereferenceable(120)) local_unnamed_addr #3

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

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

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

declare ptr @__cxa_allocate_exception(i64) local_unnamed_addr

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

declare void @__cxa_free_exception(ptr) local_unnamed_addr

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_Z18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEb(ptr dead_on_unwind noalias writable sret(%"class.HIR::TraitPath") align 8 %0, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(240) %2, ptr noundef nonnull align 8 dereferenceable(24) %3, i1 noundef zeroext %4) local_unnamed_addr #3 personality ptr @__gxx_personality_v0 {
  %6 = alloca %"class.HIR::GenericParams", align 8
  %7 = alloca %"class.HIR::GenericParams", align 8
  %8 = alloca %"class.std::unique_ptr.106", align 8
  %9 = alloca %"struct.HIR::LifetimeDef", align 8
  %10 = alloca %"struct.HIR::GenericParams::PrintArgs", align 8
  %11 = alloca %"class.__gnu_cxx::__normal_iterator.238", align 8
  %12 = alloca %"class.__gnu_cxx::__normal_iterator.238", align 8
  %13 = alloca %"class.HIR::GenericPath", align 8
  %14 = alloca %class.MonomorphiserNop, align 8
  %15 = alloca %"struct.std::pair.268", align 8
  %16 = alloca %"struct.HIR::TraitPath::AtyEqual", align 8
  %17 = alloca %struct.Span, align 8
  %18 = alloca %"class.std::function", align 8
  %19 = alloca %class.anon.270, align 8
  %20 = alloca %"class.HIR::GenericPath", align 8
  %21 = alloca %class.MonomorphiserNop, align 8
  %22 = alloca %"struct.std::pair.271", align 8
  %23 = alloca %"struct.std::pair.274", align 8
  %24 = alloca %"struct.HIR::TraitPath::AtyBound", align 8
  %25 = alloca %"class.HIR::TraitPath", align 8
  %26 = alloca %"class.AST::HigherRankedBounds", align 8
  %27 = tail call noundef zeroext i1 @_Z13debug_enabledv()
  br i1 %27, label %28, label %36

28:                                               ; preds = %5
  %29 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !5
  %30 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %29, ptr noundef nonnull @__FUNCTION__._Z18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEb)
  %31 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3ASTlsERSoRKNS_18HigherRankedBoundsE(ptr noundef nonnull align 8 dereferenceable(8) %30, ptr noundef nonnull align 8 dereferenceable(24) %3)
  %32 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %31, ptr noundef nonnull @.str.17)
  %33 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3ASTlsERSoRKNS_4PathE(ptr noundef nonnull align 8 dereferenceable(8) %32, ptr noundef nonnull align 8 dereferenceable(240) %2)
  %34 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %33, ptr noundef nonnull @_ZSt3decRSt8ios_base)
  %35 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %34, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  br label %36

36:                                               ; preds = %5, %28
  %37 = tail call noundef zeroext i1 @_ZNK3AST18HigherRankedBounds5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %3)
  br i1 %37, label %38, label %39

38:                                               ; preds = %36
  tail call void @_ZNSt10unique_ptrIN3HIR13GenericParamsESt14default_deleteIS1_EEC2IS3_vEEDn(ptr noundef nonnull align 8 dereferenceable(8) %0, ptr null) #9
  br label %40

39:                                               ; preds = %36
  call void @llvm.lifetime.start.p0(i64 96, ptr nonnull %6) #9
  call void @_Z27LowerHIR_HigherRankedBoundsRKN3AST18HigherRankedBoundsE(ptr dead_on_unwind nonnull writable sret(%"class.HIR::GenericParams") align 8 %6, ptr noundef nonnull align 8 dereferenceable(24) %3)
  invoke void @_Z15make_unique_ptrIN3HIR13GenericParamsEESt10unique_ptrIT_St14default_deleteIS3_EEOS3_(ptr dead_on_unwind writable sret(%"class.std::unique_ptr.106") align 8 %0, ptr noundef nonnull align 8 dereferenceable(96) %6)
          to label %40 unwind label %.thread

40:                                               ; preds = %39, %38
  %41 = getelementptr inbounds i8, ptr %0, i64 8
  invoke void @_Z20LowerHIR_GenericPathRK4SpanRKN3AST4PathE17FromAST_PathClassb(ptr dead_on_unwind nonnull writable sret(%"class.HIR::GenericPath") align 8 %41, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(240) %2, i32 noundef 0, i1 noundef zeroext true)
          to label %42 unwind label %60

42:                                               ; preds = %40
  %43 = getelementptr inbounds i8, ptr %0, i64 40
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(48) %43, i8 0, i64 48, i1 false)
  call void @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEEC2Ev(ptr noundef nonnull align 8 dereferenceable(48) %43) #9
  %44 = getelementptr inbounds i8, ptr %0, i64 88
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(48) %44, i8 0, i64 48, i1 false)
  call void @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyBoundESt4lessIS0_ESaISt4pairIKS0_S3_EEEC2Ev(ptr noundef nonnull align 8 dereferenceable(48) %44) #9
  %45 = getelementptr inbounds i8, ptr %0, i64 136
  store ptr null, ptr %45, align 8, !tbaa !9
  br i1 %37, label %.critedge, label %46

46:                                               ; preds = %42
  call void @_ZN3HIR13GenericParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %6) #9
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %6) #9
  br label %.critedge

.critedge:                                        ; preds = %42, %46
  %47 = call noundef zeroext i1 @_ZNKSt10unique_ptrIN3HIR13GenericParamsESt14default_deleteIS1_EEcvbEv(ptr noundef nonnull align 8 dereferenceable(8) %0) #9
  br i1 %47, label %67, label %48

48:                                               ; preds = %.critedge
  %49 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3AST4Path5nodesEv(ptr noundef nonnull align 8 dereferenceable(240) %2)
          to label %50 unwind label %63

50:                                               ; preds = %48
  %51 = call noundef nonnull align 8 dereferenceable(40) ptr @_ZNKSt6vectorIN3AST8PathNodeESaIS1_EE4backEv(ptr noundef nonnull align 8 dereferenceable(24) %49) #9
  %52 = call noundef nonnull align 8 dereferenceable(25) ptr @_ZNK3AST8PathNode4argsEv(ptr noundef nonnull align 8 dereferenceable(40) %51)
  %53 = getelementptr inbounds i8, ptr %52, i64 24
  %54 = load i8, ptr %53, align 8, !tbaa !37, !range !44, !noundef !45
  %55 = trunc nuw i8 %54 to i1
  br i1 %55, label %56, label %67

56:                                               ; preds = %50
  call void @llvm.lifetime.start.p0(i64 96, ptr nonnull %7) #9
  call void @_ZN3HIR13GenericParamsC2Ev(ptr noundef nonnull align 8 dereferenceable(96) %7) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #9
  invoke void @_Z15make_unique_ptrIN3HIR13GenericParamsEESt10unique_ptrIT_St14default_deleteIS3_EEOS3_(ptr dead_on_unwind nonnull writable sret(%"class.std::unique_ptr.106") align 8 %8, ptr noundef nonnull align 8 dereferenceable(96) %7)
          to label %57 unwind label %65

57:                                               ; preds = %56
  %58 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt10unique_ptrIN3HIR13GenericParamsESt14default_deleteIS1_EEaSEOS4_(ptr noundef nonnull align 8 dereferenceable(8) %0, ptr noundef nonnull align 8 dereferenceable(8) %8) #9
  call void @_ZNSt10unique_ptrIN3HIR13GenericParamsESt14default_deleteIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %8) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #9
  call void @_ZN3HIR13GenericParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %7) #9
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %7) #9
  br label %67

.thread:                                          ; preds = %39
  %59 = landingpad { ptr, i32 }
          cleanup
  br label %62

60:                                               ; preds = %40
  %61 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt10unique_ptrIN3HIR13GenericParamsESt14default_deleteIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %0) #9
  br i1 %37, label %.critedge128, label %62

62:                                               ; preds = %.thread, %60
  %.pn131 = phi { ptr, i32 } [ %59, %.thread ], [ %61, %60 ]
  call void @_ZN3HIR13GenericParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %6) #9
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %6) #9
  br label %.critedge128

63:                                               ; preds = %119, %117, %115, %112, %109, %95, %92, %89, %69, %48
  %64 = landingpad { ptr, i32 }
          cleanup
  br label %248

65:                                               ; preds = %56
  %66 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #9
  call void @_ZN3HIR13GenericParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %7) #9
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %7) #9
  br label %248

67:                                               ; preds = %57, %50, %.critedge
  %68 = call noundef zeroext i1 @_ZNKSt10unique_ptrIN3HIR13GenericParamsESt14default_deleteIS1_EEcvbEv(ptr noundef nonnull align 8 dereferenceable(8) %0) #9
  br i1 %68, label %69, label %87

69:                                               ; preds = %67
  %70 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3AST4Path5nodesEv(ptr noundef nonnull align 8 dereferenceable(240) %2)
          to label %71 unwind label %63

71:                                               ; preds = %69
  %72 = call noundef nonnull align 8 dereferenceable(40) ptr @_ZNKSt6vectorIN3AST8PathNodeESaIS1_EE4backEv(ptr noundef nonnull align 8 dereferenceable(24) %70) #9
  %73 = call noundef nonnull align 8 dereferenceable(25) ptr @_ZNK3AST8PathNode4argsEv(ptr noundef nonnull align 8 dereferenceable(40) %72)
  %74 = getelementptr inbounds i8, ptr %73, i64 24
  %75 = load i8, ptr %74, align 8, !tbaa !37, !range !44, !noundef !45
  %76 = trunc nuw i8 %75 to i1
  br i1 %76, label %77, label %87

77:                                               ; preds = %71
  %78 = call noundef ptr @_ZNKSt10unique_ptrIN3HIR13GenericParamsESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %0) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #9
  invoke void @_ZN8RcStringC2EPKc(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull @.str.18)
          to label %79 unwind label %82

79:                                               ; preds = %77
  %80 = getelementptr inbounds i8, ptr %78, i64 24
  invoke void @_ZNSt6vectorIN3HIR11LifetimeDefESaIS1_EE9push_backEOS1_(ptr noundef nonnull align 8 dereferenceable(24) %80, ptr noundef nonnull align 8 dereferenceable(8) %9)
          to label %81 unwind label %84

81:                                               ; preds = %79
  call void @_ZN3HIR11LifetimeDefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %9) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #9
  br label %87

82:                                               ; preds = %77
  %83 = landingpad { ptr, i32 }
          cleanup
  br label %86

84:                                               ; preds = %79
  %85 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN3HIR11LifetimeDefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %9) #9
  br label %86

86:                                               ; preds = %84, %82
  %.pn101 = phi { ptr, i32 } [ %85, %84 ], [ %83, %82 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #9
  br label %248

87:                                               ; preds = %81, %71, %67
  %88 = call noundef zeroext i1 @_ZNKSt10unique_ptrIN3HIR13GenericParamsESt14default_deleteIS1_EEcvbEv(ptr noundef nonnull align 8 dereferenceable(8) %0) #9
  br i1 %88, label %89, label %109

89:                                               ; preds = %87
  %90 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %91 unwind label %63

91:                                               ; preds = %89
  br i1 %90, label %92, label %121

92:                                               ; preds = %91
  %93 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !5
  %94 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %93, ptr noundef nonnull @__FUNCTION__._Z18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEb)
          to label %95 unwind label %63

95:                                               ; preds = %92
  %96 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %94, ptr noundef nonnull @.str.19)
          to label %97 unwind label %63

97:                                               ; preds = %95
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #9
  %98 = call noundef ptr @_ZNKSt10unique_ptrIN3HIR13GenericParamsESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %0) #9
  %99 = invoke ptr @_ZNK3HIR13GenericParams8fmt_argsEv(ptr noundef nonnull align 8 dereferenceable(96) %98)
          to label %100 unwind label %107

100:                                              ; preds = %97
  store ptr %99, ptr %10, align 8
  %101 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_13GenericParams9PrintArgsE(ptr noundef nonnull align 8 dereferenceable(8) %96, ptr noundef nonnull align 8 dereferenceable(8) %10)
          to label %102 unwind label %107

102:                                              ; preds = %100
  %103 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %101, ptr noundef nonnull @_ZSt3decRSt8ios_base)
          to label %104 unwind label %107

104:                                              ; preds = %102
  %105 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %103, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %106 unwind label %107

106:                                              ; preds = %104
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #9
  br label %121

107:                                              ; preds = %104, %102, %100, %97
  %108 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #9
  br label %248

109:                                              ; preds = %87
  %110 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %111 unwind label %63

111:                                              ; preds = %109
  br i1 %110, label %112, label %121

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

115:                                              ; preds = %112
  %116 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %114, ptr noundef nonnull @.str.20)
          to label %117 unwind label %63

117:                                              ; preds = %115
  %118 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %116, ptr noundef nonnull @_ZSt3decRSt8ios_base)
          to label %119 unwind label %63

119:                                              ; preds = %117
  %120 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %118, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %121 unwind label %63

121:                                              ; preds = %111, %119, %91, %106
  %122 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3AST4Path5nodesEv(ptr noundef nonnull align 8 dereferenceable(240) %2)
          to label %123 unwind label %132

123:                                              ; preds = %121
  %124 = call noundef nonnull align 8 dereferenceable(40) ptr @_ZNKSt6vectorIN3AST8PathNodeESaIS1_EE4backEv(ptr noundef nonnull align 8 dereferenceable(24) %122) #9
  %125 = call noundef nonnull align 8 dereferenceable(25) ptr @_ZNK3AST8PathNode4argsEv(ptr noundef nonnull align 8 dereferenceable(40) %124)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %11) #9
  %126 = call ptr @_ZNKSt6vectorIN3AST12PathParamEntESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %125) #9
  store ptr %126, ptr %11, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %12) #9
  %127 = call ptr @_ZNKSt6vectorIN3AST12PathParamEntESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %125) #9
  store ptr %127, ptr %12, align 8
  %128 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3AST12PathParamEntESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESD_(ptr noundef nonnull align 8 dereferenceable(8) %11, ptr noundef nonnull align 8 dereferenceable(8) %12) #9
  br i1 %128, label %.lr.ph288, label %._crit_edge

.lr.ph288:                                        ; preds = %123
  %129 = getelementptr inbounds i8, ptr %2, i64 152
  %130 = getelementptr inbounds i8, ptr %24, i64 32
  %.sroa.2.0..sroa_idx = getelementptr inbounds i8, ptr %22, i64 8
  %131 = getelementptr inbounds i8, ptr %16, i64 32
  br label %.lr.ph286

._crit_edge:                                      ; preds = %.loopexit149, %123
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #9
  ret void

132:                                              ; preds = %121
  %133 = landingpad { ptr, i32 }
          cleanup
  br label %248

.loopexit149:                                     ; preds = %.preheader142.split, %.preheader140.split, %.preheader138.split, %.preheader.split, %.lr.ph286, %..loopexit135_crit_edge, %..loopexit136_crit_edge.us
  %134 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3AST12PathParamEntESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %11) #9
  %135 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3AST12PathParamEntESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESD_(ptr noundef nonnull align 8 dereferenceable(8) %11, ptr noundef nonnull align 8 dereferenceable(8) %12) #9
  br i1 %135, label %.lr.ph286, label %._crit_edge

.lr.ph286:                                        ; preds = %.loopexit149, %.lr.ph288
  %136 = call noundef nonnull align 8 dereferenceable(256) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3AST12PathParamEntESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %11) #9
  %137 = call noundef i32 @_ZNK3AST12PathParamEnt3tagEv(ptr noundef nonnull align 8 dereferenceable(256) %136)
  switch i32 %137, label %.loopexit149 [
    i32 0, label %180
    i32 1, label %.preheader.split
    i32 2, label %.preheader138.split
    i32 3, label %.preheader140.split
    i32 4, label %.preheader142.split
    i32 5, label %.lr.ph194
    i32 6, label %.preheader146
  ]

.preheader146:                                    ; preds = %.lr.ph286
  %138 = call noundef nonnull align 8 dereferenceable(248) ptr @_ZNK3AST12PathParamEnt20as_AssociatedTyBoundEv(ptr noundef nonnull align 8 dereferenceable(256) %136)
  br i1 %4, label %.lr.ph.us, label %.preheader146.split.split

139:                                              ; preds = %.lr.ph.us
  invoke void @_ZZ18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEbEN1H17find_source_traitES1_RKN3HIR11GenericPathERKNS2_16PathBinding_Type10Data_TraitERK8RcStringRK13Monomorphiser(ptr dead_on_unwind nonnull writable sret(%"class.HIR::GenericPath") align 8 %20, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(32) %41, ptr noundef nonnull align 8 dereferenceable(16) %167, ptr noundef nonnull align 8 dereferenceable(8) %138, ptr noundef nonnull align 8 dereferenceable(96) %21)
          to label %140 unwind label %.split152.us

140:                                              ; preds = %139
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %21) #9
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %21) #9
  %141 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %142 unwind label %.split155.us

142:                                              ; preds = %140
  br i1 %141, label %143, label %158

143:                                              ; preds = %142
  %144 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !5
  %145 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %144, ptr noundef nonnull @__FUNCTION__._Z18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEb)
          to label %146 unwind label %.split155.us

146:                                              ; preds = %143
  %147 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %145, ptr noundef nonnull @.str.21)
          to label %148 unwind label %.split155.us

148:                                              ; preds = %146
  %149 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_11GenericPathE(ptr noundef nonnull align 8 dereferenceable(8) %147, ptr noundef nonnull align 8 dereferenceable(32) %20)
          to label %150 unwind label %.split155.us

150:                                              ; preds = %148
  %151 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %149, ptr noundef nonnull @.str.22)
          to label %152 unwind label %.split155.us

152:                                              ; preds = %150
  %153 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZlsRSoRK8RcString(ptr noundef nonnull align 8 dereferenceable(8) %151, ptr noundef nonnull align 8 dereferenceable(8) %138)
          to label %154 unwind label %.split155.us

154:                                              ; preds = %152
  %155 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %153, ptr noundef nonnull @_ZSt3decRSt8ios_base)
          to label %156 unwind label %.split155.us

156:                                              ; preds = %154
  %157 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %155, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %158 unwind label %.split155.us

158:                                              ; preds = %156, %142
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %22) #9
  call void @llvm.lifetime.start.p0(i64 64, ptr nonnull %23) #9
  call void @llvm.lifetime.start.p0(i64 56, ptr nonnull %24) #9
  invoke void @_ZN3HIR11GenericPathC2EOS0_(ptr noundef nonnull align 8 dereferenceable(32) %24, ptr noundef nonnull align 8 dereferenceable(32) %20)
          to label %159 unwind label %.split158.us

159:                                              ; preds = %158
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %130, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorIN3HIR9TraitPathESaIS1_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %130) #9
  invoke void @_ZSt9make_pairIRK8RcStringN3HIR9TraitPath8AtyBoundEESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS7_INS8_IT0_E4typeEE6__typeEEOS9_OSE_(ptr dead_on_unwind nonnull writable sret(%"struct.std::pair.274") align 8 %23, ptr noundef nonnull align 8 dereferenceable(8) %138, ptr noundef nonnull align 8 dereferenceable(56) %24)
          to label %160 unwind label %.split161.us

160:                                              ; preds = %159
  %161 = invoke { ptr, i8 } @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyBoundESt4lessIS0_ESaISt4pairIKS0_S3_EEE6insertIS6_IS0_S3_EEENSt9enable_ifIXsr16is_constructibleIS8_T_EE5valueES6_ISt17_Rb_tree_iteratorIS8_EbEE4typeEOSE_(ptr noundef nonnull align 8 dereferenceable(48) %44, ptr noundef nonnull align 8 dereferenceable(64) %23)
          to label %162 unwind label %.split164.us

162:                                              ; preds = %160
  %.fca.0.extract.us = extractvalue { ptr, i8 } %161, 0
  %.fca.1.extract.us = extractvalue { ptr, i8 } %161, 1
  store ptr %.fca.0.extract.us, ptr %22, align 8
  store i8 %.fca.1.extract.us, ptr %.sroa.2.0..sroa_idx, align 8
  call void @_ZNSt4pairI8RcStringN3HIR9TraitPath8AtyBoundEED2Ev(ptr noundef nonnull align 8 dereferenceable(64) %23) #9
  call void @_ZN3HIR9TraitPath8AtyBoundD2Ev(ptr noundef nonnull align 8 dereferenceable(56) %24) #9
  call void @llvm.lifetime.end.p0(i64 56, ptr nonnull %24) #9
  call void @llvm.lifetime.end.p0(i64 64, ptr nonnull %23) #9
  %163 = call noundef ptr @_ZNKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitPath8AtyBoundEEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %22) #9
  call void @llvm.lifetime.start.p0(i64 144, ptr nonnull %25) #9
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %26) #9
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %26, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorIN3AST13LifetimeParamESaIS1_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %26) #9
  invoke void @_Z18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEb(ptr dead_on_unwind nonnull writable sret(%"class.HIR::TraitPath") align 8 %25, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(240) %166, ptr noundef nonnull align 8 dereferenceable(24) %26, i1 noundef zeroext false)
          to label %164 unwind label %.split167.us

164:                                              ; preds = %162
  %165 = getelementptr inbounds i8, ptr %163, i64 40
  invoke void @_ZNSt6vectorIN3HIR9TraitPathESaIS1_EE9push_backEOS1_(ptr noundef nonnull align 8 dereferenceable(24) %165, ptr noundef nonnull align 8 dereferenceable(144) %25)
          to label %..loopexit136_crit_edge.us unwind label %.split170.us

..loopexit136_crit_edge.us:                       ; preds = %164
  call void @_ZN3HIR9TraitPathD2Ev(ptr noundef nonnull align 8 dereferenceable(144) %25) #9
  call void @_ZN3AST18HigherRankedBoundsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %26) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %26) #9
  call void @llvm.lifetime.end.p0(i64 144, ptr nonnull %25) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %22) #9
  call void @_ZN3HIR11GenericPathD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %20) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %20) #9
  br label %.loopexit149

.lr.ph.us:                                        ; preds = %.preheader146
  %166 = getelementptr inbounds i8, ptr %138, i64 8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %20) #9
  %167 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK3AST16PathBinding_Type8as_TraitEv(ptr noundef nonnull align 8 dereferenceable(32) %129)
  call void @llvm.lifetime.start.p0(i64 96, ptr nonnull %21) #9
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(96) %21, i8 0, i64 96, i1 false)
  invoke void @_ZN16MonomorphiserNopC2Ev(ptr noundef nonnull align 8 dereferenceable(96) %21)
          to label %139 unwind label %.split.us

.split.us:                                        ; preds = %.lr.ph.us
  %168 = landingpad { ptr, i32 }
          cleanup
  br label %240

.split152.us:                                     ; preds = %139
  %169 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %21) #9
  br label %240

.split155.us:                                     ; preds = %156, %154, %152, %150, %148, %146, %143, %140
  %170 = landingpad { ptr, i32 }
          cleanup
  br label %245

.split158.us:                                     ; preds = %158
  %171 = landingpad { ptr, i32 }
          cleanup
  br label %242

.split161.us:                                     ; preds = %159
  %172 = landingpad { ptr, i32 }
          cleanup
  br label %241

.split164.us:                                     ; preds = %160
  %173 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt4pairI8RcStringN3HIR9TraitPath8AtyBoundEED2Ev(ptr noundef nonnull align 8 dereferenceable(64) %23) #9
  br label %241

.split167.us:                                     ; preds = %162
  %174 = landingpad { ptr, i32 }
          cleanup
  br label %243

.split170.us:                                     ; preds = %164
  %175 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN3HIR9TraitPathD2Ev(ptr noundef nonnull align 8 dereferenceable(144) %25) #9
  br label %243

.preheader146.split.split:                        ; preds = %.preheader146
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %17) #9
  invoke void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %17, ptr noundef nonnull align 8 dereferenceable(8) %1)
          to label %229 unwind label %233

.preheader142.split:                              ; preds = %.lr.ph286
  %176 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3AST12PathParamEnt8as_ValueEv(ptr noundef nonnull align 8 dereferenceable(256) %136)
  br label %.loopexit149

.preheader140.split:                              ; preds = %.lr.ph286
  %177 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNK3AST12PathParamEnt7as_TypeEv(ptr noundef nonnull align 8 dereferenceable(256) %136)
  br label %.loopexit149

.preheader138.split:                              ; preds = %.lr.ph286
  %178 = call noundef nonnull align 8 dereferenceable(18) ptr @_ZNK3AST12PathParamEnt11as_LifetimeEv(ptr noundef nonnull align 8 dereferenceable(256) %136)
  br label %.loopexit149

.preheader.split:                                 ; preds = %.lr.ph286
  %179 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNK3AST12PathParamEnt7as_NullEv(ptr noundef nonnull align 8 dereferenceable(256) %136)
  br label %.loopexit149

180:                                              ; preds = %.lr.ph286
  call void @__assert_fail(ptr noundef nonnull @.str.7, ptr noundef nonnull @.str.5, i32 noundef 738, ptr noundef nonnull @__PRETTY_FUNCTION__._Z18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEb) #10
  unreachable

.lr.ph194:                                        ; preds = %.lr.ph286
  %181 = call noundef nonnull align 8 dereferenceable(128) ptr @_ZNK3AST12PathParamEnt20as_AssociatedTyEqualEv(ptr noundef nonnull align 8 dereferenceable(256) %136)
  %182 = getelementptr inbounds i8, ptr %181, i64 8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %13) #9
  %183 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK3AST16PathBinding_Type8as_TraitEv(ptr noundef nonnull align 8 dereferenceable(32) %129)
  call void @llvm.lifetime.start.p0(i64 96, ptr nonnull %14) #9
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(96) %14, i8 0, i64 96, i1 false)
  invoke void @_ZN16MonomorphiserNopC2Ev(ptr noundef nonnull align 8 dereferenceable(96) %14)
          to label %184 unwind label %203

184:                                              ; preds = %.lr.ph194
  invoke void @_ZZ18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEbEN1H17find_source_traitES1_RKN3HIR11GenericPathERKNS2_16PathBinding_Type10Data_TraitERK8RcStringRK13Monomorphiser(ptr dead_on_unwind nonnull writable sret(%"class.HIR::GenericPath") align 8 %13, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(32) %41, ptr noundef nonnull align 8 dereferenceable(16) %183, ptr noundef nonnull align 8 dereferenceable(8) %181, ptr noundef nonnull align 8 dereferenceable(96) %14)
          to label %185 unwind label %205

185:                                              ; preds = %184
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %14) #9
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %14) #9
  %186 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %187 unwind label %208

187:                                              ; preds = %185
  br i1 %186, label %188, label %210

188:                                              ; preds = %187
  %189 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !5
  %190 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %189, ptr noundef nonnull @__FUNCTION__._Z18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEb)
          to label %191 unwind label %208

191:                                              ; preds = %188
  %192 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %190, ptr noundef nonnull @.str.21)
          to label %193 unwind label %208

193:                                              ; preds = %191
  %194 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_11GenericPathE(ptr noundef nonnull align 8 dereferenceable(8) %192, ptr noundef nonnull align 8 dereferenceable(32) %13)
          to label %195 unwind label %208

195:                                              ; preds = %193
  %196 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %194, ptr noundef nonnull @.str.22)
          to label %197 unwind label %208

197:                                              ; preds = %195
  %198 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZlsRSoRK8RcString(ptr noundef nonnull align 8 dereferenceable(8) %196, ptr noundef nonnull align 8 dereferenceable(8) %181)
          to label %199 unwind label %208

199:                                              ; preds = %197
  %200 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %198, ptr noundef nonnull @_ZSt3decRSt8ios_base)
          to label %201 unwind label %208

201:                                              ; preds = %199
  %202 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %200, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %210 unwind label %208

203:                                              ; preds = %.lr.ph194
  %204 = landingpad { ptr, i32 }
          cleanup
  br label %207

205:                                              ; preds = %184
  %206 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %14) #9
  br label %207

207:                                              ; preds = %205, %203
  %.pn116 = phi { ptr, i32 } [ %206, %205 ], [ %204, %203 ]
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %14) #9
  br label %226

208:                                              ; preds = %201, %199, %197, %195, %193, %191, %188, %185
  %209 = landingpad { ptr, i32 }
          cleanup
  br label %225

210:                                              ; preds = %201, %187
  call void @llvm.lifetime.start.p0(i64 48, ptr nonnull %15) #9
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %16) #9
  invoke void @_ZN3HIR11GenericPathC2EOS0_(ptr noundef nonnull align 8 dereferenceable(32) %16, ptr noundef nonnull align 8 dereferenceable(32) %13)
          to label %211 unwind label %215

211:                                              ; preds = %210
  invoke void @_Z13LowerHIR_TypeRK7TypeRef(ptr dead_on_unwind nonnull writable sret(%"class.HIR::TypeRef") align 8 %131, ptr noundef nonnull align 8 dereferenceable(120) %182)
          to label %212 unwind label %217

212:                                              ; preds = %211
  invoke void @_ZSt9make_pairIRK8RcStringN3HIR9TraitPath8AtyEqualEESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS7_INS8_IT0_E4typeEE6__typeEEOS9_OSE_(ptr dead_on_unwind nonnull writable sret(%"struct.std::pair.268") align 8 %15, ptr noundef nonnull align 8 dereferenceable(8) %181, ptr noundef nonnull align 8 dereferenceable(40) %16)
          to label %213 unwind label %219

213:                                              ; preds = %212
  %214 = invoke { ptr, i8 } @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEE6insertIS6_IS0_S3_EEENSt9enable_ifIXsr16is_constructibleIS8_T_EE5valueES6_ISt17_Rb_tree_iteratorIS8_EbEE4typeEOSE_(ptr noundef nonnull align 8 dereferenceable(48) %43, ptr noundef nonnull align 8 dereferenceable(48) %15)
          to label %..loopexit135_crit_edge unwind label %221

..loopexit135_crit_edge:                          ; preds = %213
  call void @_ZNSt4pairI8RcStringN3HIR9TraitPath8AtyEqualEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %15) #9
  call void @_ZN3HIR9TraitPath8AtyEqualD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %16) #9
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %16) #9
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %15) #9
  call void @_ZN3HIR11GenericPathD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %13) #9
  br label %.loopexit149

215:                                              ; preds = %210
  %216 = landingpad { ptr, i32 }
          cleanup
  br label %224

217:                                              ; preds = %211
  %218 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN3HIR11GenericPathD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #9
  br label %224

219:                                              ; preds = %212
  %220 = landingpad { ptr, i32 }
          cleanup
  br label %223

221:                                              ; preds = %213
  %222 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt4pairI8RcStringN3HIR9TraitPath8AtyEqualEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %15) #9
  br label %223

223:                                              ; preds = %221, %219
  %.pn118 = phi { ptr, i32 } [ %222, %221 ], [ %220, %219 ]
  call void @_ZN3HIR9TraitPath8AtyEqualD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %16) #9
  br label %224

224:                                              ; preds = %223, %217, %215
  %.pn118.pn = phi { ptr, i32 } [ %.pn118, %223 ], [ %218, %217 ], [ %216, %215 ]
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %16) #9
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %15) #9
  br label %225

225:                                              ; preds = %224, %208
  %.pn118.pn.pn = phi { ptr, i32 } [ %.pn118.pn, %224 ], [ %209, %208 ]
  call void @_ZN3HIR11GenericPathD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #9
  br label %226

226:                                              ; preds = %225, %207
  %.pn118.pn.pn.pn = phi { ptr, i32 } [ %.pn118.pn.pn, %225 ], [ %.pn116, %207 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %13) #9
  br label %247

227:                                              ; preds = %232
  %228 = landingpad { ptr, i32 }
          cleanup
  br label %247

229:                                              ; preds = %.preheader146.split.split
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %19) #9
  store ptr %2, ptr %19, align 8, !tbaa !46
  call void @"_ZNSt8functionIFvRSoEEC2IZ18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS7_18HigherRankedBoundsEbE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %18, ptr noundef nonnull align 8 dereferenceable(8) %19) #9
  invoke void @_ZNK4Span5errorE9ErrorTypeSt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %17, i32 noundef 0, ptr noundef nonnull %18)
          to label %230 unwind label %235

230:                                              ; preds = %229
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #9
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %17) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %17) #9
  %231 = call ptr @__cxa_allocate_exception(i64 16) #9
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %231, ptr noundef nonnull @.str.12)
          to label %232 unwind label %238

232:                                              ; preds = %230
  invoke void @__cxa_throw(ptr nonnull %231, ptr nonnull @_ZTISt13runtime_error, ptr nonnull @_ZNSt13runtime_errorD1Ev) #11
          to label %249 unwind label %227

233:                                              ; preds = %.preheader146.split.split
  %234 = landingpad { ptr, i32 }
          cleanup
  br label %237

235:                                              ; preds = %229
  %236 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #9
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %17) #9
  br label %237

237:                                              ; preds = %235, %233
  %.pn103 = phi { ptr, i32 } [ %236, %235 ], [ %234, %233 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %17) #9
  br label %247

238:                                              ; preds = %230
  %239 = landingpad { ptr, i32 }
          cleanup
  call void @__cxa_free_exception(ptr %231) #9
  br label %247

240:                                              ; preds = %.split152.us, %.split.us
  %.pn105 = phi { ptr, i32 } [ %169, %.split152.us ], [ %168, %.split.us ]
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %21) #9
  br label %246

241:                                              ; preds = %.split164.us, %.split161.us
  %.pn107 = phi { ptr, i32 } [ %173, %.split164.us ], [ %172, %.split161.us ]
  call void @_ZN3HIR9TraitPath8AtyBoundD2Ev(ptr noundef nonnull align 8 dereferenceable(56) %24) #9
  br label %242

242:                                              ; preds = %241, %.split158.us
  %.pn107.pn = phi { ptr, i32 } [ %.pn107, %241 ], [ %171, %.split158.us ]
  call void @llvm.lifetime.end.p0(i64 56, ptr nonnull %24) #9
  call void @llvm.lifetime.end.p0(i64 64, ptr nonnull %23) #9
  br label %244

243:                                              ; preds = %.split170.us, %.split167.us
  %.pn110 = phi { ptr, i32 } [ %175, %.split170.us ], [ %174, %.split167.us ]
  call void @_ZN3AST18HigherRankedBoundsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %26) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %26) #9
  call void @llvm.lifetime.end.p0(i64 144, ptr nonnull %25) #9
  br label %244

244:                                              ; preds = %243, %242
  %.pn110.pn = phi { ptr, i32 } [ %.pn110, %243 ], [ %.pn107.pn, %242 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %22) #9
  br label %245

245:                                              ; preds = %244, %.split155.us
  %.pn110.pn.pn = phi { ptr, i32 } [ %.pn110.pn, %244 ], [ %170, %.split155.us ]
  call void @_ZN3HIR11GenericPathD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %20) #9
  br label %246

246:                                              ; preds = %245, %240
  %.pn110.pn.pn.pn = phi { ptr, i32 } [ %.pn110.pn.pn, %245 ], [ %.pn105, %240 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %20) #9
  br label %247

247:                                              ; preds = %227, %237, %238, %246, %226
  %.pn110.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn118.pn.pn.pn, %226 ], [ %.pn110.pn.pn.pn, %246 ], [ %228, %227 ], [ %239, %238 ], [ %.pn103, %237 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #9
  br label %248

248:                                              ; preds = %132, %247, %107, %86, %65, %63
  %.pn110.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %108, %107 ], [ %64, %63 ], [ %.pn101, %86 ], [ %66, %65 ], [ %.pn110.pn.pn.pn.pn.pn, %247 ], [ %133, %132 ]
  call void @_ZN3HIR9TraitPathD2Ev(ptr noundef nonnull align 8 dereferenceable(144) %0) #9
  br label %.critedge128

.critedge128:                                     ; preds = %60, %62, %248
  %.pn110.pn.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn110.pn.pn.pn.pn.pn.pn.pn, %248 ], [ %.pn131, %62 ], [ %61, %60 ]
  resume { ptr, i32 } %.pn110.pn.pn.pn.pn.pn.pn.pn.pn

249:                                              ; preds = %232
  unreachable
}

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_Z27LowerHIR_HigherRankedBoundsRKN3AST18HigherRankedBoundsE(ptr dead_on_unwind noalias writable sret(%"class.HIR::GenericParams") align 8, ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #3

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_Z20LowerHIR_GenericPathRK4SpanRKN3AST4PathE17FromAST_PathClassb(ptr dead_on_unwind noalias writable sret(%"class.HIR::GenericPath") align 8, ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(240), i32 noundef, i1 noundef zeroext) local_unnamed_addr #3

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

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

declare noundef zeroext i1 @_Z13debug_enabledv() local_unnamed_addr #5

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

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

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

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

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

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

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

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

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

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

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

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

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_11GenericPathE(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #5

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

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZN3ASTlsERSoRKNS_4PathE(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(240)) local_unnamed_addr #5

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

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

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

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

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

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZN3ASTlsERSoRKNS_18HigherRankedBoundsE(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #5

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

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare hidden void @_ZZ18LowerHIR_TraitPathRK4SpanRKN3AST4PathERKNS2_18HigherRankedBoundsEbEN1H17find_source_traitES1_RKN3HIR11GenericPathERKNS2_16PathBinding_Type10Data_TraitERK8RcStringRK13Monomorphiser(ptr dead_on_unwind noalias writable sret(%"class.HIR::GenericPath") align 8, ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(96)) local_unnamed_addr #3 align 2

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

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

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

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZlsRSoRK8RcString(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #5

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, i8 } @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEE6insertIS6_IS0_S3_EEENSt9enable_ifIXsr16is_constructibleIS8_T_EE5valueES6_ISt17_Rb_tree_iteratorIS8_EbEE4typeEOSE_(ptr noundef nonnull align 8 dereferenceable(48), ptr noundef nonnull align 8 dereferenceable(48)) local_unnamed_addr #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZSt9make_pairIRK8RcStringN3HIR9TraitPath8AtyEqualEESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS7_INS8_IT0_E4typeEE6__typeEEOS9_OSE_(ptr dead_on_unwind noalias writable sret(%"struct.std::pair.268") align 8, ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(40)) local_unnamed_addr #3

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, i8 } @_ZNSt3mapI8RcStringN3HIR9TraitPath8AtyBoundESt4lessIS0_ESaISt4pairIKS0_S3_EEE6insertIS6_IS0_S3_EEENSt9enable_ifIXsr16is_constructibleIS8_T_EE5valueES6_ISt17_Rb_tree_iteratorIS8_EbEE4typeEOSE_(ptr noundef nonnull align 8 dereferenceable(48), ptr noundef nonnull align 8 dereferenceable(64)) local_unnamed_addr #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZSt9make_pairIRK8RcStringN3HIR9TraitPath8AtyBoundEESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS7_INS8_IT0_E4typeEE6__typeEEOS9_OSE_(ptr dead_on_unwind noalias writable sret(%"struct.std::pair.274") align 8, ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(56)) local_unnamed_addr #3

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

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

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

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

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

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

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !17, i64 136}
!10 = !{!"_ZTSN3HIR9TraitPathE", !11, i64 0, !18, i64 8, !25, i64 40, !34, i64 88, !17, i64 136}
!11 = !{!"_ZTSSt10unique_ptrIN3HIR13GenericParamsESt14default_deleteIS1_EE", !12, i64 0}
!12 = !{!"_ZTSSt15__uniq_ptr_dataIN3HIR13GenericParamsESt14default_deleteIS1_ELb1ELb1EE", !13, i64 0}
!13 = !{!"_ZTSSt15__uniq_ptr_implIN3HIR13GenericParamsESt14default_deleteIS1_EE", !14, i64 0}
!14 = !{!"_ZTSSt5tupleIJPN3HIR13GenericParamsESt14default_deleteIS1_EEE", !15, i64 0}
!15 = !{!"_ZTSSt11_Tuple_implILm0EJPN3HIR13GenericParamsESt14default_deleteIS1_EEE", !16, i64 0}
!16 = !{!"_ZTSSt10_Head_baseILm0EPN3HIR13GenericParamsELb0EE", !17, i64 0}
!17 = !{!"any pointer", !7, i64 0}
!18 = !{!"_ZTSN3HIR11GenericPathE", !19, i64 0, !21, i64 8}
!19 = !{!"_ZTSN3HIR10SimplePathE", !20, i64 0}
!20 = !{!"_ZTS10ThinVectorI8RcStringE", !17, i64 0}
!21 = !{!"_ZTSN3HIR10PathParamsE", !22, i64 0, !23, i64 8, !24, i64 16}
!22 = !{!"_ZTS10ThinVectorIN3HIR11LifetimeRefEE", !17, i64 0}
!23 = !{!"_ZTS10ThinVectorIN3HIR7TypeRefEE", !17, i64 0}
!24 = !{!"_ZTS10ThinVectorIN3HIR12ConstGenericEE", !17, i64 0}
!25 = !{!"_ZTSSt3mapI8RcStringN3HIR9TraitPath8AtyEqualESt4lessIS0_ESaISt4pairIKS0_S3_EEE", !26, i64 0}
!26 = !{!"_ZTSSt8_Rb_treeI8RcStringSt4pairIKS0_N3HIR9TraitPath8AtyEqualEESt10_Select1stIS6_ESt4lessIS0_ESaIS6_EE", !27, i64 0}
!27 = !{!"_ZTSNSt8_Rb_treeI8RcStringSt4pairIKS0_N3HIR9TraitPath8AtyEqualEESt10_Select1stIS6_ESt4lessIS0_ESaIS6_EE13_Rb_tree_implISA_Lb1EEE", !28, i64 0, !30, i64 8}
!28 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessI8RcStringEE", !29, i64 0}
!29 = !{!"_ZTSSt4lessI8RcStringE"}
!30 = !{!"_ZTSSt15_Rb_tree_header", !31, i64 0, !33, i64 32}
!31 = !{!"_ZTSSt18_Rb_tree_node_base", !32, i64 0, !17, i64 8, !17, i64 16, !17, i64 24}
!32 = !{!"_ZTSSt14_Rb_tree_color", !7, i64 0}
!33 = !{!"long", !7, i64 0}
!34 = !{!"_ZTSSt3mapI8RcStringN3HIR9TraitPath8AtyBoundESt4lessIS0_ESaISt4pairIKS0_S3_EEE", !35, i64 0}
!35 = !{!"_ZTSSt8_Rb_treeI8RcStringSt4pairIKS0_N3HIR9TraitPath8AtyBoundEESt10_Select1stIS6_ESt4lessIS0_ESaIS6_EE", !36, i64 0}
!36 = !{!"_ZTSNSt8_Rb_treeI8RcStringSt4pairIKS0_N3HIR9TraitPath8AtyBoundEESt10_Select1stIS6_ESt4lessIS0_ESaIS6_EE13_Rb_tree_implISA_Lb1EEE", !28, i64 0, !30, i64 8}
!37 = !{!38, !43, i64 24}
!38 = !{!"_ZTSN3AST10PathParamsE", !39, i64 0, !43, i64 24}
!39 = !{!"_ZTSSt6vectorIN3AST12PathParamEntESaIS1_EE", !40, i64 0}
!40 = !{!"_ZTSSt12_Vector_baseIN3AST12PathParamEntESaIS1_EE", !41, i64 0}
!41 = !{!"_ZTSNSt12_Vector_baseIN3AST12PathParamEntESaIS1_EE12_Vector_implE", !42, i64 0}
!42 = !{!"_ZTSNSt12_Vector_baseIN3AST12PathParamEntESaIS1_EE17_Vector_impl_dataE", !17, i64 0, !17, i64 8, !17, i64 16}
!43 = !{!"bool", !7, i64 0}
!44 = !{i8 0, i8 2}
!45 = !{}
!46 = !{!17, !17, i64 0}


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