1 2 3 4 5 6 7 8 9 10
package test:comp; interface foo { resource x; type f = func(x: borrow<x>); f2: f; type x2 = x; f3: func(x: x, x2: x2, x3: borrow<x>, x4: borrow<x2>); }