Google Chrome (v. 17) の border と border-radius の各辺・頂点を個別に指定すると表示がおかしいバグ

何の変哲もないブロック要素に

<div></div>

こういうCSSを指定すると

div { background: #08f; border-top: solid 1px #fc0; border-bottom: solid 1px #048;
border-radius: 5px 5px 0 1px; height: 3em; }

バグる

不思議だねえ
追記：Google Chrome 18 では（こっそり）直ってました