Sema: Test that we can't use SPI operators in inlinable code

Author: xymus

test/SPI/local_spi_decls.swift

@@ -115,20 +115,32 @@ public func publicFuncWithDefaultValue(_ p: SPIClass = SPIClass()) {} // expecte
 @_spi(S)
 public func spiFuncWithDefaultValue(_ p: SPIClass = SPIClass()) {}
 
+public struct PublicType {
+    public init() { }
+}
+@_spi(S) public func -(_ s1: PublicType, _ s2: PublicType) -> PublicType { s1 }
+
+public let o1 = PublicType()
+public let o2 = PublicType()
+
 @inlinable
 public func inlinablePublic() {
   spiFunc() // expected-error {{global function 'spiFunc()' cannot be used in an '@inlinable' function because it is SPI}}
   let _ = SPIClass() // expected-error {{class 'SPIClass' cannot be used in an '@inlinable' function because it is SPI}}
   // expected-error@-1 {{initializer 'init()' cannot be used in an '@inlinable' function because it is SPI}}
+  let _ = o1 - o2 // expected-error {{operator function '-' cannot be used in an '@inlinable' function because it is SPI}}
 }
 
 @_spi(S)
 @inlinable
 public func inlinableSPI() {
   spiFunc()
   let _ = SPIClass()
+  let _ = o1 - o2
 }
 
 @_spi(S) func internalFunc() {} // expected-error {{internal global function cannot be declared '@_spi' because only public and open declarations can be '@_spi'}}
 
 @_spi(S) package func packageFunc() {} // expected-error {{package global function cannot be declared '@_spi' because only public and open declarations can be '@_spi'}}
+
+let _ = o1 - o2