Typechecking module capability leak example.