Add a great test case.

Created to convince moors that certain code should compile, it
wound up flushing out some quite nutty behavior. Some day this
will compile rather than having an 11-failure checkfile.
Merge pull request #3508 from paulp/pr/great-test

Add a great test case for SI-764, which hopefully one day will compile.