[test] Add test cases for SR-1681 - spurious "unused result" warning

Author: timbodeit

test/attr/attr_discardableResult.swift

@@ -42,6 +42,11 @@ class C1 {
 
   func f2() -> Int { }
 
+  @discardableResult
+  func f1Optional() -> Int? { }
+
+  func f2Optional() -> Int? { }
+
   @discardableResult
   func me() -> Self { return self }
 
@@ -68,6 +73,10 @@ func testFunctionsInClass(c1 : C1, c2: C2) {
   c1.f2()           // expected-warning {{result of call to 'f2()' is unused}}
   _ = c1.f2()       // okay
 
+  c1.f1Optional()   // okay
+  c1.f2Optional()   // expected-warning {{result of call to 'f2Optional()' is unused}}
+  _ = c1.f2Optional() // okay
+
   c1.me()           // okay
   c2.me()           // okay
 
@@ -91,6 +100,11 @@ struct S1 {
   func f1() -> Int { }
 
   func f2() -> Int { }
+
+  @discardableResult
+  func f1Optional() -> Int? { }
+
+  func f2Optional() -> Int? { }
 }
 
 func testFunctionsInStruct(s1 : S1) {
@@ -106,6 +120,10 @@ func testFunctionsInStruct(s1 : S1) {
   s1.f1()           // okay
   s1.f2()           // expected-warning {{result of call to 'f2()' is unused}}
   _ = s1.f2()       // okay
+
+  s1.f1Optional()   // okay
+  s1.f2Optional()   // expected-warning {{result of call to 'f2Optional()' is unused}}
+  _ = s1.f2Optional() // okay
 }
 
 protocol P1 {
@@ -138,3 +156,23 @@ class X {
   @objc
   func h() -> Int { }
 }
+
+func testOptionalChaining(c1: C1?, s1: S1?) {
+  c1?.f1()         // okay
+  c1!.f1()         // okay
+  c1?.f1Optional() // okay
+  c1!.f1Optional() // okay
+  c1?.f2()         // expected-warning {{result of call to 'f2()' is unused}}
+  c1!.f2()         // expected-warning {{result of call to 'f2()' is unused}}
+  c1?.f2Optional() // expected-warning {{result of call to 'f2Optional()' is unused}}
+  c1!.f2Optional() // expected-warning {{result of call to 'f2Optional()' is unused}}
+
+  s1?.f1()         // okay
+  s1!.f1()         // okay
+  s1?.f1Optional() // okay
+  s1!.f1Optional() // okay
+  s1?.f2()         // expected-warning {{result of call to 'f2()' is unused}}
+  s1!.f2()         // expected-warning {{result of call to 'f2()' is unused}}
+  s1?.f2Optional() // expected-warning {{result of call to 'f2Optional()' is unused}}
+  s1!.f2Optional() // expected-warning {{result of call to 'f2Optional()' is unused}}
+}