scala - The Scala programming language

	Commit message (Collapse)	Author	Age	Files	Lines
*	blackbox restriction #1: can't refine the official return type	Eugene Burmako	2013-11-12	1	-0/+4
	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.