Drop redundant Widen operator from RHS of subtyping rule#130
Open
nikitabobko wants to merge 1 commit intoreleasefrom
Open
Drop redundant Widen operator from RHS of subtyping rule#130nikitabobko wants to merge 1 commit intoreleasefrom
nikitabobko wants to merge 1 commit intoreleasefrom
