tests/ui/extern/issue-112363-extern-item-where-clauses-debug-ice.rs


1
2
3
4
5
6
7
8
9
10

extern "C" {
    type Item = [T] where [T]: Sized;
    //~^ ERROR incorrect `type` inside `extern` block
    //~| ERROR `type`s inside `extern` blocks cannot have `where` clauses
    //~| ERROR cannot find type `T` in this scope
    //~| ERROR cannot find type `T` in this scope
    //~| ERROR extern types are experimental
}

fn main() {}