Shadowing of types via Generic Parameter

[Havvy]

struct Foo {}

struct<Foo> Bar { f: Foo }

Should warn that Foo in Bar shadows the struct Foo declared previously.

Summary Notes

• "test-case-example" by @samueltardieu

Generated by triagebot, see help for how to add more

[samueltardieu]

In modern Rust, a test-case could be

struct Foo;
struct Bar<Foo> { f: Foo };

Also, with today's compiler structure, working with a HIR visitor should be enough to detect such shadowing.

@rustbot label +good-first-issue -E-hard -T-middle
@rustbot note test-case-example

[devodev]

I'd like to try and tackle this as my first contribution.

@rustbot claim