// Test that a local type (with no type parameters) appearing within a | |
// *non-fundamental* remote type like `Vec` is not considered local. | |
//@ aux-build:coherence_lib.rs | |
extern crate coherence_lib as lib; | |
use lib::Remote; | |
struct Local; | |
impl Remote for Vec<Local> { } | |
//~^ ERROR E0117 | |
fn main() { } |