Add simple impl trait test for RPITIT

This commit is contained in:
Santiago Pastorino 2023-03-03 12:42:11 -03:00
parent b1efed4b64
commit 5daa01e4a6
No known key found for this signature in database
GPG key ID: 8131A24E0C79EFAF

View file

@ -0,0 +1,17 @@
// check-pass
// compile-flags: -Zlower-impl-trait-in-trait-to-assoc-ty
#![feature(return_position_impl_trait_in_trait)]
#![allow(incomplete_features)]
trait Foo {
fn foo() -> impl Sized;
}
impl Foo for String {
fn foo() -> i32 {
22
}
}
fn main() {}