Update an obsolete comment about conditions
auto merge of #13399 : SimonSapin/rust/patch-8, r=cmr