Есть ли какие-то препятствия в языке разрешить enum forward declaration следующего вида: само forward declaration, например, enum E : uint16_t;, а definition enum E : uint16_t {a, b, c};? В таком случае forward declared enum можно было бы использовать в определении класса, как тип данного-члена, не раскрывая деталей реализации.

это уже можно
https://en.cppreference.com/w/cpp/language/enum

enum name : type ;  (3)  (since C++11)

enum struct|class name ;  (3)  
enum struct|class name : type ;

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2764.pdf

#include <memory>

struct Kek {
    Kek(const Kek&) = default;

    Kek(std::shared_ptr<int> *x) {
        (void)x;
    };
};

int main() {
    int *p = 0;
    Kek(0u);
}

это компилиться тоже хотя и имеет тип unsigned

https://godbolt.org/z/b6q71a
Есть вот такой код. Он молча собирается msvc с /W4 и gcc с -Wall -Wextra, а clang падает с ошибкой компиляции. Какой компилятор тут "прав" (i.e. "по стандарту")?

Кмк бага гцц и мсвс

https://godbolt.org/z/b6q71a
Есть вот такой код. Он молча собирается msvc с /W4 и gcc с -Wall -Wextra, а clang падает с ошибкой компиляции. Какой компилятор тут "прав" (i.e. "по стандарту")?

#include <memory>

struct Kek {
    Kek(const Kek&) = default;

    Kek(std::shared_ptr<int> *x) {
        (void)x;
    };
};

int main() {
    int *p = 0;
    Kek(0u);
}

это компилиться тоже хотя и имеет тип unsigned

а зачем этот код вообще...

0u это литерал, unsigned(0) нет

Обычно преобразования описываются на уровне типов. Т.е. тип A может неявно сконвертится в тип B, а тут такая засада.

Такой вопрос. Приходит аргумент функтор (лямбда, объект с оператором(), не важно). Как без горождения заборов получить тип его первого входного параметра?

template<typename F>
void foo(F&& f) {
   using Arg1 = ???

Т. Е. для foo([](int, char) {})
Arg1 = int

на ум приходит decltype(std::function{ f }) и далее её в как std::function<R(Arg1, Args...)> передать

Просто я не знаю, не создаю ли я велосипед когда так пишу

Никак, потому что () может быть шаблонным