// RUN: %target-swift-emit-sil %s
// REQUIRES: asserts

// TF-922: Adjoint value type mismatch assertion failure during direct adjoint
// accumulation in differentiation transform pullback generation.

// The cause is an adjoint value accumulation bug in
// `PullbackEmitter::visitDestructureTupleInst` for tuple values with
// non-tuple-typed adjoint values. This is relevant for array literal
// initialization because `array.uninitialized_intrinsic` returns a tuple
// with a `destructure_tuple` user.

@differentiable
func TF_922(_ x: Float) -> [Float] {
  var result = [x]
  let result2 = true ? result : result
  let result3 = true ? result : result2
  return result3
}

// Assertion failed: (lhs->getType() == rhs->getType() && "Adjoints must have equal types!"), function accumulateDirect, file swift/lib/SILOptimizer/Mandatory/Differentiation.cpp, line 7654.
// Stack dump:
// ...
// 1.	Swift version 5.1.1-dev (Swift d89e9d1881)
// 2.	While running pass #59 SILModuleTransform "Differentiation".
// 3.	While canonicalizing `differentiable_function` SIL node   %12 = differentiable_function [parameters 0] %11 : $@callee_guaranteed (Float) -> @owned Array<Float> // users: %30, %13
// 4.	While ...in SIL function "@main".
// 5.	While processing `[differentiable source 0 wrt 0]` attribute on SIL function "@$s4main17oneElementLiteralySaySfGSfF".
//  for 'oneElementLiteral(_:)' (at tf-922-array.swift:2:1)