gcc/testsuite/g++.dg/modules/enum-4_b.C

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

import bob;

static_assert (same<int, float>::value == 0);
static_assert (same<int *, int *>::value == 1);