// RUN: %empty-directory(%t/src)
// RUN: %empty-directory(%t/sdk)
// RUN: split-file %s %t/src

// RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk) -typecheck %t/src/main.swift \
// RUN:   -import-objc-header %t/src/Test.h \
// RUN:   -strict-concurrency=complete \
// RUN:   -module-name main -I %t -verify

// REQUIRES: objc_interop
// REQUIRES: concurrency

//--- Test.h
#define NS_SWIFT_SENDABLE __attribute__((__swift_attr__("@Sendable")))

#pragma clang assume_nonnull begin

@import Foundation;

NS_SWIFT_SENDABLE
@protocol MyObjCProtocol <NSObject>
@property (readonly, nonatomic) NSString *test;
@end

@protocol MyRefinedObjCProtocol <MyObjCProtocol>
@end

#pragma clang assume_nonnull end

//--- main.swift
struct MyStruct: Sendable {
  let value: any MyObjCProtocol // Ok
}

func compute<T: Sendable>(_ t: T) {}

extension MyObjCProtocol {
  func test() {
    compute(self) // Ok
  }
}

class K : NSObject, MyObjCProtocol {
  // expected-warning@-1 {{non-final class 'K' cannot conform to 'Sendable'; use '@unchecked Sendable'}}
  let test: String = "k"
}

class UncheckedK : NSObject, MyObjCProtocol, @unchecked Sendable { // ok
  let test: String = "unchecked"
}

class KRefined : NSObject, MyRefinedObjCProtocol {
  // expected-warning@-1 {{non-final class 'KRefined' cannot conform to 'Sendable'; use '@unchecked Sendable'}}
  let test: String = "refined"
}

class KUncheckedRefined : NSObject, MyRefinedObjCProtocol, @unchecked Sendable { // Ok
  let test: String = "refined unchecked"
}

@preconcurrency
protocol P : Sendable {
}

protocol Q : Sendable {
}

do {
  class A : NSObject {}

  final class B : A, P {
    // expected-warning@-1 {{'Sendable' class 'B' cannot inherit from another class other than 'NSObject'}}
  }

  final class UncheckedB : A, P, @unchecked Sendable { // Ok
  }

  class C : A, MyObjCProtocol {
    // expected-warning@-1 {{non-final class 'C' cannot conform to 'Sendable'; use '@unchecked Sendable'}}
    // expected-warning@-2 {{'Sendable' class 'C' cannot inherit from another class other than 'NSObject'}}
    let test: String = "c"
  }

  class UncheckedC : A, MyObjCProtocol, @unchecked Sendable { // Ok
    let test: String = "c"
  }

  // A warning until `-swift-version 6`
  final class D : A, Q {
    // expected-warning@-1 {{'Sendable' class 'D' cannot inherit from another class other than 'NSObject'}}
  }

  final class UncheckedD : A, Q, @unchecked Sendable { // Ok
  }
}

do {
  func testSendable<T: Sendable>(_: T) {}

  testSendable(K()) // Ok
  testSendable(UncheckedK()) // Ok
  testSendable(KRefined()) // Ok
  testSendable(KUncheckedRefined()) // Ok
}