// pos_crossmod — file-local import ownership control. This source imports // shadowmod, while crossmod's separate source has a parameter of that name // and no such import. The caller's qualifier cannot leak into the sibling // package's lexical scope. Both stages build and run 2. package main; import shadowmod; import crossmod; fn main() i32 = { let _ = shadowmod.say(); return crossmod.probe("hi"); };