// { dg-do compile { target c++20 } }

template <auto N> struct A {};
template <class,class> struct assert_same;
template <class T> struct assert_same<T,T> {};

#define TEQ(X,Y) static_assert(__is_same(A<(X)>,A<(Y)>))
#define TNEQ(X,Y) static_assert(!__is_same(A<(X)>,A<(Y)>))

struct C { int i; };

struct B: C
{
  int j[3];
} b;

// { dg-final { scan-assembler _Z1f1AIXaddtL_Z1bE1iEE } }
void f(A<&b.i>) {}
TEQ(&b.i,&((C*)&b)->i);

// { dg-final { scan-assembler "_Z1g1AIXadixdtL_Z1bE1jL\[silx]1EEE" } }
void g(A<&b.j[0]+1>) {}
TEQ(&b.j[1],&b.j[1]);
TEQ(&b.j[1],&b.j[0]+1);
TNEQ(&b.j[1],&b.j[0]);