Queue and Channel can't be used with direct syntax

[fwbrasil]

There's a compiler crash when opaque types are used with kyo-direct. It can be worked around by providing a type bound to the opaque type, which is why composite effects like Async work ok. Both Queue and Channel are opaque types and don't have a type bound. I'm not sure what we could put as the bound since we don't want to expose the APIs as their Unsafe counterparts. We might need a new wrapping class/allocation for them. More context: https://github.com/getkyo/kyo/pull/985/files#r1907969353

[fwbrasil]

/bounty 200

[algora-pbc]

💎 $200 bounty • Kyo

Steps to solve:

1. Start working: Comment /attempt #993 with your implementation plan
2. Submit work: Create a pull request including /claim #993 in the PR body to claim the bounty
3. Receive payment: 100% of the bounty is received 2-5 days post-reward. Make sure you are eligible for payouts

Thank you for contributing to getkyo/kyo!

Add a bounty • Share on socials

[fwbrasil]

@rssh in case you have some time to have a look. I imagine it could be due to Kyo's wrapper on top of dotty-cps-async but we can't use opaque types without bounds with the direct syntax because of compiler crashes. To reproduce, you only need the kyo-core and kyo-direct modules and then try to use Queue or Channel with the direct syntax.