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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

// compile-flags: -Zsave-analysis

#![feature(type_alias_impl_trait)]

trait Trait {}

trait Service {
    type Future: Trait;
}

struct Struct;

impl Service for Struct {
    type Future = impl Trait; //~ ERROR: unconstrained opaque type
}

fn main() {}