Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | blackbox restriction #2: can't guide type inference | Eugene Burmako | 2013-11-12 | 1 | -0/+39 |
When an application of a blackbox macro still has undetermined type parameters after Scala’s type inference algorithm has finished working, these type parameters are inferred forcedly, in exactly the same manner as type inference happens for normal methods. This makes it impossible for blackbox macros to influence type inference, prohibiting fundep materialization. |