| #![recursion_limit = "5"] // To reduce noise | |
| //expect mutability error when ambiguous traits are in scope | |
| //and not an overflow error on the span in the main function. | |
| struct Ratio<T>(T); | |
| pub trait Pow { | |
| fn pow(self) -> Self; | |
| } | |
| impl<'a, T> Pow for &'a Ratio<T> | |
| where | |
| &'a T: Pow, | |
| { | |
| fn pow(self) -> Self { | |
| self | |
| } | |
| } | |
| fn downcast<'a, W: ?Sized>() -> &'a W { | |
| todo!() | |
| } | |
| struct Other; | |
| fn main() { | |
| let other: &mut Other = downcast();//~ ERROR mismatched types [E0308] | |
| } |