ThreadSky
About ThreadSky
Log In
lukaswirth.bsky.social
•
65 days ago
Another day goes by where I wish we had disjointness based on associated types
https://github.com/rust-lang/rfcs/pull/1672
Comments
Log in
with your Bluesky account to leave a comment
[–]
lcnr.bsky.social
•
58 days ago
you do :3 it's just somewhat messy, see
https://github.com/lcnr/random-rust-snippets/issues/10
as well as a more realistic example in
https://github.com/lcnr/rust/blob/e442e157f33b68d9e71e2a56a5c85b1c4ec28cd8/compiler/rustc_type_ir/src/traverse/mod.rs
1
1
reply
[–]
lukaswirth.bsky.social
•
58 days ago
Okay let me rephrase it, I want it in a readable manner :D
1
1
reply
[–]
lcnr.bsky.social
•
57 days ago
it's not that bad :>
0
reply
Posting Rules
Be respectful to others
No spam or self-promotion
Stay on topic
Follow Bluesky's terms of service
×
Reply
Post Reply
Comments