tree eeb9461caef0f9ee5ddc6fc6a80ac89353c92593
parent 118e052d84157a675649fe640e3d56f264475a3a
parent 913937418150f79d80c78f1c69846903f7aaeaeb
author bors <bors@rust-lang.org> 1544135004 +0000
committer bors <bors@rust-lang.org> 1544135004 +0000

Auto merge of #55318 - Aaron1011:fix/final-auto-trait-resolve, r=nikomatsakis

Ensure that Rustdoc discovers all necessary auto trait bounds

Fixes #50159

This commit makes several improvements to AutoTraitFinder:

* Call infcx.resolve_type_vars_if_possible before processing new
predicates. This ensures that we eliminate inference variables wherever
possible.
* Process all nested obligations we get from a vtable, not just ones
with depth=1.
  * The 'depth=1' check was a hack to work around issues processing
certain predicates. The other changes in this commit allow us to
properly process all predicates that we encounter, so the check is no
longer necessary,
* Ensure that we only display predicates *without* inference variables
to the user, and only attempt to unify predicates that *have* an
inference variable as their type.

Additionally, the internal helper method is_of_param now operates
directly on a type, rather than taking a Substs. This allows us to use
the 'self_ty' method, rather than directly dealing with Substs.