Если встроенная и внешняя структура имеют метод с одним именем, вызывается метод внешней. Внешний метод "затеняет" встроенный. Доступ к встроенному явно: b.A.M(). Для переопределения поведения внешняя структура объявляет свой метод с тем же именем.