[GROOVY-8990] No compiler error for mismatched generics when using &

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.4.16, 3.0.0-alpha-4, 2.5.6
• Fix Version/s: 3.0.0-beta-1, 2.5.7
• Component/s: Compiler
• Assignee: Paul King
• Reporter: Eric Milles
• Created: 14/Feb/19 17:05
• Updated: 20/May/19 07:32
• Resolved: 30/Apr/19 08:24

Description

Consider the following:

interface I {}
class C<T extends Number & I> { T meth() {} }

class X extends C<Integer> {} // should produce error "The type Integer is not a valid substitute for the bounded parameter <T extends java.lang.Number & I>"

new C<Integer>() // should produce error "The type Integer is not a valid substitute for the bounded parameter <T extends java.lang.Number & I>"

If the type bound Number is not satisfied, an error is produced. However, failure to satisfy the additional interface(s) does not produce a compiler error.

Issue Links

• links to: GitHub Pull Request #916