Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | SI-8756 Fix generic signature for refinement of primitive | Jason Zaugg | 2016-05-18 | 1 | -1/+1 |
| | | | | | | | | | | | | Java generic signature generation was making the wrong assumption about how refinement types should erase to Java generics. This commit passes through the current value of `primitiveOk`, rather than forcing it to `true`. This flag is true when generating the signature for `f2`, but false in `i2` (as we are in a type argument position). | ||||
* | SI-8756 Test to demonstrate the status quo | Jason Zaugg | 2016-05-18 | 1 | -0/+9 |
Java generic signatures assume that refinement types should be boxed. Why did `g2` in the test seem to be immune to this bug demonstrated by `f2`? Because we opt to elide the generic signature altogether when no generics are involved. |