2018-08-06 01:20:50 -05:00
|
|
|
#![allow(many_single_char_names, blacklisted_name, redundant_field_names)]
|
2018-05-27 07:32:03 -05:00
|
|
|
|
|
|
|
#[derive(Copy, Clone)]
|
|
|
|
struct Foo(u32);
|
|
|
|
|
|
|
|
#[derive(Copy, Clone)]
|
|
|
|
struct Bar([u8; 24]);
|
|
|
|
|
2018-08-02 02:57:49 -05:00
|
|
|
struct FooRef<'a> {
|
|
|
|
foo: &'a Foo,
|
|
|
|
}
|
|
|
|
|
2018-05-27 07:32:03 -05:00
|
|
|
type Baz = u32;
|
|
|
|
|
|
|
|
fn good(a: &mut u32, b: u32, c: &Bar) {
|
|
|
|
}
|
|
|
|
|
2018-07-23 03:33:47 -05:00
|
|
|
fn good_return_implicit_lt_ref(foo: &Foo) -> &u32 {
|
|
|
|
&foo.0
|
|
|
|
}
|
|
|
|
|
|
|
|
#[allow(needless_lifetimes)]
|
|
|
|
fn good_return_explicit_lt_ref<'a>(foo: &'a Foo) -> &'a u32 {
|
|
|
|
&foo.0
|
|
|
|
}
|
|
|
|
|
2018-08-02 02:57:49 -05:00
|
|
|
fn good_return_implicit_lt_struct(foo: &Foo) -> FooRef {
|
|
|
|
FooRef {
|
|
|
|
foo,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[allow(needless_lifetimes)]
|
|
|
|
fn good_return_explicit_lt_struct<'a>(foo: &'a Foo) -> FooRef<'a> {
|
|
|
|
FooRef {
|
|
|
|
foo,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-05-27 07:32:03 -05:00
|
|
|
fn bad(x: &u32, y: &Foo, z: &Baz) {
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Foo {
|
|
|
|
fn good(self, a: &mut u32, b: u32, c: &Bar) {
|
|
|
|
}
|
|
|
|
|
|
|
|
fn good2(&mut self) {
|
|
|
|
}
|
|
|
|
|
|
|
|
fn bad(&self, x: &u32, y: &Foo, z: &Baz) {
|
|
|
|
}
|
|
|
|
|
|
|
|
fn bad2(x: &u32, y: &Foo, z: &Baz) {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl AsRef<u32> for Foo {
|
|
|
|
fn as_ref(&self) -> &u32 {
|
|
|
|
&self.0
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Bar {
|
|
|
|
fn good(&self, a: &mut u32, b: u32, c: &Bar) {
|
|
|
|
}
|
|
|
|
|
|
|
|
fn bad2(x: &u32, y: &Foo, z: &Baz) {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
let (mut foo, bar) = (Foo(0), Bar([0; 24]));
|
|
|
|
let (mut a, b, c, x, y, z) = (0, 0, Bar([0; 24]), 0, Foo(0), 0);
|
|
|
|
good(&mut a, b, &c);
|
2018-07-23 03:33:47 -05:00
|
|
|
good_return_implicit_lt_ref(&y);
|
|
|
|
good_return_explicit_lt_ref(&y);
|
2018-05-27 07:32:03 -05:00
|
|
|
bad(&x, &y, &z);
|
|
|
|
foo.good(&mut a, b, &c);
|
|
|
|
foo.good2();
|
|
|
|
foo.bad(&x, &y, &z);
|
|
|
|
Foo::bad2(&x, &y, &z);
|
|
|
|
bar.good(&mut a, b, &c);
|
|
|
|
Bar::bad2(&x, &y, &z);
|
|
|
|
foo.as_ref();
|
|
|
|
}
|