Stanislav Erokhin erokhins

## fine-grained-variance-check.md

      
              1 file
            
          
              2 forks
            
          
              2 comments
            
          
              4 stars
            
          
                mekarthedev
                / fine-grained-variance-check.md
            
            
              Last active
              September 9, 2023 21:51
            
              
                Kotlin proposal: Allow `out` type parameter to occur in `in` position
              
          
    Allow out type parameter to safely occur in in position


Type: Design proposal
Author: Viacheslav Makarov
Status: Draft

Summary

Reduce the need in @UnsafeVariance. Allow covariant types to have non-private methods
with non-covariant signature. To protect class' covariance, out-project signatures