Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | SI-8177 tidy up in type reification | Eugene Burmako | 2014-02-14 | 1 | -1/+2 |
| | |||||
* | codifies the state of the art wrt SI-8104 | Eugene Burmako | 2013-12-28 | 1 | -0/+1 |
As it was discovered in SI-8104, whiteboxity doesn’t apply equally to type parameters and type members of materialized type classes. During implicit search and subsequent type inference, whitebox type parameters are consistently erased to wildcards, whereas whitebox type members sometimes remain as is and get in the way of signature conformance checks. |