module dmd.TypeInfoInvariantDeclaration;

import dmd.Type;
import dmd.TypeInfoDeclaration;
import dmd.backend.dt_t;
import dmd.backend.Util;
import dmd.backend.TYM;

class TypeInfoInvariantDeclaration : TypeInfoDeclaration
{
	this(Type tinfo)
	{
		super(tinfo, 0);
	    type = Type.typeinfoinvariant.type;
	}

	override void toDt(dt_t** pdt)
	{
		//printf("TypeInfoInvariantDeclaration.toDt() %s\n", toChars());
		dtxoff(pdt, Type.typeinfoinvariant.toVtblSymbol(), 0, TYnptr); // vtbl for TypeInfo_Invariant
		dtdword(pdt, 0);			    // monitor
		Type tm = tinfo.mutableOf();
		tm = tm.merge();
		tm.getTypeInfo(null);
		dtxoff(pdt, tm.vtinfo.toSymbol(), 0, TYnptr);
	}
}