Путаница с временным объектом

Взгляните на этот фрагмент кода

struct S{ int i; int j;};

int main()
{
   assert(S().i ==  S().j) // is it guaranteed ?
}

Почему?