4 // We weren't updating the auto adjustments with all the resolved
5 // type information after type check.
7 // pretty-expanded FIXME #23616
9 trait A { fn dummy(&self) { } }
15 impl<'a, T> A for B<'a, T> {}
20 foo(b); // Coercion should work
21 foo(b as &dyn A); // Explicit cast should work as well