x.into() not inferred in the presence of type bounds

[lnicola]

Probably a duplicate, but I can't find another issue:

struct S;

fn foo(s: impl Into<S>) {
    let s = s.into(); // {unknown}
}

This causes a good chunk of unknown types in analysis-stats/self.

[lowr]

I think this is #5514.