14 lines
210 B
Rust
14 lines
210 B
Rust
|
//@ compile-flags:--crate-name=test
|
||
|
|
//@ aux-build:coherence_lib.rs
|
||
|
|
//@ check-pass
|
||
|
|
|
||
|
|
extern crate coherence_lib as lib;
|
||
|
|
use lib::*;
|
||
|
|
use std::rc::Rc;
|
||
|
|
|
||
|
|
struct Local;
|
||
|
|
|
||
|
|
impl Remote1<Local> for Local {}
|
||
|
|
|
||
|
|
fn main() {}
|