Fix interworking issues with {#Bool}
What does this MR do?
Fixes the issues mentioned in #127 (closed) and #128 (closed).
Changes to public APIs
None.
Author's checklist (required)
-
If bugs have been solved, tests have been added (guidelines) -
A changelog entry has been added (guidelines) -
Newly added code is documented (guidelines) -
Newly added code has a style consistent with the rest of the repository -
Intermediate commits compile (use git rebase -i main
if not)
Related issues
Closes #127 (closed); closes #128 (closed).