​​T-Lang Meeting: 2019.07.11

​​Action items

  • ​​Report for "Re-Rebalancing Coherence" #55437 ​@Nicholas M​
  • ​​#61553 — Comment for pre-rfc discussion, remove nominated tags ​@Nicholas M​
  • ​​#53120 — ​@Mazdak F​ will write a summary of concerns / pre-report
  • ​​#57012 - Josh to take to project-wide sync meeting ​@Josh T​
  • ​​​@Mazdak F​ to write an elaborated example
  • ​​​@Nicholas M​ to write up potential solutions for #57893

​​Attending

  • ​​centril
  • ​​cramertj
  • ​​scottmcm
  • ​​boats
  • ​​nikomatsakis
  • ​​arielb1
  • ​​josh

​​Triage

  • ​​Review last week’s action items
  • ​​Self as default type isnt typechecked #61631 
  • ​​Coherence can be bypassed by an indirect impl for a trait object #57893
  • ​​[beta] Permit unwinding through FFI by default #62505
  • ​​Current status: Had a deadline on getting “the work” done
  • ​​Deadline prompted a pre-RFC and then RFC #58794, people are talking and taking next steps, but not yet fully resolved
  • ​​Need a “champion”?
  • ​​ Extend `#[must_use]` to nested structures #62262 
  • ​​Implementation to make #[must_use]​ more useful 
  • ​​No RFC — do we want one? Might be overkill?
  • ​​Decided to do a crater run and try to gather data
  • ​​josh will follow up to confirm whether any platforms have hidden issues with this default behavior
  • ​​this sounds like the most logical choice, so I hope it holds
  • ​​things are proceeding — test suite needs updating
  • ​​test that calling an async unsafe fn gives an error, for example
  • ​​also there is an initial reference PR, perhaps review