Files
swift-mirror/lib/AST/RequirementEnvironment.cpp
Slava Pestov a8bca07e54 AST: Fix handling of pack conformance requirements in RequirementEnvironment
If a generic signature states a requirement `each T: P`, we must wrap the
abstract conformance in a pack conformance first.

We let this slide before, but it's now flagged by SubstitutionMap::verify().
2024-11-15 17:26:35 -05:00

9.6 KiB