// RUN: rm -rf %t
// RUN: split-file %s %t
// RUN: not %target-swift-frontend -typecheck -I %t/Inputs  %t/test.swift  -enable-experimental-cxx-interop -diagnostic-style llvm 2>&1 | %FileCheck %s

//--- Inputs/module.modulemap
module Test {
    header "test.h"
    requires cplusplus
}

//--- Inputs/test.h
struct Ptr { int *p; };
struct __attribute__((swift_attr("import_owned"))) StringLiteral { const char *name; };

struct M {
  M(const M&);
  int *_Nonnull test1() const;
  int &test2() const;
  Ptr test3() const;

  int *begin() const;

  StringLiteral stringLiteral() const { return StringLiteral{"M"}; }
};

//--- test.swift

import Test

public func test(x: M) {
  // CHECK: note: C++ method 'test1' that returns a pointer of type 'UnsafeMutablePointer' is unavailable
  // CHECK: note: C++ method 'test1' may return an interior pointer
  // CHECK: note: annotate method 'test1' with 'SWIFT_RETURNS_INDEPENDENT_VALUE' in C++ to make it available in Swift
  x.test1()
  // CHECK: note: C++ method 'test2' that returns a reference of type 'UnsafeMutablePointer' is unavailable
  // CHECK: note: C++ method 'test2' may return an interior pointer
  // CHECK: note: annotate method 'test2' with 'SWIFT_RETURNS_INDEPENDENT_VALUE' in C++ to make it available in Swift
  x.test2()
  // CHECK: note: C++ method 'test3' that returns a value of type 'Ptr' is unavailable
  // CHECK: note: C++ method 'test3' may return an interior pointer
  // CHECK: note: annotate method 'test3' with 'SWIFT_RETURNS_INDEPENDENT_VALUE' in C++ to make it available in Swift
  // CHECK: note: annotate type 'Ptr' with 'SWIFT_SELF_CONTAINED' in C++ to make methods that return it available in Swift
  x.test3()
  // CHECK: note: C++ method 'begin' that returns an iterator is unavailable
  // CHECK: note: C++ methods that return iterators are potentially unsafe; try using Swift collection APIs instead
  x.begin()

  // CHECK-NOT: error: value of type 'M' has no member 'stringLiteral'
  x.stringLiteral()
}
