Что такое tilde в constraints в Go и зачем это нужно?

Суть:

~T

разрешает типы, у которых underlying type равен T.

Пример:

type StringLike interface { ~string }

Типичная ошибка: не отличать конкретный тип от underlying type.

Как отвечать на собеседовании: Расскажите про неявную реализацию, маленькие интерфейсы и осознанное использование generics, а не про наследование.