mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
Previously we could incorrectly propagate `TVO_CanBindToPack` to a type variable that cannot bound to a pack type.
6 lines
623 B
Swift
6 lines
623 B
Swift
// {"kind":"emit-silgen","original":"6943e75f","signature":"swift::SILFunctionType::SILFunctionType(swift::GenericSignature, swift::SILExtInfo, swift::SILCoroutineKind, swift::ParameterConvention, llvm::ArrayRef<swift::SILParameterInfo>, llvm::ArrayRef<swift::SILYieldInfo>, llvm::ArrayRef<swift::SILResultInfo>, std::__1::optional<swift::SILResultInfo>, swift::SubstitutionMap, swift::SubstitutionMap, swift::ASTContext const&, swift::RecursiveTypeProperties, swift::ProtocolConformanceRef)"}
|
|
// RUN: not %target-swift-frontend -emit-silgen %s
|
|
func a<each b : BinaryInteger>(c : repeat each b) {
|
|
UInt32(repeat each c)
|
|
}
|