171 lines
2.9 KiB
Rust
171 lines
2.9 KiB
Rust
|
use std::collections::HashMap;
|
||
|
|
||
|
struct FooDefault<'a> {
|
||
|
a: bool,
|
||
|
b: i32,
|
||
|
c: u64,
|
||
|
d: Vec<i32>,
|
||
|
e: FooND1,
|
||
|
f: FooND2,
|
||
|
g: HashMap<i32, i32>,
|
||
|
h: (i32, Vec<i32>),
|
||
|
i: [Vec<i32>; 3],
|
||
|
j: [i32; 5],
|
||
|
k: Option<i32>,
|
||
|
l: &'a [i32],
|
||
|
}
|
||
|
|
||
|
impl std::default::Default for FooDefault<'_> {
|
||
|
fn default() -> Self {
|
||
|
Self {
|
||
|
a: false,
|
||
|
b: 0,
|
||
|
c: 0u64,
|
||
|
d: vec![],
|
||
|
e: Default::default(),
|
||
|
f: FooND2::default(),
|
||
|
g: HashMap::new(),
|
||
|
h: (0, vec![]),
|
||
|
i: [vec![], vec![], vec![]],
|
||
|
j: [0; 5],
|
||
|
k: None,
|
||
|
l: &[],
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
|
||
|
struct TupleDefault(bool, i32, u64);
|
||
|
|
||
|
impl std::default::Default for TupleDefault {
|
||
|
fn default() -> Self {
|
||
|
Self(false, 0, 0u64)
|
||
|
}
|
||
|
}
|
||
|
|
||
|
struct FooND1 {
|
||
|
a: bool,
|
||
|
}
|
||
|
|
||
|
impl std::default::Default for FooND1 {
|
||
|
fn default() -> Self {
|
||
|
Self { a: true }
|
||
|
}
|
||
|
}
|
||
|
|
||
|
struct FooND2 {
|
||
|
a: i32,
|
||
|
}
|
||
|
|
||
|
impl std::default::Default for FooND2 {
|
||
|
fn default() -> Self {
|
||
|
Self { a: 5 }
|
||
|
}
|
||
|
}
|
||
|
|
||
|
struct FooNDNew {
|
||
|
a: bool,
|
||
|
}
|
||
|
|
||
|
impl FooNDNew {
|
||
|
fn new() -> Self {
|
||
|
Self { a: true }
|
||
|
}
|
||
|
}
|
||
|
|
||
|
impl Default for FooNDNew {
|
||
|
fn default() -> Self {
|
||
|
Self::new()
|
||
|
}
|
||
|
}
|
||
|
|
||
|
struct FooNDVec(Vec<i32>);
|
||
|
|
||
|
impl Default for FooNDVec {
|
||
|
fn default() -> Self {
|
||
|
Self(vec![5, 12])
|
||
|
}
|
||
|
}
|
||
|
|
||
|
struct StrDefault<'a>(&'a str);
|
||
|
|
||
|
impl Default for StrDefault<'_> {
|
||
|
fn default() -> Self {
|
||
|
Self("")
|
||
|
}
|
||
|
}
|
||
|
|
||
|
#[derive(Default)]
|
||
|
struct AlreadyDerived(i32, bool);
|
||
|
|
||
|
macro_rules! mac {
|
||
|
() => {
|
||
|
0
|
||
|
};
|
||
|
($e:expr) => {
|
||
|
struct X(u32);
|
||
|
impl Default for X {
|
||
|
fn default() -> Self {
|
||
|
Self($e)
|
||
|
}
|
||
|
}
|
||
|
};
|
||
|
}
|
||
|
|
||
|
mac!(0);
|
||
|
|
||
|
struct Y(u32);
|
||
|
impl Default for Y {
|
||
|
fn default() -> Self {
|
||
|
Self(mac!())
|
||
|
}
|
||
|
}
|
||
|
|
||
|
struct RustIssue26925<T> {
|
||
|
a: Option<T>,
|
||
|
}
|
||
|
|
||
|
// We should watch out for cases where a manual impl is needed because a
|
||
|
// derive adds different type bounds (https://github.com/rust-lang/rust/issues/26925).
|
||
|
// For example, a struct with Option<T> does not require T: Default, but a derive adds
|
||
|
// that type bound anyways. So until #26925 get fixed we should disable lint
|
||
|
// for the following case
|
||
|
impl<T> Default for RustIssue26925<T> {
|
||
|
fn default() -> Self {
|
||
|
Self { a: None }
|
||
|
}
|
||
|
}
|
||
|
|
||
|
struct SpecializedImpl<A, B> {
|
||
|
a: A,
|
||
|
b: B,
|
||
|
}
|
||
|
|
||
|
impl<T: Default> Default for SpecializedImpl<T, T> {
|
||
|
fn default() -> Self {
|
||
|
Self {
|
||
|
a: T::default(),
|
||
|
b: T::default(),
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
|
||
|
struct WithoutSelfCurly {
|
||
|
a: bool,
|
||
|
}
|
||
|
|
||
|
impl Default for WithoutSelfCurly {
|
||
|
fn default() -> Self {
|
||
|
WithoutSelfCurly { a: false }
|
||
|
}
|
||
|
}
|
||
|
|
||
|
struct WithoutSelfParan(bool);
|
||
|
|
||
|
impl Default for WithoutSelfParan {
|
||
|
fn default() -> Self {
|
||
|
WithoutSelfParan(false)
|
||
|
}
|
||
|
}
|
||
|
|
||
|
fn main() {}
|