Thomas B

Any news about the congruence closure's performance impact ? I'd be interested by that feature (more specifically the feature that came with it to iterate over the unioned keys). EDIT:...

This is great! I often could use this!

Any chance this could get merged? (Btw this conflicts)

That would be really really useful considering how recurring this pattern is. Currently I refrain from using it because of the footguns implied by the unsoundness, but that would otherwise...

> I created a repository that fixes some soundness issues. https://github.com/utilForever/owning-ref-rs With the history being entirely rewritten it's unclear what unsoundness issues are fixed/to what extent these differ from the...

@noamtashma would you consider releasing this as a separate crate on crates.io?

Amazing, thanks! :)

Issues are not enabled by default on forks, would it be possible to enable them on the repository so that we can get notified in case somebody notices an issue?

Wouldn't only making the functions that provide access to the Owner require the `AliasableDeref` bound be enough to fix this unsoundness issue? In which case it may be reasonable to...

Some WIP here: https://github.com/Ten0/rust-bundler