src/test/ui/save-analysis/issue-65590.rs

   1 // check-pass
   2 // compile-flags: -Zsave-analysis
   3 // edition:2018
   4
   5 // Async desugaring for return types in (associated) functions introduces a
   6 // separate definition internally, which we need to take into account
   7 // (or else we ICE).
   8 trait Trait { type Assoc; }
   9 struct Struct;
  10
  11 async fn foobar<T: Trait>() -> T::Assoc {
  12     unimplemented!()
  13 }
  14
  15 impl Struct {
  16     async fn foo<T: Trait>(&self) -> T::Assoc {
  17         unimplemented!()
  18     }
  19 }
  20
  21 fn main() {}