On 05/21/2013 11:31 PM, Diggory wrote: > ... > > It would be very easy to introduce paradoxes This is the case already. > if this were possible, simply use a static if to call something only if it is unreachable. I don't think this would be possible because function-local symbols are not accessible from outside.