[SLSR] S's basis must have the same type as S