Allow opaque type aliases of context functions #18749
scf37
started this conversation in
Feature Requests
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
-
Motivation: Given
opaque type R[A] = Context ?=> A
, I want to allow type conversionR[A] -> A
but denyA -> R[A]
Beta Was this translation helpful? Give feedback.
All reactions