blob: 130cc39d0af817a334d11a1dd0ecb4e14341dd0a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
// 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() { }
|