Use resolutions(()).effective_visiblities to avoid cycle errors in report_object_error#119506
Merged
bors merged 1 commit intoJan 5, 2024
resolutions(()).effective_visiblities to avoid cycle errors in report_object_error#119506