#1794 unreachable