bendns' repos / rust-analyzer
Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/ide-diagnostics/src/handlers/incorrect_generics_len.rs')
-rw-r--r--crates/ide-diagnostics/src/handlers/incorrect_generics_len.rs17
1 files changed, 17 insertions, 0 deletions
diff --git a/crates/ide-diagnostics/src/handlers/incorrect_generics_len.rs b/crates/ide-diagnostics/src/handlers/incorrect_generics_len.rs
index 894e044642..25220704e0 100644
--- a/crates/ide-diagnostics/src/handlers/incorrect_generics_len.rs
+++ b/crates/ide-diagnostics/src/handlers/incorrect_generics_len.rs
@@ -224,4 +224,21 @@ fn main() {
"#,
);
}
+
+ #[test]
+ fn type_as_trait_does_not_count() {
+ check_diagnostics(
+ r#"
+pub trait Lock<T> {
+ fn new(b: T) -> Self;
+}
+pub trait LockChoice {
+ type Lock<T>: Lock<T>;
+}
+fn f<L: LockChoice>() {
+ <L as LockChoice>::Lock::new(());
+}
+ "#,
+ );
+ }
}