577     assert( old->_dual, "" );  in hashcons()
583   assert( !_dual, "" );         // No dual yet  in hashcons()
584   _dual = xdual();              // Compute the dual  in hashcons()
585   if( cmp(this,_dual)==0 ) {    // Handle self-symmetric  in hashcons()
586     _dual = this;  in hashcons()
589   assert( !_dual->_dual, "" );  // No reverse dual yet  in hashcons()
590   assert( !(*tdic)[_dual], "" ); // Dual not in type system either  in hashcons()
592   tdic->Insert((void*)_dual,(void*)_dual);  in hashcons()
593   ((Type*)_dual)->_dual = this; // Finish up being symmetric  in hashcons()
595   Type *dual_dual = (Type*)_dual->xdual();  in hashcons()
674   const Type* dual_join = mt->_dual;  in check_symmetrical()
675   const Type *t2t    = dual_join->xmeet(t->_dual);  in check_symmetrical()
676   const Type *t2this = dual_join->xmeet(this->_dual);  in check_symmetrical()
682   if( !interface_vs_oop(t) && (t2t != t->_dual || t2this != this->_dual) ) {  in check_symmetrical()
688     tty->print("t_dual=                 ");       t->_dual->dump(); tty->cr();  in check_symmetrical()
689     tty->print("this_dual=              ");          _dual->dump(); tty->cr();  in check_symmetrical()
690     tty->print("mt_dual=                ");      mt->_dual->dump(); tty->cr();  in check_symmetrical()
735   const Type *mt_dual = this_t->_dual->xmeet(t->_dual);  in meet_helper()
736   this_t->_dual->check_symmetrical(t->_dual, mt_dual);  in meet_helper()