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

6 lines
167 B
Text

app "test" provides [main] to "./platform"
N := U8 implements [Eq]
main = Bool.is_eq (@N 15) (@N 23)
# ^^^^^^^^^^ N#Bool.is_eq(3): N, N -[[#N_is_eq(3)]]-> Bool