public function specifyFetchedPropertyFromIsset(PropertyFetch $expr) : self { $exprString = $this->printer->prettyPrintExpr($expr); return $this->addMoreSpecificTypes([$exprString => new MixedType(false)]); }