#include<type_traits>
auto foo ()
{} // ----> no return statement here, which means it's `void`
int main ()
{
static_assert(std::is_same<decltype(foo()), void>::value, "return type is Not 'void'");
}
I2luY2x1ZGU8dHlwZV90cmFpdHM+CgphdXRvIGZvbyAoKQp7fSAgLy8gLS0tLT4gbm8gcmV0dXJuIHN0YXRlbWVudCBoZXJlLCB3aGljaCBtZWFucyBpdCdzIGB2b2lkYAoKCmludCBtYWluICgpCnsKICBzdGF0aWNfYXNzZXJ0KHN0ZDo6aXNfc2FtZTxkZWNsdHlwZShmb28oKSksIHZvaWQ+Ojp2YWx1ZSwgInJldHVybiB0eXBlIGlzIE5vdCAndm9pZCciKTsKfQo=