Skip to content
This repository has been archived by the owner. It is now read-only.

Remove unneeded cast to org/python/types/Int #865

Merged
merged 1 commit into from Jul 4, 2018

Conversation

@patiences
Copy link
Contributor

@patiences patiences commented Jul 3, 2018

The static method org.python.types.Int.getInt() returns a org/python/types/Int, so the CHECKCAST operation is unnecessary.

Related to #825

Copy link
Member

@freakboy3742 freakboy3742 left a comment

👍

@freakboy3742 freakboy3742 merged commit db2a2be into beeware:master Jul 4, 2018
5 checks passed
@patiences patiences deleted the remove-unneeded-cast branch Aug 2, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants