How does Kotlin handle generics and variance (in/out)?

Kotlin uses declaration-site variance using in/out keywords.

Covariance (out) allows a type to be a subtype safely, while contravariance (in) allows supertype substitution. Kotlin enforces variance at compile time to ensure type safety in generics.