From 1138855e0458f1e54b1e14fee259e7a13fa3076b Mon Sep 17 00:00:00 2001 From: David Peter Date: Wed, 10 Dec 2025 16:55:27 +0100 Subject: [PATCH] Two more tests --- crates/ty_python_semantic/resources/mdtest/type_of/generics.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/crates/ty_python_semantic/resources/mdtest/type_of/generics.md b/crates/ty_python_semantic/resources/mdtest/type_of/generics.md index f99f0a10b7..198390adb9 100644 --- a/crates/ty_python_semantic/resources/mdtest/type_of/generics.md +++ b/crates/ty_python_semantic/resources/mdtest/type_of/generics.md @@ -392,10 +392,12 @@ expects_type_p(P) # Also OK if the explicit specialization lines up with the default, in either direction: expects_type_p(P[str]) expects_type_p_of_str(P) +expects_type_p_of_str(P[str]) # Not OK if the specializations don't line up: expects_type_p(P[int]) # error: [invalid-argument-type] expects_type_p_of_int(P[str]) # error: [invalid-argument-type] +expects_type_p_of_int(P) # error: [invalid-argument-type] expects_type_p_of_str(P[int]) # error: [invalid-argument-type] ```