fix #25433, make `grow_to!` more inferrable#25434

Merged

StefanKarpinski merged 1 commit intomasterfrom jb/fix25433

Jan 7, 2018

+12-2

Commits on Jan 6, 2018

fix #25433 , make grow_to! more inferrable
JeffBezanson
committed