mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Pietro Fezzardi
8f81e3ff9a
The FieldAttr::verify checking for non-complete field types was testing for completeness too eagerly and was removed. Forbidding class type recursion without indirection is desirable, but needs to be done less eagerly. A new unit test to validate this via clift::ModuleOp::Verify needs to be created to replace this one.