Add a test to cover structural match for recursive data typesThis didn't use to work prior to r370639, now that this is supportedadd a testcase to prevent regressions.rdar://problem/53602368