public HolderValue(HolderValue other)
{
have_data = other.haveData();
data = other.referenced();
if (have_data)
{
}
}
protected override void handle_result(TypeValue result)
{
//@@@ Debug.Assert(!have_value);
have_value = true;
value = new HolderValue(result);
}
