#RUN: %fish %s
exec cat < nosuchfile
#CHECKERR: warning: An error occurred while redirecting file 'nosuchfile'
#CHECKERR: open: No such file or directory
echo "failed: $status"
#CHECK: failed: 1
not exec cat < nosuchfile
#CHECKERR: warning: An error occurred while redirecting file 'nosuchfile'
#CHECKERR: open: No such file or directory
echo "neg failed: $status"
#CHECK: neg failed: 0
exec cat < /dev/null
echo "not reached"