trait object constraint correction#1670

ehuss merged 2 commits intorust-lang:masterrust-lang/reference:masterfrom

pazmank:masterpazmank/reference:masterCopy head branch name to clipboard