tests/ui/impl-trait/defining-use-uncaptured-non-universal-region-3.rs


1
2
3
4
5
6
7
8
9
10
11
12
13

//@ check-pass

#![feature(adt_const_params)]
#![allow(incomplete_features)]

trait Bar<const FOO: &'static str> {}
impl Bar<"asdf"> for () {}

fn foo<const FOO: &'static str>() -> impl Bar<"asdf"> {
    ()
}

fn main() {}