Skip to content

Conversation

pull[bot]
Copy link

@pull pull bot commented May 21, 2022

See Commits and Changes for more details.


Created by pull[bot]

Can you help keep this open source service alive? 💖 Please sponsor : )

AnthonyLatsis and others added 7 commits April 29, 2022 02:42
…'apply' involves associated types

This optimization rewrites only the 'self' argument, and does not know how to
substitute types in the users of the given apply instruction in case the
underlying protocol method returns a `Self`-dependent type. With SE-0309 in
motion, the bail-out logic must be generalized to `Self`-rooted type parameters.
…tutionMapOrIdentity`

This makes `SILCloner::getASTTypeInClonedContext` and `getTypeInClonedContext`,
which use `QueryTypeSubstitutionMapOrIdentity`, work for nested opened archetypes
and consequently fixes inlining of instructions involving these archetypes.
SE-0309: SILOptimizer fixes & reenable executable tests
@kateinoigakukun kateinoigakukun merged commit daca3dc into swiftwasm May 21, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants