roc/crates/compiler/uitest/tests/solve/alias_propagates_able_var.txt
2023-06-05 20:19:00 -04:00

8 lines
275 B
Text

app "test" provides [zeroEncoder] to "./platform"
MEncoder fmt := List U8, fmt -> List U8 where fmt implements Format
Format implements it : fmt -> {} where fmt implements Format
zeroEncoder = @MEncoder \lst, _ -> lst
#^^^^^^^^^^^{-1} MEncoder a where a implements Format