Remove torch._constrain_as_value (#3731)

Summary:
Pull Request resolved: #3731

X-link: pytorch/pytorch#127103

This API doesn't do anything useful and should be subsumed by torch._check.

Reviewed By: angelayi

Differential Revision: D57786740

fbshipit-source-id: 739ecf981e843712c418fa660f7a01f3d0b5b6cb

Author: tugsbayasgalan

exir/program/test/test_program.py

@@ -219,7 +219,8 @@ def test_constraint_present_after_dce(self):
         class M(torch.nn.Module):
             def forward(self, x, y):
                 z = y.item()
-                torch._constrain_as_value(z, 0, 4)
+                torch._check(z > 0)
+                torch._check(z < 4)
                 return x[z : z + y.shape[0]]
 
         ep = torch.export.export(M(), (torch.randn(10), torch.tensor([3])))

exir/verification/test/test_verifier.py

@@ -37,7 +37,8 @@ def test_edge_verifier_enablement(self) -> None:
         class M(torch.nn.Module):
             def forward(self, x, y):
                 z = y.item()
-                torch._constrain_as_value(z, 0, 4)
+                torch._check(z > 0)
+                torch._check(z < 4)
                 return x[z : z + y.shape[0]]
 
         ep = torch.export.export(M(), (torch.randn(10), torch.tensor([3])))