C11_Generic将true和false推断为整数

在C11中,有_Generic宏可以允许很酷的泛型函数.但是,使用true和false会导致在正常情况下不正确的推论：

#include <stdio.h>
#include <stdbool.h>

#define Typename(X) \
  _Generic((X),\
    bool: "bool",\
    int: "int",\
    default: "unkNown")

#if Defined (__STDC_VERSION__) && (__STDC_VERSION__ >= 201112L) && (__bool_true_false_are_defined)
# undef true
# define true ((bool)(1))
# undef false
# define false ((bool)(0))
#endif

int main(void)
{
    printf("1: %s\n",Typename(1));
    printf("true: %s\n",Typename(true));
    printf("false: %s\n",Typename(false));
}

这打印：

1: int
true: bool
false: bool

但是没有重新定义真假的中间位：

1: int
true: int
false: int

这意味着您无法执行_Generic功能,例如：

struct Variant * const int32 = variant_create(1);
struct Variant * const Boolean = variant_create(true);

所以我的问题是：

>重新定义片段是安全的吗？
>这是C11标准中的疏忽还是GCC和Clang中的@L_489_7@？