Infer whether a closure implements `Fn`, `FnMut`, etc based on what actions it takes#21805

Merged

bors merged 10 commits intorust-lang:masterfrom

nikomatsakis:closure-inference-refactor-1

Feb 1, 2015

Commits on Feb 1, 2015

Introduce the notion of deferred resolutions and use it to hold off on
nikomatsakis
committed
Make `unboxed_closure_kind` return `Option` to allow for the possibility that its value is not yet known.
nikomatsakis
committed
Do not make fake types for upvars if we haven't yet inferred whether they are borrowed
nikomatsakis
committed
Adjust the handling of trait obligations and defaults to account for
nikomatsakis
committed
Separate out the unboxed closure table into two tables, so that we can
nikomatsakis
committed
Implement basic inference for closure kinds and some simple tests.
nikomatsakis
committed
To handle more complex cases, modify the deferred call handler to be
nikomatsakis
committed
Tweak comments per eddyb's suggestion.
nikomatsakis
committed
Fix handling of `move` closures -- since they have one fewer deref, we weren't properly adjusting the closure kind in that case.
nikomatsakis
committed
Do not ICE when e.g. `call_mut()` is called on a closure whose kind is not yet known.
nikomatsakis
committed