// RUN: %target-swift-frontend %s -emit-ir | %FileCheck %s

// REQUIRES: objc_interop

import Builtin

@objc protocol ObjCProto { }

// CHECK: @"$s24generic_requirement_objc13GenericStructVMn" = 
// CHECK-SAME: i32 add {{.*}} ptrtoint (i8** @"\01l_OBJC_PROTOCOL_REFERENCE_$__TtP24generic_requirement_objc9ObjCProto_" {{.*}} @"$s24generic_requirement_objc13GenericStructVMn", {{.*}} i32 3)

struct GenericStruct<T: ObjCProto> { }