New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Exposing functions to create type equality witness #1

Closed

mbarbin wants to merge 1 commit into main from same-witness

Owner

mbarbin commented Feb 19, 2024

Needs additional work.

Also: Does same_witness allocate the option on every call? If yes, can we make it not to?

Wip

5c4d516

Owner Author

mbarbin commented Oct 26, 2024

In retrospect, I no longer favor exposing in the API casting helpers, and would prefer to keep it internal. I will be closing this issue as won't do.

I still like the use of type witness in the implementation, which I am currently exploring in another PR.

mbarbin closed this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet