больше вопрос в том что вы хотите более читаемые/вменяемые ошибки компиляции ?
                  
                  
                  я к тому  что как wellformed так и  без него - в большинстве (во всех ?) случаях - будет ошибка компиляции
                  
                  
                
я хочу зафейлить компиляцию, а не получить no diagnostic required ill-formed program, именно
вы заметили, что в моем примере не было ошибки компиляции, а до дыры в ноге остался один вызов size_b?
Обсуждают сегодня