Тип проверки перегружает данный оператор

По этой теме много сопутствующих вопросов, но меня до сих пор озадачивает следующий случай:

#include <iostream>
#include <utility>

struct A {};
struct B { void operator + (const B& /* other */) {} };
struct C { C operator + (const C& /* other */) {return *this;} };
struct D { D& operator + (const D& /* other */) {return *this;} };

template <typename T, typename = void>
struct has_p_op : std::false_type {};

template <typename T>
struct has_p_op<T, decltype(std::declval<T>() + std::declval<T>())> : std::true_type {};

int main()
{
    constexpr bool a = has_p_op<A>::value; // false
    constexpr bool b = has_p_op<B>::value; // true
    constexpr bool c = has_p_op<C>::value; // false
    constexpr bool d = has_p_op<D>::value; // false
    std::cout << a << b << c << d << std::endl;
}

почему c и d не оба true?