New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Refine composition hints for progressive `@override` #2922

Merged

trevor-scheer merged 6 commits into main from trevor/progressive-override-hints

Feb 5, 2024

Merged

Refine composition hints for progressive `@override` #2922

Merge branch 'main' into trevor/progressive-override-hints

Codecov / codecov/patch succeeded Feb 5, 2024 in 2s

100.00% of diff hit (target 0.00%)

View this Pull Request on Codecov

100.00% of diff hit (target 0.00%)

View more details on Codecov