z_outsider_filetest.gno

 1// PKGPATH: gno.land/r/moul/main
 2package main
 3
 4import "gno.land/r/moul/x/upgrade/adminreg/facade/v0"
 5
 6// Nominating is bounded by path even though accepting is bounded by owner: a
 7// realm outside the prefix cannot even fill the candidate list with noise.
 8func main(cur realm) {
 9	facade.Propose(cross(cur), nil)
10}
11
12// Error:
13// unauthorized: gno.land/r/moul/main is not under gno.land/r/moul/x/upgrade/adminreg/impl/