Fix #11421
auto merge of #11452 : derekchiang/rust/fix-11421, r=cmr

Closes #11421.  A pretty trivial fix.