DecodeUtf8 is not error safe

This commit is contained in:
microproofs 2025-01-09 21:28:29 +07:00
parent 2c214186b6
commit 7462f1d52f
No known key found for this signature in database
GPG Key ID: 14F93C84DE6AFD17
1 changed files with 0 additions and 1 deletions

View File

@ -233,7 +233,6 @@ impl DefaultFunction {
| DefaultFunction::AppendByteString
| DefaultFunction::LessThanEqualsByteString
| DefaultFunction::LessThanByteString
| DefaultFunction::DecodeUtf8
| DefaultFunction::BData => arg_stack.iter().all(|arg| {
if let Term::Constant(c) = arg {
matches!(c.as_ref(), Constant::ByteString(_))