-
Notifications
You must be signed in to change notification settings - Fork 297
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
[Merged by Bors] - chore(*): standardize Prop/Type instance names #8360
Conversation
I think the which could use a heuristic similar to and then use the auto-generated names. The crux of the problem is that |
Is it worth doing it now, and then removing this when the update goes to |
bors r+ |
autogenerated names for these instances mention `sort.` instead of `Prop.` Co-authored-by: Eric <37984851+ericrbg@users.noreply.github.com>
Pull request successfully merged into master. Build succeeded: |
autogenerated names for these instances mention
sort.
instead ofProp.