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); }