Hello<div><br></div><div>I am looking for @safe like semantics for a user defined attribute. Say the attribute is named @foo, then I want to make sure that functions declared with the attribute can call only the functions declared with the same attribute. There could be other possibilities as well, like a function without @foo attribute not being able to call a function with the attribute in its body.</div>

<div><br></div><div>As far as I know D does not allow static or dynamic implementation of such semantics today. But still I thought I should check it up with the experts on the group. Can this type of checking be created at compile time or even at runtime? If not, will it be a sound enhancement request?</div>

<div><br></div><div>Any ideas.</div><div><br></div><div>Regards</div><div>- Puneet</div>