tests/ui/mir/meaningless-bound.rs


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

//! Regression test for #140100 and #140365
//@compile-flags: -C opt-level=1 -Zvalidate-mir

fn a()
where
    b: Sized,
    //~^ ERROR cannot find type `b` in this scope
{
    println!()
}

fn f() -> &'static str
where
    Self: Sized,
    //~^ ERROR cannot find type `Self` in this scope
{
    ""
}

fn main() {}