-
Notifications
You must be signed in to change notification settings - Fork 138
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.
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
Improve type inference #3004
Improve type inference #3004
Conversation
Cadence Benchstat comparisonThis branch with compared with the base branch onflow:feature/range-type commit e46be51 Collapsed results for better readability
|
Codecov ReportAttention:
Additional details and impacted files@@ Coverage Diff @@
## feature/range-type #3004 +/- ##
======================================================
- Coverage 80.23% 80.19% -0.04%
======================================================
Files 359 359
Lines 84060 84135 +75
======================================================
+ Hits 67447 67474 +27
- Misses 14187 14232 +45
- Partials 2426 2429 +3
Flags with carried forward coverage won't be shown. Click here to find out more. ☔ View full report in Codecov by Sentry. |
@SupunS @dsainati1 Thanks for the review! Do you think I should rebase this on master, or OK to merge into the range type feature branch and it'll get merged into master as part of it? |
Yeah, I think just merging this into the branch is fine. |
feature/range-type
Closes #2886
Description
Use bound type parameters for argument expected type.
This makes the following programs check:
This is currently based on top of the range feature branch, but I can also rebase on master.
master
branchFiles changed
in the Github PR explorer