2 // compile-flags: -Zsave-analysis
5 // Async desugaring for return types in (associated) functions introduces a
6 // separate definition internally, which we need to take into account
8 trait Trait { type Assoc; }
11 async fn foobar<T: Trait>() -> T::Assoc {
16 async fn foo<T: Trait>(&self) -> T::Assoc {