blob: 2665c30945b96970cbb76f551169be9c27fba35a [file] [log] [blame]
// Test for #120760, which causes an ice bug: no index for a field
//
//@ compile-flags: -Z threads=45
//@ edition: 2021
//@ compare-output-by-lines
type BoxFuture<T> = std::pin::Pin<Box<dyn std::future::Future<Output = T>>>;
fn main() {
let _ = f();
}
async fn f() {
run("dependency").await; //~ ERROR cannot find function `run` in this scope
}
struct InMemoryStorage;
pub struct User<'dep> {
pub name: &'a str, //~ ERROR use of undeclared lifetime name `'a`
}
impl<'a> StorageRequest<InMemoryStorage> for SaveUser<'a> {
fn execute(&self) -> BoxFuture<Result<(), String>> {
todo!()
}
}
trait Storage {
type Error;
}
impl Storage for InMemoryStorage {
type Error = String;
}
trait StorageRequestReturnType {
type Output;
}
trait StorageRequest<S: Storage>: StorageRequestReturnType {
fn execute(
&self,
) -> BoxFuture<Result<<SaveUser as StorageRequestReturnType>::Output, <S as Storage>::Error>>;
}
pub struct SaveUser<'a> {
pub name: &'a str,
}
impl<'a> StorageRequestReturnType for SaveUser<'a> {
type Output = ();
}
impl<'dep> User<'dep> {
async fn save<S>(self)
where
S: Storage,
for<'a> SaveUser<'a>: StorageRequest<S>,
{
let _ = run("dependency").await; //~ ERROR cannot find function `run` in this scope
}
}
async fn execute<S>(dep: &str)
where
S: Storage,
for<'a> SaveUser<'a>: StorageRequest<S>,
{
User { dep }.save().await; //~ ERROR struct `User<'_>` has no field named `dep`
}