From 5eaa1ad529dc0ed877cc0d8360da2054485ce7c3 Mon Sep 17 00:00:00 2001
From: Jakub Nabaglo <jakub@mirprotocol.org>
Date: Thu, 2 Dec 2021 16:14:47 -0800
Subject: [PATCH] Require a `PrimeField` to be its own `PrimeField` (#383)

---
 src/field/field_types.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/field/field_types.rs b/src/field/field_types.rs
index b7b9ddf4..a3affc13 100644
--- a/src/field/field_types.rs
+++ b/src/field/field_types.rs
@@ -404,7 +404,7 @@ pub trait Field:
 }
 
 /// A finite field of prime order less than 2^64.
-pub trait PrimeField: Field {
+pub trait PrimeField: Field<PrimeField = Self> {
     const ORDER: u64;
 
     /// The number of bits required to encode any field element.