diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:02:58 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:02:58 +0000 |
commit | 698f8c2f01ea549d77d7dc3338a12e04c11057b9 (patch) | |
tree | 173a775858bd501c378080a10dca74132f05bc50 /src/tools/clippy/tests/ui/mismatching_type_param_order.rs | |
parent | Initial commit. (diff) | |
download | rustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.tar.xz rustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.zip |
Adding upstream version 1.64.0+dfsg1.upstream/1.64.0+dfsg1
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
-rw-r--r-- | src/tools/clippy/tests/ui/mismatching_type_param_order.rs | 64 |
1 files changed, 64 insertions, 0 deletions
diff --git a/src/tools/clippy/tests/ui/mismatching_type_param_order.rs b/src/tools/clippy/tests/ui/mismatching_type_param_order.rs new file mode 100644 index 000000000..8c0da84d8 --- /dev/null +++ b/src/tools/clippy/tests/ui/mismatching_type_param_order.rs @@ -0,0 +1,64 @@ +#![warn(clippy::mismatching_type_param_order)] +#![allow(clippy::blacklisted_name)] + +fn main() { + struct Foo<A, B> { + x: A, + y: B, + } + + // lint on both params + impl<B, A> Foo<B, A> {} + + // lint on the 2nd param + impl<C, A> Foo<C, A> {} + + // should not lint + impl<A, B> Foo<A, B> {} + + struct FooLifetime<'l, 'm, A, B> { + x: &'l A, + y: &'m B, + } + + // should not lint on lifetimes + impl<'m, 'l, B, A> FooLifetime<'m, 'l, B, A> {} + + struct Bar { + x: i32, + } + + // should not lint + impl Bar {} + + // also works for enums + enum FooEnum<A, B, C> { + X(A), + Y(B), + Z(C), + } + + impl<C, A, B> FooEnum<C, A, B> {} + + // also works for unions + union FooUnion<A: Copy, B> + where + B: Copy, + { + x: A, + y: B, + } + + impl<B: Copy, A> FooUnion<B, A> where A: Copy {} + + impl<A, B> FooUnion<A, B> + where + A: Copy, + B: Copy, + { + } + + // if the types are complicated, do not lint + impl<K, V, B> Foo<(K, V), B> {} + impl<K, V, A> Foo<(K, V), A> {} +} |