415 static Optional<RefVal> refValFromRetEffect(RetEffect RE,  in refValFromRetEffect()  argument
417   if (RE.isOwned()) {  in refValFromRetEffect()
418     return RefVal::makeOwned(RE.getObjKind(), ResultTy);  in refValFromRetEffect()
419   } else if (RE.notOwned()) {  in refValFromRetEffect()
420     return RefVal::makeNotOwned(RE.getObjKind(), ResultTy);  in refValFromRetEffect()
478   RetEffect RE = Summ.getRetEffect();  in processSummaryOfInlined()  local
481     if (RE.getKind() == RetEffect::NoRetHard)  in processSummaryOfInlined()
679   RetEffect RE = Summ.getRetEffect();  in checkSummary()  local
681   if (RE.getKind() == RetEffect::OwnedWhenTrackedReceiver) {  in checkSummary()
683       RE = getSummaryManager(C).getObjAllocRetEffect();  in checkSummary()
685       RE = RetEffect::MakeNoRet();  in checkSummary()
690     if (RE.notOwned()) {  in checkSummary()
695     if (Optional<RefVal> updatedRefVal = refValFromRetEffect(RE, ResultTy))  in checkSummary()
1051   RetEffect RE = RetEffect::MakeNoRet();  in processReturn()  local
1056     RE = Summ->getRetEffect();  in processReturn()
1060       RE = Summ->getRetEffect();  in processReturn()
1064   return checkReturnWithRetEffect(S, C, Pred, RE, X, Sym, state);  in processReturn()
1070                                                   RetEffect RE, RefVal X,  in checkReturnWithRetEffect()  argument
1084     if (RE.getKind() != RetEffect::NoRet) {  in checkReturnWithRetEffect()
1085       if (!RE.isOwned()) {  in checkReturnWithRetEffect()
1106     if (RE.isOwned()) {  in checkReturnWithRetEffect()