public void finalizeSlotTypeComputations() {
    { MethodSlot self = this;

      { Stella_Class ownerclass = ((self.slotOwner != null) ? ((Stella_Class)(self.slotOwner.surrogateValue)) : ((Stella_Class)(null)));

        { StandardObject ts = null;
          Cons iter000 = self.methodParameterTypeSpecifiers().theConsList;

          for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
            ts = ((StandardObject)(iter000.value));
            StandardObject.validateTypeSpecifier(ts, ownerclass, false);
          }
        }
        if (((CompoundTypeSpecifier)(KeyValueList.dynamicSlotValue(self.dynamicSlots, Stella.SYM_STELLA_SLOT_TYPE_SPECIFIER, null))) != null) {
          self.slotBaseType = StandardObject.validateTypeSpecifier(((CompoundTypeSpecifier)(KeyValueList.dynamicSlotValue(self.dynamicSlots, Stella.SYM_STELLA_SLOT_TYPE_SPECIFIER, null))), ownerclass, false);
        }
        { StandardObject ts = null;
          Cons iter001 = self.methodReturnTypeSpecifiers().rest();

          for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
            ts = ((StandardObject)(iter001.value));
            StandardObject.validateTypeSpecifier(ts, ownerclass, false);
          }
        }
      }
    }
  }