Stefan Monnier wrote:

(encode-coding-string "\x80" 'utf-8)
=> "\302\200"


Duh!  Looks like a serious bug to me.
Handa-san, what's up with that?

Why is it a serious bug? Are you expecting invalid utf-8 to be output from that function?