Fixes instance checking and elaboration for members which return closures#313
Merged
rodrigogribeiro merged 3 commits intomainfrom Jan 26, 2026
Merged
Fixes instance checking and elaboration for members which return closures#313rodrigogribeiro merged 3 commits intomainfrom
rodrigogribeiro merged 3 commits intomainfrom