tests/ui/save-analysis/issue-68621.rs

   1 // compile-flags: -Zsave-analysis
   2
   3 #![feature(type_alias_impl_trait)]
   4
   5 trait Trait {}
   6
   7 trait Service {
   8     type Future: Trait;
   9 }
  10
  11 struct Struct;
  12
  13 impl Service for Struct {
  14     type Future = impl Trait; //~ ERROR: unconstrained opaque type
  15 }
  16
  17 fn main() {}