[GROOVY-11438] STC: loss of precision check for typecast number literals

• Type: Bug
• Status: Resolved
• Priority: Minor
• Resolution: Fixed
• Fix Version/s: 5.0.0-alpha-10
• Component/s: Static Type Checker

Language

groovy

• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 09/Jul/24 17:21
• Updated: 09/Jul/24 17:54
• Resolved: 09/Jul/24 17:54

Description

Consider the following:

@TypeChecked test() {
  byte b = (short) 123
}

This code warns of "Possible loss of precision". However, the number is okay and there is no way to write a byte or short literal without a typecast.