summaryrefslogtreecommitdiffstats
path: root/src/test/ui/save-analysis/issue-68621.rs
blob: 30479580f11a3c0122291b0020d1738bf15406f4 (plain)
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() {}