roc/crates/compiler/uitest/tests/ability/specialize/opaque_decoder_derive.txt
2025-01-05 05:16:47 -08:00

9 lines
393 B
Text

# +opt infer:print_only_under_alias
app "test" provides [main] to "./platform"
N := U8 implements [Decoding]
main : Decoder N _
main = Decode.custom \bytes, fmt ->
Decode.decode_with bytes Decode.decoder fmt
# ^^^^^^^^^^^^^^ N#Decode.decoder(3): List U8, fmt -[[7]]-> { rest : List U8, result : [Err [TooShort], Ok U8] } where fmt implements DecoderFormatting