test slicing between types;