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