feat: hint about inaccessible private declaration on dot notation failure#10803
Merged
Kha merged 1 commit intoleanprover:masterfrom Oct 17, 2025
Merged
feat: hint about inaccessible private declaration on dot notation failure#10803Kha merged 1 commit intoleanprover:masterfrom
Kha merged 1 commit intoleanprover:masterfrom
