Actually it is failing because of a bug! I proposed a fix in #2899.