so for ``` sealed class A class B : A class C : A ...
# android
m
so for
Copy code
sealed class A
class B : A
class C : A
the compiler knows that if a function is receiving
A
, it can only assume the values of
B
and
C