   // expected-note @+1 {{member is not differentiable because the corresponding protocol requirement is not '@differentiable'}}
   return x + 1
 }
-_ = gradient(at: 1.0, in: generic)
 
 // Test unmet generic requirements.
 

let _: @differentiable (Float) -> TF_691<Float> = { x in id(TF_691(x)) }

//===----------------------------------------------------------------------===//
// Property wrappers
//===----------------------------------------------------------------------===//

@propertyWrapper

) where T.AllCases : ExpressibleByStringLiteral {
  return (x, { $0 })
}
@differentiable
func weirdWrapper<T : Differentiable>(_ x: T) -> T {
  // expected-error @+2 {{expression is not differentiable}}
  // expected-note @+1 {{function call is not differentiable because generic requirements are not met: 'T : CaseIterable, T.AllCases : ExpressibleByStringLiteral'}}
  return weird(x)
}

@differentiable
func direct<T : Differentiable>(_ x: T) -> T {
