5.2.2.7 says *"Where a parameter is of const reference type a temporary object is introduced if
needed (7.1.7, 2.13, 2.13.5, 8.3.4, 12.2)."*. One just needs to look through these cases and decide that no, it is not needed, and therefore no temporary is created and the assertion must hold.