### Describe the Bug See: ``` from typing import TypeIs, reveal_type class A: ... def f(x) -> TypeIs[A]: return True class B: ... def g(b: B): if f(b): reveal_type(b) # pyrefly incorrectly reveals Never ``` ### Sandbox Link https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeS4ATrgLYAEALqcROgOZ0Q3G6UN0AVZjACScADR1KMAG4xUUAPpNiMADroNAYyio4cOgEFEdQmY0bMMMHTAAKfAEo6AWgB8g4WIDahgLqIGnTBUjAMAK6U6IKU4eqa6Dp6BgBCJmaEFljWdGx22CYpjoHRIRA29tjFQSG10nIKysL5jiDiIOEM0HAk5IggAMR0AKpdUBBMtuGJXbjocFlWFbw0qAyK6OE02DCUDiasDM7udHAMlCV1YZHRYGogAHJbOxd0wPgAvvcabSBk0mAoKRCAxaFAKEMAAqkAFA04YHAEOhaOaQNiRNYQOaZdBDADKMBgdAAFgwGMQ4IgAPRU-7WIGEXhsKkwdBUzC4LRwKko9BojGzNm2Xh0VAyVDQVDYWDI1EQdGUTFzOi4YiCnoaMgMYlzFxyShwLHRAC8dHuAGZCABGc3fdAgD7tVBaLpyABi0BgFDQWDwRDIDqAA ### (Only applicable for extension issues) IDE Information _No response_