[AD] struct_extract result is varied only if field isn't `@noDerivative`
If a stored property of a struct with synthesized Differentiable
conformance is of a type that conforms to Differentiable, but is marked
`@noDerivative`, a struct_extract instruction that extracts that
property shouldn't propagate variedness to its result.