HaxeFoundation.haxe/tests/misc/projects/Issue6525/Main.hx

import pack.BasePack;
import pack.IPack;
import pack.Pvt;
import pack.sub.AccessSubPvt;

class Main {
	static function main() {
		//should pass, because pack.sub.SubPvt has @:allow(pack)
		AccessSubPvt.constructExtSubPvt();
	}
}

class Sub extends BasePack implements IPack {
	override public function test() {
		// should fail, because it allows access to specific package - pack
		Pvt1.testPack();
		Pvt2.testPack();
		// should pass, because it allows access to all instances of pack.BasePack (including descendant classes)
		Pvt2.testClass();
		// should pass, because it allows access to all implementers of pack.IPack
		Pvt2.testInterface();
	}
}