Skip to content

Remove false unchecked warnings on refined types#14703

Merged
dwijnand merged 1 commit intoscala:mainfrom
dwijnand:checkable-isInstanceOf-RefinedType
Mar 21, 2022
Merged

Remove false unchecked warnings on refined types#14703
dwijnand merged 1 commit intoscala:mainfrom
dwijnand:checkable-isInstanceOf-RefinedType

Commits

Commits on Mar 21, 2022