@Aaron Turon well, at least we have the syntactic support ready due to #[may_dangle] :D

@Aaron Turon so... let's see if I understand this... #[no_infer] Bar means that when we have a unification var ?T, the inferencer will avoid equating ?T = MyBar due to constraints such as "only impl" and require that e.g. let bar: &MyBar = foo.as_ref(); or <_ as AsRef<MyBar>>::as_ref(&foo) be written explicitly?

basically I was thinking it would be pretty valuable to try and go furthre with this roadmap and try to turn it into something more concrete

maybe extend the meeting to 1hr

I would say maybe use Zoom for more bandwidth, but I think many folks prefer Zulip, not sure about that part. With enough prep I think a Zulip meeting can do really well for these sorts of things but sometimes I also find it hard, because it's hard to keep the doc + the chat kind of both visible at once