tests/ui/issues/issue-37725.rs

   1 // build-pass
   2 // compiler-opts: -Zmir-opt-level=2
   3
   4 #![allow(dead_code)]
   5 trait Foo {
   6     fn foo(&self);
   7 }
   8
   9 fn foo<'a>(s: &'a mut ()) where &'a mut (): Foo {
  10     s.foo();
  11 }
  12 fn main() {}