Fix SliceType's default initializer.

If you are going to touch this code, please make sure to read the comment and assert if they are still up to date.