错误无法到达时，为什么该程序无法编译？

我正在为可变位大小的像素颜色值创建一个类。无论如何，我都能正常工作，但是有些奇怪：

#pragma pack(push, 1)
template <typename my_type>
struct c {
    my_type x;

    c() {}
    c(my_type x) { this->x = x; }

    template<typename target_type>
    c<target_type> convert() {
        if (std::is_same<my_type, target_type>::value) {
            return *this; //<- doesn't work
            return *reinterpret_cast<c<target_type>*>(this); //<- does work
        }

        int target_size = sizeof(((c<target_type>*)0)->x);
        int my_size = sizeof(x);

        if (my_size < target_size) {
            return c<target_type>(x << (target_size - my_size) * 8);
        }

        my_type rounder = ((x >> (my_size - target_size) * 8 - 1) & 9) > 4;
        return c<target_type>((x >> (my_size - target_size) * 8) + rounder);    
    }

};
#pragma pack(pop)

在我标记的行上，我应该能够仅返回* this，但是如果我这样做了，并尝试使用以下测试进行编译：

c<uint8_t> a;
c<uint32_t> b(2147483647);
a = b.convert<uint8_t>();

然后我得到错误

cannot convert from c<uint32_t> to c<uint8_t>

这是没有意义的，因为如果它不应该转换其任何同类型这是不符合的情况下uint32_t，以uint8_t

这是在MSVC上，有人知道为什么会这样吗？