为什么 RVO 不应用于基类子对象初始化？

为什么移动构造函数是Base在继承的情况下是强制性的（class B）在下面的代码中（在 gcc 7.2 和 clang 4.0 中）？我希望 C++17 中保证复制省略不需要它，就像组合的情况一样（class A).

struct Base {
    Base(Base&&) = delete;
    Base& operator=(Base&&) = delete;

    Base()
    {
    }
};

Base make_base()
{
    return Base{};
}

struct A {
    A() : b(make_base()) {} // <<<--- compiles fine

    Base b;
};

#ifdef FAIL
struct B : public Base {
    B() : Base(make_base()) {} // <<<--- "Base(Base&&) is deleted"
};
#endif

example https://godbolt.org/g/w3jRuc

根据理查德·史密斯的说法 https://bugs.llvm.org/show_bug.cgi?id=34516#c1:

这是标准措辞的缺陷。初始化基类子对象时不能保证复制省略，因为基类可以具有与相应的完整对象类型不同的布局。