Rejects, at compile time, domains that boundary could not correctly describe: a hand-written use Boundary alongside the extension, a resource or an export outside the domain's namespace, and an exports entry that names a resource.