2019-06-27

The meeting largely consisted of discussion of a few nominated issues:

• Rustdoc recursion limit issue

  • Assigned to @nagisa

• Incorrect span / broken rustfix: help: use dyn: dyn #[dom_struct]

  • @davidtwco is assigned and working on a fix.

• Soundness hole in pattern matching on enums with an uninhabited variant

  • Assigned to @eddyb.

• Self as default type isnt typechecked

  • Under discussion at a future T-Lang meeting.

• Incremental compilation results in linker error when method use is removed

  • Assigned to @Zoxc tentatively as @mw is on leave.

• Coherence can be bypassed by an indirect impl for a trait object

  • Assigned to @centril and it has a T-Lang meeting slot.

• The compiler should report publicly exported type names if possible

  • There was some discussion about why this is difficult currently and possible approaches to resolving this issue.
  • No firm conclusion was reached so the nomination label was left on the issue and it can be picked back up next week.

• “immutable field” errors are confusing when the handle is mutable, should describe why it is immutable

  • This issue is P-high for WG-diagnostics but not necessarily the entire compiler team.