tree 8c4bcb20534ccabacb14b6920db8e09a7500b5af
parent 9d0deac475607571fdef06ad877937f71d182da0
author Aaron Hill <aa1ronham@gmail.com> 1544839353 -0500
committer Pietro Albini <pietro@pietroalbini.org> 1546557691 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 Version: GnuPG v2
 
 iQIcBAABCAAGBQJcLpj7AAoJED4Gq+gLqvGc5GQP/0ZwL9B+l6LC1rMcpQgFdtI1
 ZrgAIuME7J5KQmJci1lCk5qS3AzpwVuvbobTWu2bQtAHvgu96ZKL/gJY9Rt7AjJ/
 oiFS0epm5L5Gs3aMl3XolsMtDn8tWSdVOuyGAIYA0brSJjJueI5Lr3jEw/pr1sqG
 sMTZAxHw9VmUI77unHTXzImLXJ+1YimLdHwg/3kpYDxHIpJWXyUJKjfIGb7nd9DR
 +vHWD6q0KNeU9+LJyCJYfLW3XT7LK+KRIS+YdhMFSrD/Ehx8+Z+E/b+wvrjpQX8R
 Ic/aFG+laNaWCSsD+vgCnAMlSs2NTH1G3Zau2XXwVgrXomCZTVDgkp7/DTp7MJxx
 ac3Cfu6nVN4PoxEq9/b8NeXe6jOGbCK0A7FAZHyD83yS5djHmZzdB1+EHDBEy0yH
 uN2m5D6lWP7n0YsRebD+RWfES6sEPb9TbC0oFOroqDcSaMoQIt9zdNARf0zGXQxY
 8XkoPanq8pRqVBqv8ReLmyr/LaLLGSiQezHdaY68ZVMk4X0JOeW5GTcWAu+jxt5B
 jtnY96D2m0n3UR2cA+L5cqCE4lqp803JU8DJpb5p9y4XiJdDh2xh9tIsM32Cyxnv
 VC6l5/J2Ysoq5RBwuyA0HLrU/R4C67xzY/Qhl+p3G+ietysOICGZT498eyGtJI51
 qGKemN4TC2lA2zbJKg7e
 =OUxf
 -----END PGP SIGNATURE-----

Call poly_project_and_unify_type on types that contain inference types

Commit f57247c48cb59 (Ensure that Rusdoc discovers all necessary auto
trait bounds) added a check to ensure that we only attempt to unify a
projection predicatre with inference variables. However, the check it
added was too strict - instead of checking that a type *contains* an
inference variable (e.g. '&_', 'MyType<_>'), it required the type to
*be* an inference variable (i.e. only '_' would match).

This commit relaxes the check to use 'ty.has_infer_types', ensuring that
we perform unification wherever possible.

Fixes #56822