ref: d52fd3b32109f12e529a7f5e380c5ee8f06aefcf
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][:])) }