about summary refs log tree commit diff
path: root/tests/ui/impl-trait/defined-by-trait-resolution.rs
blob: 8d3b38eb9c787bd20936f13eda28000813a4a24b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
//! The trait query `foo: Fn() -> u8` is a valid defining use of RPIT.

//@ build-pass

fn returns_u8(_: impl Fn() -> u8) {}

pub fn foo() -> impl Sized {
    returns_u8(foo);
    0u8
}

fn main() {}