- eliminate compile warnings for type checker
- eliminate compile warnings for type checker

seyyed/scalaris,tectronics/scalaris,digshock/scalaris,digshock/scalaris,seyyed/scalaris,digshock/scalaris,tectronics/scalaris,seyyed/scalaris,seyyed/scalaris,digshock/scalaris,digshock/scalaris,tectronics/scalaris,digshock/scalaris,tectronics/scalaris,tectronics/scalaris,digshock/scalaris,seyyed/scalaris,seyyed/scalaris,tectronics/scalaris,seyyed/scalaris,tectronics/scalaris