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