fn _alignment_can_be_structurally_matched(a: Alignment) -> bool