It might be worth noting that both PRs described in the slides have already been merged.

Links to the PRs (the discussions are worth a read):

1. https://github.com/mozilla/rust/pull/10830

2. https://github.com/mozilla/rust/pull/10965