This case wll be failed on some machines which enable expensive-checks. This reverts commit af3abbf7.