Stanislav Erokhin erokhins

## fine-grained-variance-check.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                erokhins
                / fine-grained-variance-check.md
            
            
              Created
              May 2, 2018 17:55
                — forked from mekarthedev/fine-grained-variance-check.md
            
              
                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