summaryrefslogtreecommitdiffstats
path: root/tests/ui/issues/issue-37725.rs
blob: 1c6df0da60c0e773d487de067bf3322a5ca45f70 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
// build-pass
// compiler-opts: -Zmir-opt-level=2

#![allow(dead_code)]
trait Foo {
    fn foo(&self);
}

fn foo<'a>(s: &'a mut ()) where &'a mut (): Foo {
    s.foo();
}
fn main() {}