tests/ui/coherence/auxiliary/pr_review_132289_3_lib.rs


1
2
3
4
5
6
7
8
9
10
11
12

use std::ops::Index;

pub trait Trait {
    fn f(&self)
    where
        dyn Index<(), Output = ()>: Index<()>;
    //  rustc (correctly) determines ^^^^^^^^ this bound to be true
}

pub fn call(x: &dyn Trait) {
    x.f(); // so we can call `f`
}