Fix erroroneous implication#2017

gdennie wants to merge 1 commit into

rust-lang:masterrust-lang/rust-by-example:masterfrom

gdennie:patch-2gdennie/rust-by-example:patch-2Copy head branch name to clipboard