The sinking of part of the roof of an intrusion within a closed system of peripheral faults into which magma has penetrated, often to form ring dikes.