2016-01-12 14:51:32 -06:00
|
|
|
// rustfmt-type_punctuation_density: Compressed
|
|
|
|
|
2017-04-24 12:59:21 -05:00
|
|
|
struct Foo<T: Eq+Clone, U>
|
2017-06-11 23:01:41 -05:00
|
|
|
where
|
|
|
|
U: Eq+Clone, {
|
2017-04-24 12:59:21 -05:00
|
|
|
// body
|
|
|
|
}
|
|
|
|
|
|
|
|
trait Foo<'a, T=usize>
|
2017-06-11 23:01:41 -05:00
|
|
|
where
|
|
|
|
T: 'a+Eq+Clone,
|
2017-04-24 12:59:21 -05:00
|
|
|
{
|
|
|
|
type Bar: Eq+Clone;
|
|
|
|
}
|
|
|
|
|
|
|
|
trait Foo: Eq+Clone {
|
|
|
|
// body
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<T> Foo<'a> for Bar
|
2017-06-11 23:01:41 -05:00
|
|
|
where
|
|
|
|
for<'a> T: 'a+Eq+Clone,
|
2017-04-24 12:59:21 -05:00
|
|
|
{
|
|
|
|
// body
|
|
|
|
}
|
|
|
|
|
|
|
|
fn foo<'a, 'b, 'c>()
|
2017-06-11 23:01:41 -05:00
|
|
|
where
|
|
|
|
'a: 'b+'c,
|
2017-04-24 12:59:21 -05:00
|
|
|
{
|
|
|
|
// body
|
|
|
|
}
|
|
|
|
|
2016-01-12 14:51:32 -06:00
|
|
|
fn Foo<T=Foo, Output=Expr<'tcx>+Foo>() {
|
|
|
|
let i = 6;
|
|
|
|
}
|