176 void setHasValue(Value &OptionalVal, BoolValue &HasValueVal) {  in setHasValue()  argument
177   OptionalVal.setProperty("has_value", HasValueVal);  in setHasValue()
183   auto OptionalVal = std::make_unique<StructValue>();  in createOptionalValue()  local
184   setHasValue(*OptionalVal, HasValueVal);  in createOptionalValue()
185   return Env.takeOwnership(std::move(OptionalVal));  in createOptionalValue()
190 BoolValue *getHasValue(Environment &Env, Value *OptionalVal) {  in getHasValue()  argument
191   if (OptionalVal != nullptr) {  in getHasValue()
193         cast_or_null<BoolValue>(OptionalVal->getProperty("has_value"));  in getHasValue()
196       OptionalVal->setProperty("has_value", *HasValueVal);  in getHasValue()
238                                                     Value &OptionalVal,  in maybeInitializeOptionalValueMember()  argument
245   if (auto *ValueProp = OptionalVal.getProperty("value")) {  in maybeInitializeOptionalValueMember()
275   OptionalVal.setProperty("value", Env.takeOwnership(std::move(ValueRef)));  in maybeInitializeOptionalValueMember()
282   if (auto *OptionalVal =  in initializeOptionalReference()  local
284     if (OptionalVal->getProperty("has_value") == nullptr) {  in initializeOptionalReference()
285       setHasValue(*OptionalVal, State.Env.makeAtomicBoolValue());  in initializeOptionalReference()
292 bool isEmptyOptional(const Value &OptionalVal, const Environment &Env) {  in isEmptyOptional()  argument
294       cast_or_null<BoolValue>(OptionalVal.getProperty("has_value"));  in isEmptyOptional()
301 bool isNonEmptyOptional(const Value &OptionalVal, const Environment &Env) {  in isNonEmptyOptional()  argument
303       cast_or_null<BoolValue>(OptionalVal.getProperty("has_value"));  in isNonEmptyOptional()
309   if (auto *OptionalVal =  in transferUnwrapCall()  local
313               UnwrapExpr->getType(), *OptionalVal, State.Env))  in transferUnwrapCall()
659   if (auto *OptionalVal =  in diagnoseUnwrapCall()  local
661     auto *Prop = OptionalVal->getProperty("has_value");  in diagnoseUnwrapCall()