Object - part of the language, or part of Phobos?

[Steve Teale]

module smem;

import std.stdio;

struct X
{
   int n;
   double d;
   char[] a;
}

void main()
{
   X x;
   TypeInfo typeinfo = typeid(x);                  // or typeid(x) for that matter
   writefln("%s", typeinfo);                           // smem.X
   OffsetTypeInfo[] tia = typeinfo.offTi();        // "Get type information on
the contents of the type; null if not available"
   writeln((tia is null)? "null": "");                 // null
   // Under what circumstances is the OffsetTypeInfo information available?
}