Yes, when you actually give it a moment of thought, this is the only way it could work. Although the compiler does need to do some introspection one way or another, I suppose.