builtin printf foo > /dev/full should fail

[jim]

Configuration Information [Automatically generated, do not change]:
Machine: i386
OS: linux-gnu
Compiler: gcc
Compilation CFLAGS:  -DPROGRAM='bash' -DCONF_HOSTTYPE='i386' 
-DCONF_OSTYPE='linux-gnu' -DCONF_MACHTYPE='i386-pc-linux-gnu' 
-DCONF_VENDOR='pc' -DLOCALEDIR='/usr/share/locale' -DPACKAGE='bash' -DSHELL 
-DHAVE_CONFIG_H  -I.  -I../bash -I../bash/include -I../bash/lib   -g -O2
uname output: Linux if 2.6.6-1-686 #1 Wed May 12 14:57:57 EST 2004 i686 
GNU/Linux
Machine Type: i386-pc-linux-gnu

Bash Version: 3.0
Patch Level: 0
Release Status: release

Description:
The command
  builtin printf foo > /dev/full
should exit nonzero, but currently does not.

Ideally such a failure would produce a diagnostic, too.
Contrast the above with echo, which does fail
as it should, but still no diagnostic.

Repeat-By:
  $ builtin printf foo > /dev/full && echo bug
  bug
  $ builtin echo   foo > /dev/full || echo ok
  ok

Fix:
        [Description of how to fix the problem.  If you don't know a
        fix for the problem, don't include this section.]