//@ check-pass | |
#![feature(trait_alias)] | |
trait SomeTrait { | |
fn map(&self) {} | |
} | |
impl<T> SomeTrait for Option<T> {} | |
trait SomeAlias = SomeTrait; | |
fn main() { | |
let x = Some(123); | |
// This should resolve to the trait impl for Option | |
Option::map(x, |z| z); | |
// This should resolve to the trait impl for SomeTrait | |
SomeTrait::map(&x); | |
} |