mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
4cc69b85d6
`: AnyObject` was added only if there were no other constraints because all of them would imply it before, with introduction of `Sendable` this is no longer the case. Let's add `AnyObject` constraint unconditionally and let generic signature builder deal with the redundancy. Resolves: rdar://127520993
55 lines
1.1 KiB
Swift
55 lines
1.1 KiB
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: split-file %s %t
|
|
|
|
// RUN: %target-clang %t/Test.m -c -o %t/Test.o
|
|
// RUN: %target-build-swift %t/main.swift -import-objc-header %t/Test.h %t/Test.o -o %t/main
|
|
// RUN: %target-codesign %t/main
|
|
// RUN: %target-run %t/main | %FileCheck %t/main.swift
|
|
|
|
// REQUIRES: executable_test
|
|
// REQUIRES: objc_interop
|
|
// REQUIRES: concurrency
|
|
// REQUIRES: OS=macosx
|
|
|
|
// rdar://127520993
|
|
|
|
//--- Test.h
|
|
#import <Foundation/Foundation.h>
|
|
|
|
#define SWIFT_SENDABLE __attribute__((__swift_attr__("@Sendable")))
|
|
|
|
@interface Test<N : id SWIFT_SENDABLE> : NSObject
|
|
- (void)luckWithNumber:(nullable N)number;
|
|
@end
|
|
|
|
//--- Test.m
|
|
#import "Test.h"
|
|
|
|
static void NSPrint(NSString *format, ...)
|
|
{
|
|
va_list args;
|
|
|
|
va_start(args, format);
|
|
NSString *string = [[NSString alloc] initWithFormat:format arguments:args];
|
|
va_end(args);
|
|
|
|
fprintf(stdout, "%s\n", [string UTF8String]);
|
|
|
|
#if !__has_feature(objc_arc)
|
|
[string release];
|
|
#endif
|
|
}
|
|
|
|
@implementation Test
|
|
|
|
- (void)luckWithNumber:(id)number
|
|
{
|
|
NSPrint(@"Lucky number: %@", number);
|
|
}
|
|
|
|
@end
|
|
|
|
//--- main.swift
|
|
Test<NSNumber>().luck(withNumber: 5)
|
|
// CHECK: Lucky number: 5
|