Тут в комментах к этом посту прислали восхитительный пример. Хорошо я сидел, когда это увидел.

Вот такое:

struct Empty {};

struct Good : Empty {
  int i;
  char c;
};

struct Bad {
  int i;
  char c;
};

template <typename T>
struct S : T {
  char c;
};

static_assert(sizeof(S<Good>) < sizeof(S<Bad>));

int main() {
  return 0;
}

Админ канала ушел плакать в уголок и просить книжечку по GoLang. 😭😭😭😭