ref: 9f1ac5b4a1f2bb17b145c37f22bfc1b06432220e
dir: /test/genericimpl.myr/
use std trait gimpl @a = desc : (x : @a -> byte[:]) ;; impl gimpl int = desc = {x -> "int" } ;; impl gimpl byte[:] = desc = {x -> "string" } ;; impl gimpl @a = desc = {x -> "@a" } ;; impl gimpl @b[:] = desc = {x -> "@a[:]" } ;; const main = { std.put("{} {} {} {}\n", desc(123), desc("foo"), desc('x'), desc([true][:])) }