//@ run-pass
//@ aux-build:coherence_lib.rs

//@ pretty-expanded FIXME #23616

extern crate coherence_lib as lib;
use lib::Remote1;

pub struct BigInt;

impl Remote1<BigInt> for Vec<isize> { }

fn main() { }