Case: struct S { ~S() = delete; }; S f(); int main() { using X = decltype(f()); // #1 using Y = decltype(S{}); // #2 } #2 is wrongly rejected in C++17 mode. #1 is not ill-formed for the deleted destructor as per C++11 [dcl.type.simple]/5: > ... in the case where the operand of a decltype-specifier is a function call and the return type of the function is a class type, a special rule (5.2.2) ensures that the return type is not required to be complete (as it would be if the call appeared in a sub-expression or outside of a decltype-specifier) ... In particular, it is not necessary to allocate storage for a temporary object or to enforce the semantic constraints associated with invoking the type's destructor. ... This rule is expanded by P0135R1 for cases like #2, which is adopted in C++17. (See also P0929R2.)