Error correction for missing idents#31065

Merged

bors merged 6 commits intorust-lang:masterfrom nrc:ident-correct

Jan 26, 2016

+233-163

Commits on Jan 25, 2016

Fix a rebasing issue and addressed reviewer comment
nrc
committed