match failure, as expected