Frits van Bommel wrote: > I think "typeof(this) == S*" is the current situation. What they're > suggesting is "typeof(this) == ref S". Not exactly, ref is not a type constructor. typeof(this)==S