规则位于 [basic.lval]/9 :

除非另有说明([dcl.type.simple])，否则prvalue必须始终具有完整类型或void类型； ...

Unless otherwise indicated ([dcl.type.simple]), a prvalue shall always have complete type or the void type; ...