3ea62cb5d1
This is step 2 towards fixing #77548. In the codegen and codegen-units test suites, the `//` comment markers were kept in order not to affect any source locations. This is because these tests cannot be automatically `--bless`ed.
49 lines
1,002 B
Rust
49 lines
1,002 B
Rust
// edition:2018
|
|
|
|
#![feature(impl_trait_in_bindings)]
|
|
//~^ WARNING the feature `impl_trait_in_bindings` is incomplete
|
|
|
|
// See issue 60414
|
|
|
|
// Reduction to `impl Trait`
|
|
|
|
struct Foo<T>(T);
|
|
|
|
trait FooLike { type Output; }
|
|
|
|
impl<T> FooLike for Foo<T> {
|
|
type Output = T;
|
|
}
|
|
|
|
mod impl_trait {
|
|
use super::*;
|
|
|
|
trait Trait {
|
|
type Assoc;
|
|
}
|
|
|
|
/// `T::Assoc` can't be normalized any further here.
|
|
fn foo_fail<T: Trait>() -> impl FooLike<Output=T::Assoc> {
|
|
//~^ ERROR: type mismatch
|
|
Foo(())
|
|
}
|
|
}
|
|
|
|
// Same with lifetimes in the trait
|
|
|
|
mod lifetimes {
|
|
use super::*;
|
|
|
|
trait Trait<'a> {
|
|
type Assoc;
|
|
}
|
|
|
|
/// Missing bound constraining `Assoc`, `T::Assoc` can't be normalized further.
|
|
fn foo2_fail<'a, T: Trait<'a>>() -> impl FooLike<Output=T::Assoc> {
|
|
//~^ ERROR: type mismatch
|
|
//~^^ ERROR `impl Trait` return type cannot contain a projection or `Self` that references lifetimes from a parent scope
|
|
Foo(())
|
|
}
|
|
}
|
|
|
|
fn main() {}
|