Code

fix for issue #8636#51894

Code

Merged

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom mikhail-m1:8636mikhail-m1/rust:8636Copy head branch name to clipboardJul 6, 2018

+357-16

Commits

Commits on Jul 5, 2018

• fix for issue rust-lang#8636

  mikhail-m1

  committed
  f247a3e

  Copy full SHA for f247a3e

Commits on Jul 6, 2018

• tweak comment

  nikomatsakis

  authored
  6d0644c

  Copy full SHA for 6d0644c