mirror of https://github.com/rust-lang/rust
26 lines
519 B
Rust
26 lines
519 B
Rust
// Test that we do not yet support elision in associated types, even
|
|
// when there is just one name we could take from the impl header.
|
|
|
|
#![allow(warnings)]
|
|
|
|
trait MyTrait {
|
|
type Output;
|
|
}
|
|
|
|
impl MyTrait for &i32 {
|
|
type Output = &i32;
|
|
//~^ ERROR `&` without an explicit lifetime name cannot be used here
|
|
}
|
|
|
|
impl MyTrait for &u32 {
|
|
type Output = &'_ i32;
|
|
//~^ ERROR `'_` cannot be used here
|
|
}
|
|
|
|
// This is what you have to do:
|
|
impl<'a> MyTrait for &'a f32 {
|
|
type Output = &'a f32;
|
|
}
|
|
|
|
fn main() { }
|