diff options
| author | Tom Farmer <tfarmer7980@gmail.com> | 2021-10-05 18:53:24 +0100 |
|---|---|---|
| committer | Tom Farmer <tfarmer7980@gmail.com> | 2021-10-05 22:43:06 +0100 |
| commit | 0950d5afe227c7097e59bf797a85267d3a659744 (patch) | |
| tree | 9ad18111b8aa5a2521650e284b75a6ba97a80f11 /src/test | |
| parent | 25ec8273855fde2d72ae877b397e054de5300e10 (diff) | |
| download | rust-0950d5afe227c7097e59bf797a85267d3a659744.tar.gz rust-0950d5afe227c7097e59bf797a85267d3a659744.zip | |
Issue 89275 fix and test
Issue 89275 fix and test Fix librustdoc OverflowError usage rust tidy run Issue 89275 fix and test
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/ui/typeck/issue-89275.rs | 29 | ||||
| -rw-r--r-- | src/test/ui/typeck/issue-89275.stderr | 14 |
2 files changed, 43 insertions, 0 deletions
diff --git a/src/test/ui/typeck/issue-89275.rs b/src/test/ui/typeck/issue-89275.rs new file mode 100644 index 00000000000..b91c0017548 --- /dev/null +++ b/src/test/ui/typeck/issue-89275.rs @@ -0,0 +1,29 @@ +#![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 28:29: 28:39: mismatched types [E0308] +} diff --git a/src/test/ui/typeck/issue-89275.stderr b/src/test/ui/typeck/issue-89275.stderr new file mode 100644 index 00000000000..d73e647d21f --- /dev/null +++ b/src/test/ui/typeck/issue-89275.stderr @@ -0,0 +1,14 @@ +error[E0308]: mismatched types + --> $DIR/issue-89275.rs:28:29 + | +LL | let other: &mut Other = downcast(); + | ---------- ^^^^^^^^^^ types differ in mutability + | | + | expected due to this + | + = note: expected mutable reference `&mut Other` + found reference `&_` + +error: aborting due to previous error + +For more information about this error, try `rustc --explain E0308`. |
