It looks like we should make sure these predicates are working correctly for lambda captures.

For instance:

[x = y]() { ... }

But also, all lambda captures are assignments fields of the lambda class instance.

https://github.com/github/codeql-coding-standards/blob/main/cpp/misra/src/codingstandards/cpp/misra/BuiltInTypeRules.qll#L179