2021-Oct: Lang team update
Summary
- Impl is largely ready
- Blocked on deciding the question of upcast safety
Goals for this month
- Hold design meeting about upcast safety and reach a conclusion
Deref coercion
It was discovered in #89190 that extending "unsizing coercions" to include upcasts can cause deref coercions not to trigger, if those deref coercions "deref" to a dyn
type. Current plan is to issue future compatibility warnings in #89461, since the only known use of this is emulating the upcasting coercion (and hence the code will continue to work afterwards, but the Deref impl is not invoked).