Type type[str] does not match asserted type <class 'str'> #1762
Description
Summary
https://play.ty.dev/a1ec52be-d9dd-4210-b4a6-d5854393201b
from typing import assert_type
assert_type(str, type[str]) # ❌
assert_type(type(""), type[str]) # ❌
assert_type("".__class__, type[str]) # ❌Type `type[str]` does not match asserted type `<class 'str'>` (type-assertion-failure) [Ln 3, Col 1]
Type `type[str]` does not match asserted type `<class 'str'>` (type-assertion-failure) [Ln 4, Col 1]
Type `type[str]` does not match asserted type `<class 'str'>` (type-assertion-failure) [Ln 5, Col 1]
eh?
Version
No response