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
-
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