diff --git a/src/test/ui/resolve/issue-82825-mut.rs b/src/test/ui/resolve/issue-82825-mut.rs new file mode 100644 index 0000000000000..2d164301ffa98 --- /dev/null +++ b/src/test/ui/resolve/issue-82825-mut.rs @@ -0,0 +1,20 @@ +// check-pass + +trait Trait { + fn static_call(&mut self) where Self: Sized; + fn maybe_dynamic_call(&self) { + unimplemented!("unsupported maybe_dynamic_call"); + } +} + +impl Trait for &mut T { + fn static_call(&mut self) where Self: Sized { + (**self).maybe_dynamic_call(); + } +} + +fn foo(mut x: &mut dyn Trait) { + x.static_call(); +} + +fn main() {}