summary refs log tree commit diff
path: root/tests/ui/impl-trait/precise-capturing/bad-params.rs
blob: 7970d49bf7c07cf8e53e02f541ae720b9a7a7e09 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
#![feature(precise_capturing)]
//~^ WARN the feature `precise_capturing` is incomplete

fn missing() -> impl use<T> Sized {}
//~^ ERROR cannot find type `T` in this scope

fn missing_self() -> impl use<Self> Sized {}
//~^ ERROR cannot find type `Self` in this scope

struct MyType;
impl MyType {
    fn self_is_not_param() -> impl use<Self> Sized {}
    //~^ ERROR `Self` can't be captured in `use<...>` precise captures list, since it is an alias
}

fn hello() -> impl use<hello> Sized {}
//~^ ERROR expected type or const parameter in `use<...>` precise captures list, found function

fn main() {}