update for upstream changes to TyFnDef#226

oli-obk merged 2 commits intorust-lang:masterrust-lang/miri:masterfrom

dwrensha:rustupdwrensha/miri:rustupCopy head branch name to clipboard