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

#![feature(trait_alias)]

extern crate greeter;

// Import only the alias, not the real trait.
use greeter::{Greet, Hi};

fn main() {
    let hi = Hi;
    hi.hello(); // From `Hello`, via `Greet` alias.
}