When magma cuts across another rock and hardens the resulting formation is called a?

当岩浆切穿另一岩石并冷却硬化后形成的构造被称为侵入岩体或岩脉。具体来说，如果岩浆是在地壳中冷却形成的细长岩体，则称为岩脉；如果是在地壳中冷却形成的大规模岩体，则称为岩墙。如果岩浆是在地壳深处冷却形成的大规模岩体，且与周围岩石边界模糊，则称为侵入体或岩浆岩。在这些选项中，最直接的答案就是“岩脉”。

所以，正确答案是岩脉。