public function setHasReturn(bool $has_return) { $this->setPhanFlags(Flags::bitVectorWithState($this->getPhanFlags(), Flags::HAS_RETURN, $has_return)); }