def METHOD_NAME(self) -> None:
    class TestModel(torch.nn.Module):
        def __init__(self):
            super().__init__()
            self.register_buffer(
                "a",
                torch.randn(1, 3, 100, 100).to(memory_format=torch.channels_last),
            )
        def forward(self, x):
            return self.a + x
    m = TestModel()
    egm = capture(m, (torch.randn(1, 3, 100, 100),))
    egm._apply(lambda t: t.to(memory_format=torch.channels_last))
    verifier = ATenDialectVerifier()
    with self.assertRaises(SpecViolationError):
        verifier(egm)
    self.assertFalse(verifier.is_valid(egm))