;;; TEST pass check
@public module m of
@public item: extern.core.nat.Nat = 0
use m.item
@public use item as foo
Also add a [Description] please. What is so noteworthy about this one? Well, the “equivalent” Rust code fails to compile. In Lushui, it works, since we pierce through / collapse use chains.
Namely
Also add a
[Description]
please. What is so noteworthy about this one? Well, the “equivalent” Rust code fails to compile. In Lushui, it works, since we pierce through / collapse use chains.