A myriad of fixes, including the reabstraction of pack argument values #64464
[NFC] Rewrite the subst-type extracttor to be a CanTypeVisitor
72cc8dcb
Assert if SubstitutionMap::subst tries to replace a non-pack with a pack
91acf1dd
Remove this over-eager assertion about transforming subst SILFunction…
01dac337
Fix the SIL substitution of SubstitutionMaps to respect expansions
e1c3988d
Fix the creation of substituted abstraction patterns for expansions
3342d671
Fix the computation of thunk types for functions involving element ar…
4d5f0906
Reabstract pack values when passing them as arguments
cd3765c9
rjmccall
force pushed
to
cd3765c9
2 years ago
rjmccall
merged
999dbecf
into main 2 years ago
rjmccall
deleted the pack-argument-reabstraction branch 2 years ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub