Enhanced nested type test case.