Actually failing on mincer errors