Update test/AutoDiff/Sema/differentiable_attr_type_checking.swift with a new (unexpected?) failure

Eugene Burmako · Eugene Burmako · commit ca16e69c6ef4 · 2020-01-26T12:11:50.000-08:00
diff --git a/test/AutoDiff/Sema/differentiable_attr_type_checking.swift b/test/AutoDiff/Sema/differentiable_attr_type_checking.swift
@@ -845,6 +845,7 @@ extension TF_521 where T: Differentiable, T == T.TangentVector {
     return (TF_521(real: real, imaginary: imaginary), { ($0.real, $0.imaginary) })
   }
 }
+// expected-error @+1 {{result type 'TF_521<Float>' does not conform to 'Differentiable', but the enclosing function type is '@differentiable'}}
 let _: @differentiable (Float, Float) -> TF_521<Float> = { r, i in
   TF_521(real: r, imaginary: i)
 }

Original file line number	Diff line number	Diff line change
`@@ -845,6 +845,7 @@ extension TF_521 where T: Differentiable, T == T.TangentVector {`
`845`	`845`	`return (TF_521(real: real, imaginary: imaginary), { ($0.real, $0.imaginary) })`
`846`	`846`	`}`
`847`	`847`	`}`
	`848`	`+// expected-error @+1 {{result type 'TF_521<Float>' does not conform to 'Differentiable', but the enclosing function type is '@differentiable'}}`
`848`	`849`	`let _: @differentiable (Float, Float) -> TF_521<Float> = { r, i in`
`849`	`850`	`TF_521(real: r, imaginary: i)`
`850`	`851`	`}`