Add a comment

This commit is contained in:
Arseny Kapoulkine 2021-11-11 20:36:53 -08:00
parent 863d3ff6ff
commit 3c3541aba8

View File

@ -5030,6 +5030,7 @@ void TypeChecker::resolve(const IsAPredicate& isaP, ErrorVec& errVec, Refinement
return isaP.ty; return isaP.ty;
} }
// local variable works around an odd gcc 9.3 warning: <anonymous> may be used uninitialized
std::optional<TypeId> res = std::nullopt; std::optional<TypeId> res = std::nullopt;
return res; return res;
}; };