From 193fdaccd0031881de0cc7034adea33dbb46336a Mon Sep 17 00:00:00 2001 From: Catherine Date: Fri, 1 Dec 2023 20:44:46 +0000 Subject: [PATCH] lib.data: mark `Field` as `@final`. --- amaranth/lib/data.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/amaranth/lib/data.py b/amaranth/lib/data.py index 282d98c..697566c 100644 --- a/amaranth/lib/data.py +++ b/amaranth/lib/data.py @@ -3,6 +3,7 @@ from enum import Enum from collections.abc import Mapping, Sequence import warnings +from amaranth._utils import final from amaranth.hdl import * from amaranth.hdl._repr import * from amaranth.hdl.ast import ShapeCastable, ValueCastable @@ -14,6 +15,7 @@ __all__ = [ ] +@final class Field: """Description of a data field.