Summary: | [1.5][compiler] method type variable: inference broken for null | ||
---|---|---|---|
Product: | [Eclipse Project] JDT | Reporter: | Markus Keller <markus.kell.r> |
Component: | Core | Assignee: | Philipe Mulet <philippe_mulet> |
Status: | VERIFIED FIXED | QA Contact: | |
Severity: | minor | ||
Priority: | P3 | ||
Version: | 3.1 | ||
Target Milestone: | 3.1.1 | ||
Hardware: | PC | ||
OS: | Windows XP | ||
Whiteboard: |
Description
Markus Keller
2005-07-21 09:34:02 EDT
Tuned bound check after inference. Problem came from the fact T got inferred to Comparable<? super T> by default (since didn't get inferred from 'null' argument but rather using formal bound); which got substituted before performing bound check (and thus got compared to: Comparable<? super Comparable<? super T>> Fixed. Added GenericTypeTest#test792 Verified for 3.2M1 (I20050808-2000) Verified using M20050923-1430 for 3.1.1 |