Kavon Farvardin 3dda59fea7 Sema: improve function cast checking ...

Functions can in fact conform to some protocols, notably,
marker protocols. Dynamically they have no influence on whether the cast
will succeed or not, as there is no way to tell if a type conforms to
such a protocol at runtime. But we should check them statically because
they otherwise can be cast to Any eventually.

2024-02-07 14:54:37 -08:00

3.3 KiB

Raw Permalink Blame History

View Raw