`new_without_default_derive` triggers on types which cannot `#[derive(Default)]`

[sgrif]

The lint seems to trigger on any function with the signature fn new() -> Self. #[derive(Default)] requires a default bound on all type parameters, even if those types do not appear in the actual type body.

[oli-obk]

The idea of that lint is not to necessarily use derive, but to implement Default by forwarding to new

[sgrif]

If that's the case, it should probably not include derive in the name or the help text

[oli-obk]

Oh sorry. I confused the two new_without_default* lints. That makes total sense.

[oli-obk]

Can you give an example struct where the lint triggers but shouldn't?

I tried

struct Foo<T>(std::marker::PhantomData<T>);

struct Bar<T>(Foo<T>);

impl<T> Bar<T> {
    fn new() -> Self { unimplemented!() }
}

but clippy doesn't trigger on it.

[sgrif]

use std::collections::HashMap;

trait SomeTrait {
    type SomeType;
}

#[derive(Hash, PartialEq, Eq)]
struct Key<T: SomeTrait> {
    foo: T::SomeType,
}

struct Cache<T: SomeTrait> {
    foo: HashMap<Key<T>, ()>,
}

impl<T> Cache<T>
where
    T: SomeTrait,
    T::SomeType: Hash + Eq,
{
    pub fn new() -> Self {
        Cache {
            foo: HashMap::new(),
        }
    }
}

[oli-obk]

Unfortunately I cannot reproduce: http://play.integer32.com/?gist=56b78c856f90a1f8e0bb9e8ee50a392a&version=stable or http://play.integer32.com/?gist=8179a9caaadbd71712a54d804fea13e5&version=stable (your code as it is doesn't compile, so I had to guess)

[sgrif]

Sorry about that, this is the code which compiles:

use std::collections::HashMap;
use std::hash::Hash;

trait SomeTrait {
    type SomeType;
}

#[derive(Hash, PartialEq, Eq)]
struct Key<T: SomeTrait> {
    foo: T::SomeType,
}

struct Cache<T: SomeTrait> {
    foo: HashMap<Key<T>, ()>,
}

impl<T> Cache<T>
where
    T: SomeTrait,
    Key<T>: Hash + Eq,
{
    pub fn new() -> Self {
        Cache {
            foo: HashMap::new(),
        }
    }
}

fn main() {
}

[oli-obk]

But it doesn't trigger the lint. At least not on play.integer32.com

[sgrif]

The actual type which 100% triggers the lint and cannot derive Default which I was attempting to simplify is here

[oli-obk]

I consider this a bug in derives, not in clippy: rust-lang/rust#9607

minimal repro:

use std::hash::Hash;
use std::collections::HashMap;

pub struct Foo<T> {
    bar: HashMap<T, usize>,
}

impl<T: Hash + Eq> Foo<T> {
    pub fn new() -> Self {
        Foo {
            bar: HashMap::default(),
        }
    }
}