Skip to content

Conversation

@simeonschaub
Copy link
Member

@simeonschaub simeonschaub commented Jun 25, 2021

Marking this as RFC, since I am not certain that this is actually
correct.

@simeonschaub simeonschaub added the types and dispatch Types, subtyping and method dispatch label Jun 25, 2021
@simeonschaub simeonschaub requested a review from vtjnash June 25, 2021 10:25
Marking this as RFC, since I am not certain that this is actually
correct.
@simeonschaub
Copy link
Member Author

Closing in favor of #41516.

@DilumAluthge DilumAluthge deleted the sds/fix_41349 branch August 24, 2021 05:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

types and dispatch Types, subtyping and method dispatch

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants