gcc/testsuite/g++.dg/modules/tpl-tpl-mem-1_b.C

// { dg-additional-options -fmodules-ts }

module foo;

static_assert (sizeof (outer<int>::inner<char>::other::type) == 1);
static_assert (sizeof (outer<char>::inner<int>::other::type) == sizeof (int));