Ryan Scott authored May 29, 2019 and Marge Bot committed May 31, 2019

This replaces a panic observed in #16702 with a simple error message
stating that nested `forall`s simply aren't allowed in the type
signature of a `foreign import` (at least, not at present).

Fixes #16702.