### Describe the Bug See: ``` from typing import TypeIs, assert_type def f(x: int) -> TypeIs[bool]: return isinstance(x, bool) assert_type(f(0), bool) # assert_type(TypeIs[bool], bool) failed ``` ### Sandbox Link https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeS4ATrgLYAEALqcROgOZ0Q3G6UN0AVZjACScADR1UcODD4B9JsRgAddGswwwdMAAp8iTugYBKOgFoAfIOFiA2nlxQAuojV0PdSjAYBXSuiccKxwDBgAxjD6ko5QJmrSsgpKUXoADCYxuE5mdADEUjJyDIrCukLK9rHOWTk6qNAwmCDiIL4M0HAk5IggBQCqHVAQTDq%2B6OEduOhwahpaOrw0qCXovjTYcvqGrKYW1qGUboGe3n4BOiogAHLrm0d0wPgAvldqLSBk3mBQpIQMtCgFAKAAVSN9fnQ0Fg8Pg6OFppA2P4VhBpoQ1AUAMowGB0AAWDAYxDgiAA9GSvlpfoReGwyTB0GTMLhwnAyQj0EiUVMmYtKFIAG4NKCobCweGIiDIyio6Z0XDEXldNRkBj46bmQVyYLygC8dCuAGZCABGI1vdAgZ6tVCTCDagBijQo0JwBG61qAA ### (Only applicable for extension issues) IDE Information _No response_