Update for rustc

Note that the description of the function seems to imply that insertion will not happen if there is already an element in the list, which is wrong.