Niko Matsakis 4379b13c9d Make type inference smarter, based on the idea that all constraints must ...

have the same type; so if we see errors or cases where we cannot infer a
type, let's just take it from one of the successful alternatives. This
lets us remote the type annotation on `E` (or `T`, depending).

2015-06-22 14:14:03 -04:00

..

sub

Make type inference smarter, based on the idea that all constraints must

2015-06-22 14:14:03 -04:00

util

revamp a bit to lay groundwork for better patterns, make sub have actions

2015-06-22 13:08:38 -04:00