PropertyType

[Steven Schveighoffer via Digitalmars-d]

I have this little helper in my iopipe library:

template PropertyType(alias x)
{
     static if(is(typeof(x) == function))
         alias PropertyType = typeof(x());
     else
         alias PropertyType = typeof(x);
}

This is because when you have code like this:

x.foo

And you are introspecting some type, you can't tell whether this is a 
property function or a field.

If foo is a field, or a function marked as a @property, then 
typeof(x.foo) will be whatever x.foo returns. But if foo is a straight 
function, then typeof(x.foo) will be a function type.

As we all know, @property is not exactly popular, and having to mark 
functions @property just for introspection purposes (applying the tag 
actually has zero impact otherwise) seems incorrect.

But of course, if I want to know what type the expression x.foo will 
yield, I have to do the above.

Is there a use for this in Phobos? Is it already present somewhere? 
Where should it go if it's not there already?

-Steve