2018-10-06 18:18:06 +02:00
|
|
|
// Copyright 2014-2018 The Rust Project Developers. See the COPYRIGHT
|
|
|
|
// file at the top-level directory of this distribution.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
// except according to those terms.
|
|
|
|
|
2018-12-09 23:26:16 +01:00
|
|
|
#![allow(
|
|
|
|
clippy::many_single_char_names,
|
|
|
|
clippy::blacklisted_name,
|
|
|
|
clippy::redundant_field_names
|
|
|
|
)]
|
2018-05-27 14:32:03 +02:00
|
|
|
|
|
|
|
#[derive(Copy, Clone)]
|
|
|
|
struct Foo(u32);
|
|
|
|
|
|
|
|
#[derive(Copy, Clone)]
|
|
|
|
struct Bar([u8; 24]);
|
|
|
|
|
2018-11-21 02:57:53 +01:00
|
|
|
#[derive(Copy, Clone)]
|
|
|
|
pub struct Color {
|
2018-12-09 23:26:16 +01:00
|
|
|
pub r: u8,
|
|
|
|
pub g: u8,
|
|
|
|
pub b: u8,
|
|
|
|
pub a: u8,
|
2018-11-21 02:57:53 +01:00
|
|
|
}
|
|
|
|
|
2018-08-02 09:57:49 +02:00
|
|
|
struct FooRef<'a> {
|
|
|
|
foo: &'a Foo,
|
|
|
|
}
|
|
|
|
|
2018-05-27 14:32:03 +02:00
|
|
|
type Baz = u32;
|
|
|
|
|
2018-12-09 23:26:16 +01:00
|
|
|
fn good(a: &mut u32, b: u32, c: &Bar) {}
|
2018-05-27 14:32:03 +02:00
|
|
|
|
2018-07-23 10:33:47 +02:00
|
|
|
fn good_return_implicit_lt_ref(foo: &Foo) -> &u32 {
|
|
|
|
&foo.0
|
|
|
|
}
|
|
|
|
|
2018-07-28 17:34:52 +02:00
|
|
|
#[allow(clippy::needless_lifetimes)]
|
2018-07-23 10:33:47 +02:00
|
|
|
fn good_return_explicit_lt_ref<'a>(foo: &'a Foo) -> &'a u32 {
|
|
|
|
&foo.0
|
|
|
|
}
|
|
|
|
|
2018-08-02 09:57:49 +02:00
|
|
|
fn good_return_implicit_lt_struct(foo: &Foo) -> FooRef {
|
2018-12-09 23:26:16 +01:00
|
|
|
FooRef { foo }
|
2018-08-02 09:57:49 +02:00
|
|
|
}
|
|
|
|
|
2018-07-28 17:34:52 +02:00
|
|
|
#[allow(clippy::needless_lifetimes)]
|
2018-08-02 09:57:49 +02:00
|
|
|
fn good_return_explicit_lt_struct<'a>(foo: &'a Foo) -> FooRef<'a> {
|
2018-12-09 23:26:16 +01:00
|
|
|
FooRef { foo }
|
2018-08-02 09:57:49 +02:00
|
|
|
}
|
|
|
|
|
2018-12-09 23:26:16 +01:00
|
|
|
fn bad(x: &u32, y: &Foo, z: &Baz) {}
|
2018-05-27 14:32:03 +02:00
|
|
|
|
|
|
|
impl Foo {
|
2018-12-09 23:26:16 +01:00
|
|
|
fn good(self, a: &mut u32, b: u32, c: &Bar) {}
|
2018-05-27 14:32:03 +02:00
|
|
|
|
2018-12-09 23:26:16 +01:00
|
|
|
fn good2(&mut self) {}
|
2018-05-27 14:32:03 +02:00
|
|
|
|
2018-12-09 23:26:16 +01:00
|
|
|
fn bad(&self, x: &u32, y: &Foo, z: &Baz) {}
|
2018-05-27 14:32:03 +02:00
|
|
|
|
2018-12-09 23:26:16 +01:00
|
|
|
fn bad2(x: &u32, y: &Foo, z: &Baz) {}
|
2018-05-27 14:32:03 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
impl AsRef<u32> for Foo {
|
|
|
|
fn as_ref(&self) -> &u32 {
|
|
|
|
&self.0
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Bar {
|
2018-12-09 23:26:16 +01:00
|
|
|
fn good(&self, a: &mut u32, b: u32, c: &Bar) {}
|
2018-05-27 14:32:03 +02:00
|
|
|
|
2018-12-09 23:26:16 +01:00
|
|
|
fn bad2(x: &u32, y: &Foo, z: &Baz) {}
|
2018-05-27 14:32:03 +02:00
|
|
|
}
|
|
|
|
|
2018-11-21 02:57:53 +01:00
|
|
|
trait MyTrait {
|
|
|
|
fn trait_method(&self, _foo: &Foo);
|
|
|
|
}
|
|
|
|
|
|
|
|
pub trait MyTrait2 {
|
|
|
|
fn trait_method2(&self, _color: &Color);
|
|
|
|
}
|
|
|
|
|
|
|
|
impl MyTrait for Foo {
|
|
|
|
fn trait_method(&self, _foo: &Foo) {
|
|
|
|
unimplemented!()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-05-27 14:32:03 +02:00
|
|
|
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 10:33:47 +02:00
|
|
|
good_return_implicit_lt_ref(&y);
|
|
|
|
good_return_explicit_lt_ref(&y);
|
2018-05-27 14:32:03 +02: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();
|
|
|
|
}
|