19 lines
231 B
Rust
19 lines
231 B
Rust
|
// check-pass
|
||
|
|
|
||
|
|
#![warn(unused)]
|
||
|
|
#![deny(warnings)]
|
||
|
|
|
||
|
|
struct Inv<'a>(&'a mut &'a ());
|
||
|
|
|
||
|
|
trait Trait {}
|
||
|
|
impl Trait for for<'a> fn(Inv<'a>) {}
|
||
|
|
|
||
|
|
fn with_bound()
|
||
|
|
where
|
||
|
|
(for<'a> fn(Inv<'a>)): Trait,
|
||
|
|
{}
|
||
|
|
|
||
|
|
fn main() {
|
||
|
|
with_bound();
|
||
|
|
}
|