Regression test for export visibility checking