tests/ui/extern/extern-types-inherent-impl.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

// Test that inherent impls can be defined for extern types.

//@ check-pass
//@ aux-build:extern-types-inherent-impl.rs

#![feature(extern_types)]

extern crate extern_types_inherent_impl;
use extern_types_inherent_impl::CrossCrate;

extern "C" {
    type Local;
}

impl Local {
    fn foo(&self) {}
}

fn use_foo(x: &Local, y: &CrossCrate) {
    Local::foo(x);
    x.foo();
    CrossCrate::foo(y);
    y.foo();
}

fn main() {}