1 2 3 4 5 6 7
package foo:bar; interface foo { resource a {} type t = borrow<a>; type b = borrow<t>; }