4 Commits

Author	SHA1	Message	Date
Niko Matsakis	4c01251416	Introduce new inference scheme: variables are now instantiated with at most one type, and region variables are introduced as needed	2014-08-29 10:21:54 -04:00
Jake Kerr	266b7e0f71	Update comment in contravariant test ... The previous definition was actually describing covariance. Fixing to describe contravariance while keeping 'static in the definition was tricky so just changed to use 'short and 'long.	2014-02-10 20:26:09 +09:00
Niko Matsakis	f4f4a35b5b	Add new tests showing multiple lifetime parameters in use	2013-11-08 19:47:57 -05:00
Niko Matsakis	f36a891fe2	Address comments from @pnkfelix (thanks for the detailed review)	2013-11-08 19:47:57 -05:00