// RUN: %empty-directory(%t)
// RUN: %target-build-swift -emit-module -module-name tf1202 -emit-module-path %t/tf1202.swiftmodule %S/Inputs/tf1202-differentiability-witness-dead-function-elimination.swift
// RUN: %target-build-swift -I%t -emit-module -O %s

// TF-1202: test bug where DeadFunctionElimination eliminated the
// SILFunction for `func identity<T>` even though a differentiability witness for it
// exists. This causes deserialization of this module to crash when
// trying to deserialize the differentiability witness because it can't find
// the original function `func identity<T>`.

// TF-1239: Test `SynthesizedFileUnit` serialization.

import tf1202

func callit() -> Float {
  return foo()
}