Merge pull request #5682 from akva2/lambda_janitoring

Some lambda fixes
This commit is contained in:
Arne Morten Kvarving 2024-10-17 12:54:55 +02:00 committed by GitHub
commit 139088398c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 3 additions and 4 deletions

View File

@ -1524,7 +1524,7 @@ protected:
using ViolationLevel = typename Satfunc::PhaseChecks::
SatfuncConsistencyCheckManager<Scalar>::ViolationLevel;
auto reportFailures = [&sfuncConsistencyChecks, this]
auto reportFailures = [&sfuncConsistencyChecks]
(const ViolationLevel level)
{
sfuncConsistencyChecks.reportFailures

View File

@ -272,13 +272,12 @@ bool DamarisVar<T>::TestType(const std::string& variable_name)
has_error_ = true;
return false;
}
T test_id;
const std::type_info& t1 = typeid(test_id);
auto check = [&variable_name,this](auto td)
{
const std::type_info& t1 = typeid(T);
const std::type_info& t2 = typeid(td);
if (t1 != t2) {
if (typeid(T) != t2) {
formatTypeError(variable_name, t1.name(), t2.name());
return false;
}