Skip to content

Conversation

Sergio0694
Copy link
Member

This PR removes a handful of unnecessary stubs. We can just cast a delegate instead and avoid all that generated code.

@Sergio0694 Sergio0694 merged commit 55fea4a into staging/AOT Jan 22, 2024
@Sergio0694 Sergio0694 deleted the user/sergiopedri/remove-unnecessary-stubs branch January 22, 2024 19:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants