{S : Type u_1} →
  {R : Type u_2} →
    [inst : NonUnitalNonAssocSemiring R] →
      [inst_1 : StarRing R] →
        [inst_2 : SetLike S R] → [NonUnitalSubsemiringClass S R] → [StarMemClass S R] → S → NonUnitalStarSubsemiring R