hdl: remove Value.implies.

Fixes #1239.

Author: wanda-phi

amaranth/hdl/_ast.py

@@ -994,11 +994,6 @@ def xor(self):
         """
         return Operator("r^", [self])
 
-    # TODO(amaranth-0.6): remove
-    @deprecated("`a.implies(b)` is deprecated, use `~a | b` instead")
-    def implies(self, conclusion):
-        return ~self | conclusion
-
     def __check_shamt(self):
         if self.shape().signed:
             # Neither Python nor HDLs implement shifts by negative values; prohibit any shifts
@@ -2481,7 +2476,6 @@ def __repr__(self):
     any = _proxy_value("any")
     all = _proxy_value("all")
     xor = _proxy_value("xor")
-    implies = _proxy_value("implies")
     __lshift__ = _proxy_value("__lshift__")
     __rlshift__ = _proxy_value("__rlshift__")
     __rshift__ = _proxy_value("__rshift__")

docs/changes.rst

@@ -28,8 +28,9 @@ Language changes
 
 .. currentmodule:: amaranth.hdl
 
-* Removed (deprecated in 0.4): :class:`Record`.
-* Removed (deprecated in 0.5): public submodules of :mod:`amaranth.hdl`.
+* Removed: (deprecated in 0.4) :class:`Record`.
+* Removed: (deprecated in 0.5) public submodules of :mod:`amaranth.hdl`.
+* Removed: (deprecated in 0.5) :meth:`Value.implies`.
 
 
 Standard library changes