[jira] [Created] (GROOVY-10125) FP Cycle detected in type parameter that extends another type parameter

2021-06-07 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-10125: --- Summary: FP Cycle detected in type parameter that extends another type parameter Key: GROOVY-10125 URL: https://issues.apache.org/jira/browse/GROOVY-10125

[jira] [Updated] (GROOVY-10129) Misleading report when using as a type argument a type parameter that extends an array type

2021-06-09 Thread Stefanos Chaliasos (Jira)
[ https://issues.apache.org/jira/browse/GROOVY-10129?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Stefanos Chaliasos updated GROOVY-10129: Description: I have the following Groovy program. {code:groovy} class A {}

[jira] [Updated] (GROOVY-9984) Wrong type inference when passing null

2021-06-08 Thread Stefanos Chaliasos (Jira)
[ https://issues.apache.org/jira/browse/GROOVY-9984?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Stefanos Chaliasos updated GROOVY-9984: --- Component/s: Static Type Checker Static compilation > Wrong type

[jira] [Updated] (GROOVY-10114) Wrong type argument inference when using the result of ternary operator directly.

2021-06-08 Thread Stefanos Chaliasos (Jira)
[ https://issues.apache.org/jira/browse/GROOVY-10114?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Stefanos Chaliasos updated GROOVY-10114: Component/s: Static Type Checker Static compilation > Wrong

[jira] [Updated] (GROOVY-10096) STC: accepts incorrect program with flow typing

2021-06-08 Thread Stefanos Chaliasos (Jira)
[ https://issues.apache.org/jira/browse/GROOVY-10096?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Stefanos Chaliasos updated GROOVY-10096: Component/s: Static Type Checker Static compilation > STC:

[jira] [Updated] (GROOVY-10092) Compiler crash when trying to cast a boolean to float variable

2021-06-08 Thread Stefanos Chaliasos (Jira)
[ https://issues.apache.org/jira/browse/GROOVY-10092?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Stefanos Chaliasos updated GROOVY-10092: Component/s: Static Type Checker > Compiler crash when trying to cast a boolean

[jira] [Updated] (GROOVY-10080) Closure with type argument inference does not work as expected

2021-06-08 Thread Stefanos Chaliasos (Jira)
[ https://issues.apache.org/jira/browse/GROOVY-10080?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Stefanos Chaliasos updated GROOVY-10080: Component/s: Static Type Checker Static compilation > Closure

[jira] [Updated] (GROOVY-9996) Cannot infer correct type argument when using subtyping

2021-06-08 Thread Stefanos Chaliasos (Jira)
[ https://issues.apache.org/jira/browse/GROOVY-9996?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Stefanos Chaliasos updated GROOVY-9996: --- Component/s: Static Type Checker Static compilation > Cannot infer

[jira] [Updated] (GROOVY-10081) Conversion from int to byte does not work in case of ternary operator

2021-06-08 Thread Stefanos Chaliasos (Jira)
[ https://issues.apache.org/jira/browse/GROOVY-10081?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Stefanos Chaliasos updated GROOVY-10081: Component/s: Static Type Checker Static compilation >

[jira] [Updated] (GROOVY-10115) STC: compiler error when using type parameter with extends

2021-06-08 Thread Stefanos Chaliasos (Jira)
[ https://issues.apache.org/jira/browse/GROOVY-10115?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Stefanos Chaliasos updated GROOVY-10115: Component/s: Static Type Checker Static compilation > STC:

[jira] [Updated] (GROOVY-10116) STC: error when passing a type parameter in type constructor

2021-06-08 Thread Stefanos Chaliasos (Jira)
[ https://issues.apache.org/jira/browse/GROOVY-10116?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Stefanos Chaliasos updated GROOVY-10116: Component/s: Static compilation > STC: error when passing a type parameter in

[jira] [Updated] (GROOVY-10129) Unable to use as a type argument a type parameter that extends an array type

2021-06-08 Thread Stefanos Chaliasos (Jira)
[ https://issues.apache.org/jira/browse/GROOVY-10129?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Stefanos Chaliasos updated GROOVY-10129: Summary: Unable to use as a type argument a type parameter that extends an array

[jira] [Created] (GROOVY-10130) Flow typing does not work when && is combinded with instanceof

2021-06-08 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-10130: --- Summary: Flow typing does not work when && is combinded with instanceof Key: GROOVY-10130 URL: https://issues.apache.org/jira/browse/GROOVY-10130

[jira] [Created] (GROOVY-10129) Unable to use as type argument a type parameter that extends an array type

2021-06-08 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-10129: --- Summary: Unable to use as type argument a type parameter that extends an array type Key: GROOVY-10129 URL: https://issues.apache.org/jira/browse/GROOVY-10129

[jira] [Created] (GROOVY-10127) STC misses type check in Generic class with a bounded type parameter

2021-06-08 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-10127: --- Summary: STC misses type check in Generic class with a bounded type parameter Key: GROOVY-10127 URL: https://issues.apache.org/jira/browse/GROOVY-10127

[jira] [Created] (GROOVY-10128) Cannot assign closure with long as return type to java.util.function.Function

2021-06-08 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-10128: --- Summary: Cannot assign closure with long as return type to java.util.function.Function Key: GROOVY-10128 URL: https://issues.apache.org/jira/browse/GROOVY-10128

[jira] [Created] (GROOVY-10080) Closure with type argument inference does not work as expected

2021-05-11 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-10080: --- Summary: Closure with type argument inference does not work as expected Key: GROOVY-10080 URL: https://issues.apache.org/jira/browse/GROOVY-10080

[jira] [Updated] (GROOVY-10080) Closure with type argument inference does not work as expected

2021-05-11 Thread Stefanos Chaliasos (Jira)
[ https://issues.apache.org/jira/browse/GROOVY-10080?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Stefanos Chaliasos updated GROOVY-10080: Description: I have the following Groovy program. {code:groovy}

[jira] [Created] (GROOVY-10081) Conversion from int to byte does not work in case of ternary operator

2021-05-11 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-10081: --- Summary: Conversion from int to byte does not work in case of ternary operator Key: GROOVY-10081 URL: https://issues.apache.org/jira/browse/GROOVY-10081

[jira] [Created] (GROOVY-10096) STC: accepts incorrect program with flow typing

2021-05-19 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-10096: --- Summary: STC: accepts incorrect program with flow typing Key: GROOVY-10096 URL: https://issues.apache.org/jira/browse/GROOVY-10096 Project: Groovy

[jira] [Created] (GROOVY-10092) Compiler crash when trying to cast a boolean to float variable

2021-05-17 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-10092: --- Summary: Compiler crash when trying to cast a boolean to float variable Key: GROOVY-10092 URL: https://issues.apache.org/jira/browse/GROOVY-10092

[jira] [Created] (GROOVY-10113) StackOverflowError in STC

2021-05-27 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-10113: --- Summary: StackOverflowError in STC Key: GROOVY-10113 URL: https://issues.apache.org/jira/browse/GROOVY-10113 Project: Groovy Issue Type: Bug

[jira] [Created] (GROOVY-10115) STC: compiler error when using type parameter with extends

2021-05-27 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-10115: --- Summary: STC: compiler error when using type parameter with extends Key: GROOVY-10115 URL: https://issues.apache.org/jira/browse/GROOVY-10115 Project:

[jira] [Created] (GROOVY-10116) STC: error when passing a type parameter in type constructor

2021-05-27 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-10116: --- Summary: STC: error when passing a type parameter in type constructor Key: GROOVY-10116 URL: https://issues.apache.org/jira/browse/GROOVY-10116

[jira] [Created] (GROOVY-10114) Wrong type argument inference when using the result of ternary operator directly.

2021-05-27 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-10114: --- Summary: Wrong type argument inference when using the result of ternary operator directly. Key: GROOVY-10114 URL: https://issues.apache.org/jira/browse/GROOVY-10114

[jira] [Created] (GROOVY-10153) STC: cannot combine use-variance with bounded polymorphism

2021-06-28 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-10153: --- Summary: STC: cannot combine use-variance with bounded polymorphism Key: GROOVY-10153 URL: https://issues.apache.org/jira/browse/GROOVY-10153 Project:

[jira] [Created] (GROOVY-9931) !instanceof inference does not work

2021-02-08 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-9931: -- Summary: !instanceof inference does not work Key: GROOVY-9931 URL: https://issues.apache.org/jira/browse/GROOVY-9931 Project: Groovy Issue Type:

[jira] [Created] (GROOVY-9935) int reference seems to not use its wrapper class

2021-02-10 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-9935: -- Summary: int reference seems to not use its wrapper class Key: GROOVY-9935 URL: https://issues.apache.org/jira/browse/GROOVY-9935 Project: Groovy

[jira] [Created] (GROOVY-9983) Type argument inference does not work in ternary operator

2021-03-15 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-9983: -- Summary: Type argument inference does not work in ternary operator Key: GROOVY-9983 URL: https://issues.apache.org/jira/browse/GROOVY-9983 Project: Groovy

[jira] [Created] (GROOVY-9984) Wrong type inference when passing null

2021-03-15 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-9984: -- Summary: Wrong type inference when passing null Key: GROOVY-9984 URL: https://issues.apache.org/jira/browse/GROOVY-9984 Project: Groovy Issue

[jira] [Created] (GROOVY-9995) Wrong inference inside closure when having a bounded type parameter.

2021-03-22 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-9995: -- Summary: Wrong inference inside closure when having a bounded type parameter. Key: GROOVY-9995 URL: https://issues.apache.org/jira/browse/GROOVY-9995

[jira] [Updated] (GROOVY-9995) Wrong inference inside closure when having a bounded type parameter

2021-03-22 Thread Stefanos Chaliasos (Jira)
[ https://issues.apache.org/jira/browse/GROOVY-9995?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Stefanos Chaliasos updated GROOVY-9995: --- Summary: Wrong inference inside closure when having a bounded type parameter (was:

[jira] [Created] (GROOVY-9996) Cannot infer correct type argument when using subtyping

2021-03-22 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-9996: -- Summary: Cannot infer correct type argument when using subtyping Key: GROOVY-9996 URL: https://issues.apache.org/jira/browse/GROOVY-9996 Project: Groovy

[jira] [Created] (GROOVY-9953) Type from flow typing is not propagated in variable assignments

2021-02-24 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-9953: -- Summary: Type from flow typing is not propagated in variable assignments Key: GROOVY-9953 URL: https://issues.apache.org/jira/browse/GROOVY-9953 Project:

[jira] [Updated] (GROOVY-9970) Type argument inference does not work in closure

2021-03-08 Thread Stefanos Chaliasos (Jira)
[ https://issues.apache.org/jira/browse/GROOVY-9970?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Stefanos Chaliasos updated GROOVY-9970: --- Summary: Type argument inference does not work in closure (was: Type argument

[jira] [Created] (GROOVY-9970) Type argument incference does not work in closure

2021-03-08 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-9970: -- Summary: Type argument incference does not work in closure Key: GROOVY-9970 URL: https://issues.apache.org/jira/browse/GROOVY-9970 Project: Groovy

[jira] [Updated] (GROOVY-9970) Type argument inference does not work in closure

2021-03-08 Thread Stefanos Chaliasos (Jira)
[ https://issues.apache.org/jira/browse/GROOVY-9970?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Stefanos Chaliasos updated GROOVY-9970: --- Description: I have the following Groovy program. {code:groovy} class Foo {} final

[jira] [Created] (GROOVY-9967) STC: Access to field/property is forbidden after instanceof.

2021-03-05 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-9967: -- Summary: STC: Access to field/property is forbidden after instanceof. Key: GROOVY-9967 URL: https://issues.apache.org/jira/browse/GROOVY-9967 Project:

[jira] [Updated] (GROOVY-9967) STC: Access to field/property is forbidden after instanceof.

2021-03-05 Thread Stefanos Chaliasos (Jira)
[ https://issues.apache.org/jira/browse/GROOVY-9967?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Stefanos Chaliasos updated GROOVY-9967: --- Description: I have the following Groovy program. {code:groovy} class Test {

[jira] [Created] (GROOVY-9956) Cannot infer correct type argument when passing a subtype of the declared type argument

2021-02-26 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-9956: -- Summary: Cannot infer correct type argument when passing a subtype of the declared type argument Key: GROOVY-9956 URL:

[jira] [Created] (GROOVY-9945) STC: Cannot find matching method when using Generics

2021-02-15 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-9945: -- Summary: STC: Cannot find matching method when using Generics Key: GROOVY-9945 URL: https://issues.apache.org/jira/browse/GROOVY-9945 Project: Groovy

[jira] [Created] (GROOVY-9947) Cannot pass numeric constant to a method with a generic type

2021-02-16 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-9947: -- Summary: Cannot pass numeric constant to a method with a generic type Key: GROOVY-9947 URL: https://issues.apache.org/jira/browse/GROOVY-9947 Project:

[jira] [Commented] (GROOVY-9947) Cannot pass numeric constant to a method with a generic type

2021-02-17 Thread Stefanos Chaliasos (Jira)
[ https://issues.apache.org/jira/browse/GROOVY-9947?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=17286329#comment-17286329 ] Stefanos Chaliasos commented on GROOVY-9947: Yes, I would expect a typecast at the call

[jira] [Created] (GROOVY-10269) STC: Stackoverflow Error when passing function reference to closure

2021-09-28 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-10269: --- Summary: STC: Stackoverflow Error when passing function reference to closure Key: GROOVY-10269 URL: https://issues.apache.org/jira/browse/GROOVY-10269

[jira] [Created] (GROOVY-10270) Cannot initialize parameterized class with lambda without cast

2021-09-29 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-10270: --- Summary: Cannot initialize parameterized class with lambda without cast Key: GROOVY-10270 URL: https://issues.apache.org/jira/browse/GROOVY-10270

[jira] [Updated] (GROOVY-10271) Wrong inference when using ternary operator with lambda and variable

2021-09-29 Thread Stefanos Chaliasos (Jira)
[ https://issues.apache.org/jira/browse/GROOVY-10271?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Stefanos Chaliasos updated GROOVY-10271: Summary: Wrong inference when using ternary operator with lambda and variable

[jira] [Updated] (GROOVY-10271) Wrong inference when using ternary operator with closure and variable

2021-09-29 Thread Stefanos Chaliasos (Jira)
[ https://issues.apache.org/jira/browse/GROOVY-10271?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Stefanos Chaliasos updated GROOVY-10271: Summary: Wrong inference when using ternary operator with closure and variable

[jira] [Created] (GROOVY-10272) Wrong inference when using ternary operator with lambdas

2021-09-29 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-10272: --- Summary: Wrong inference when using ternary operator with lambdas Key: GROOVY-10272 URL: https://issues.apache.org/jira/browse/GROOVY-10272 Project:

[jira] [Created] (GROOVY-10271) Wrong inference when using ternary operator with lambda and function reference

2021-09-29 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-10271: --- Summary: Wrong inference when using ternary operator with lambda and function reference Key: GROOVY-10271 URL: https://issues.apache.org/jira/browse/GROOVY-10271

[jira] [Created] (GROOVY-10268) Unable to assign variable in parameterized class with bounded polymorphism

2021-09-27 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-10268: --- Summary: Unable to assign variable in parameterized class with bounded polymorphism Key: GROOVY-10268 URL: https://issues.apache.org/jira/browse/GROOVY-10268

[jira] [Commented] (GROOVY-10268) Unable to assign variable in parameterized class with bounded polymorphism

2021-09-28 Thread Stefanos Chaliasos (Jira)
[ https://issues.apache.org/jira/browse/GROOVY-10268?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=17421185#comment-17421185 ] Stefanos Chaliasos commented on GROOVY-10268: - Duplicate of

[jira] [Resolved] (GROOVY-10268) Unable to assign variable in parameterized class with bounded polymorphism

2021-09-28 Thread Stefanos Chaliasos (Jira)
[ https://issues.apache.org/jira/browse/GROOVY-10268?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Stefanos Chaliasos resolved GROOVY-10268. - Resolution: Duplicate > Unable to assign variable in parameterized class with

[jira] [Created] (GROOVY-10254) STC: cannot return closure from method without casting

2021-09-22 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-10254: --- Summary: STC: cannot return closure from method without casting Key: GROOVY-10254 URL: https://issues.apache.org/jira/browse/GROOVY-10254 Project:

[jira] [Created] (GROOVY-10373) STC cannot compile program with multiple bounded type parameters

2021-11-17 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-10373: --- Summary: STC cannot compile program with multiple bounded type parameters Key: GROOVY-10373 URL: https://issues.apache.org/jira/browse/GROOVY-10373

[jira] [Created] (GROOVY-10327) Compiler crash when combining closure with function reference

2021-10-22 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-10327: --- Summary: Compiler crash when combining closure with function reference Key: GROOVY-10327 URL: https://issues.apache.org/jira/browse/GROOVY-10327

[jira] [Created] (GROOVY-10344) STC crashes when bound has two wildcard types as type arguments

2021-11-03 Thread Stefanos Chaliasos (Jira)
Stefanos Chaliasos created GROOVY-10344: --- Summary: STC crashes when bound has two wildcard types as type arguments Key: GROOVY-10344 URL: https://issues.apache.org/jira/browse/GROOVY-10344

[jira] [Updated] (GROOVY-10344) STC crashes when bound has two wildcard types as type arguments

2021-11-04 Thread Stefanos Chaliasos (Jira)
[ https://issues.apache.org/jira/browse/GROOVY-10344?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Stefanos Chaliasos updated GROOVY-10344: Description: I have the following Groovy program. {code:groovy}

[jira] [Updated] (GROOVY-10344) STC crashes when bound has two wildcard types as type arguments

2021-11-04 Thread Stefanos Chaliasos (Jira)
[ https://issues.apache.org/jira/browse/GROOVY-10344?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Stefanos Chaliasos updated GROOVY-10344: Description: I have the following Groovy program. {code:groovy}

[jira] [Commented] (GROOVY-10674) STC crashes when combining use-site variance with bounded polymorphism

2022-06-29 Thread Stefanos Chaliasos (Jira)
Title: Message Title Stefanos Chaliasos

[jira] [Commented] (GROOVY-10674) STC crashes when combining use-site variance with bounded polymorphism

2022-06-29 Thread Stefanos Chaliasos (Jira)
Title: Message Title Stefanos Chaliasos

[jira] [Created] (GROOVY-10674) STC crashes when combining use-site variance with bounded polymorphism

2022-06-29 Thread Stefanos Chaliasos (Jira)
Title: Message Title Stefanos Chaliasos

[jira] [Created] (GROOVY-10670) Cannot resolve type in the presence of use-site contravariance

2022-06-28 Thread Stefanos Chaliasos (Jira)
Title: Message Title Stefanos Chaliasos