//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::Remote1; pub struct BigInt; impl Remote1 for T { } //~^ ERROR E0210 fn main() { }