semantic: Strip storage when determining valid slice types.