Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | blackbox restriction #1: can't refine the official return type | Eugene Burmako | 2013-11-12 | 2 | -0/+20 |
When an application of a blackbox macro expands into a tree `x`, the expansion is wrapped into a type ascription `(x: T)`, where `T` is the declared return type of the blackbox macro with type arguments and path dependencies applied in consistency with the particular macro application being expanded. This invalidates blackbox macros as an implementation vehicle of type providers. |