tests/ui/layout/unknown-when-no-type-parameter.rs


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

#![feature(trivial_bounds)]

trait Project {
    type Assoc;
}

fn foo()
where
    (): Project,
{
    [(); size_of::<<() as Project>::Assoc>()];
    //~^ ERROR entering unreachable code
    //~| NOTE evaluation of `foo::{constant#0}` failed here
}

fn main() {}