about summary refs log tree commit diff
path: root/compiler/rustc_interface/src/errors.rs
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2022-08-21 12:21:33 +0000
committerbors <bors@rust-lang.org>2022-08-21 12:21:33 +0000
commita670ff888437f4b6a3d24cc2996e9f969a87cbae (patch)
treea88648337e105bbe8320f141f5d65277ded7ac8a /compiler/rustc_interface/src/errors.rs
parente1623635aa7281f73f96d4f2098e056641797eb0 (diff)
parentdd22aa48bab8ff47025d806df481cad412b2747f (diff)
downloadrust-a670ff888437f4b6a3d24cc2996e9f969a87cbae.tar.gz
rust-a670ff888437f4b6a3d24cc2996e9f969a87cbae.zip
Auto merge of #13074 - lowr:fix/method-resolution-with-impl-predicate, r=lowr
Consider bounds on inherent impl in method resolution

There are three type-related things we should consider in method resolution: `Self` type, receiver type, and impl bounds. While we check the first two and impl bounds on trait impls, we've been ignoring the impl bounds on inherent impls. With this patch rust-analyzer now takes them into account and is able to select the appropriate inherent method.

Resolves #5441
Resolves #12308
Diffstat (limited to 'compiler/rustc_interface/src/errors.rs')
0 files changed, 0 insertions, 0 deletions