def METHOD_NAME():
    @tvm.script.ir_module
    class TestCasting:
        @R.function
        def main(x: R.Tensor) -> R.Object:
            y = x
            # z will be treated as object type even though it's a tensor
            z: R.Object = y
            return z
    @tvm.script.ir_module
    class Expected:
        @R.function
        def main(x: R.Tensor) -> R.Object:
            y = x
            # Cannot unify because the cast indicates user intent
            z: R.Object = x
            return z
    new_mod = relax.transform.CanonicalizeBindings()(TestCasting)
    assert_structural_equal(new_mod, Expected)