On always-applicable trait impls
Specialization is cool and people really want it. We also already use it in the standard library a bunch for performance reasons.
lcnr :3
writing about stuff
Latest posts
Next-generation trait solver update
For general info about the new trait solver, see this separate blog post. This blog post is not targeted at a general audience. It’s targeted at nobody to be honest. I wrote it for myself to figure out what I need to do.
Implicit auto traits and trait definitions
Waddup everyone!
∀ does not imply ∃
duh :>
Adding implicit auto-trait bounds is hard
Waddup gamers, there are a lot of desirable extensions for Rust which boil down to adding a new implicit/default trait bound. some sort of Leak bound for improved linear type support/to avoid dropping stuff that is AsyncDrop something something Moveable to supercede Pin the merged experimental feature(sized_hierarchy) which adds MetaSized as a super trait of Sized
rustc trait system refactor update
While overflow handling continues to be a major source of pain, there has been some quite significant progress this week. Will try to summarize my current understanding over the next week and will hopefully end up with an acceptable status quo, even if imperfect.