#![allow(dead_code)]
trait T1 { }
trait T2 {
fn test(&self) { }
}
fn go(s: &impl T1) {
//~^ SUGGESTION (
s.test();
//~^ ERROR no method named `test`
fn main() { }