Противоречивый результат в соответствии с неполным типом и концепцией (sfinae) ⇐ C++

[Anonymous]

Сегодня я случайно обнаружил, что такой код может компилироваться:

Код: Выделить всё

template 
struct foo {
using bar = int;
};

class incomplete;
using incomplete_fb = foo::bar;

int main() {
incomplete_fb i = 0;
}

Тогда я понимаю, что может произойти некоторая несогласованность. Потому что мы не можем гарантировать, что incomplete_fb действительно существует, если выполним частичную специализацию. Например, мы можем изменить код следующим образом:

Код: Выделить всё

template 
struct foo {
using bar = int;
};
template 
requires (sizeof(T) == 8)
struct foo {};

class incomplete;
using incomplete_fb = foo::bar;

struct incomplete {
double d;
};
static_assert(sizeof(incomplete) == 8);

int main() {
incomplete_fb i = 0;
}

Код компилируется для всех файлов gcc/msvc/clang. Но размер incomplete равен 8, и у foo не должно быть полосы.
Это ошибка или UB?
Связанный вопрос:
Особые правила относительно SFINAE для неполных типов


Подробнее здесь: https://stackoverflow.com/questions/797 ... ept-sfinae