| // 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); | |
| } |