This commit is contained in:
Ayaz Hafiz 2023-03-20 15:28:27 -04:00
parent 075332ec88
commit 9563b444cd
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -8820,7 +8820,7 @@ mod solve_expr {
# ^^^^^^^^^^^^^^
"#
),
@"Decoding#Decode.decoder(4) : List U8, fmt -[[]]-> { rest : List U8, result : [Err [TooShort], Ok [False, True]] } | fmt has DecoderFormatting"
@"Decoding#Decode.decoder(4) : List U8, fmt -[[] + fmt:Decode.bool(19):1]-> { rest : List U8, result : [Err [TooShort], Ok [False, True]] } | fmt has DecoderFormatting"
print_only_under_alias: true
);
}