Clarify the usage of "hints" in const_eval.#26683

Merged

bors merged 1 commit intorust-lang:masterfrom eefriedman:const-eval-hint

Jul 22, 2015

+194-118

Commits on Jul 18, 2015

Clarify the usage of "hints" in const_eval.
eefriedman
committed