Skip to content
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

增加对迷惑的ID类型的警告注解与部分说明 #678

Merged
merged 1 commit into from
May 16, 2023

Conversation

ForliyScarlet
Copy link
Member

没有人会使用浮点数作为ID的

@ForliyScarlet ForliyScarlet added the 缺陷 一些存在不影响正常结果的缺陷 label May 16, 2023
@ForliyScarlet ForliyScarlet merged commit 0d5392f into dev/v3.1.0 May 16, 2023
@ForteScarlet ForteScarlet deleted the dev/mark_confused_id branch May 16, 2023 16:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
缺陷 一些存在不影响正常结果的缺陷
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants