scala - The Scala programming language

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