validation-test/compiler_crashers_2_fixed/sr13118.swift

// RUN: %target-typecheck-verify-swift %s

public struct S<T : Codable> : Codable {
  var s: [T]!
}