Bash crash bug

[Matthias Zimmerman]

I found a bug in bashes redirection?
anyway the recipe for disaster is,

cat <(sudo {any command}) | {any other command}

And if you ctl-C it/ try to kill it, bash will die