My question is in the context of a fictional super-Neptune that lies in the habitable zone of its host star system.
Giant planets only form beyond the Frost Line of their protoplanetary disk, and can then migrate inward to establish habitable orbits. Research that I have done on the topic suggests that in the case of Jupiter, the planet took its already formed icy moons inward with it when it migrated into the inner solar system.
Does this mean that migrated giant planets will only be able to harbour watery moons? Or, is there a mechanism by which a giant planet can form or acquire a rocky moon post migration?