Я так понял, в этом и суть. Что, согласно параграфам а и б этот код должен скомпилироваться, а в реальности нет.
да нет, вполне себе компилируется
https://ideone.com/F7akahпросто поинты против компиляции такие себе:
а) переменную забыл инициализировать: да ну и что, нет никаких особых условий что она тут должна быть инициализирована явно
б) не захватил x: это глобальная переменная вообще-то
и не сильно относящиеся к делу ссылки на стандарт (хотя может я чего-то не знаю конечно)
то есть можно было бы сделать видео и поинтересней