Fix coefficient_ring_type

Author: SoongNoonien

src/generic/FreeModule.jl

@@ -16,7 +16,7 @@ base_ring_type(::Type{FreeModule{T}}) where T <: Union{RingElement, NCRingElem}
 
 base_ring(M::FreeModule{T}) where T <: Union{RingElement, NCRingElem} = M.base_ring::parent_type(T)
 
-coefficient_ring_type(T::Type{FreeModule}) = base_ring_type(T)
+coefficient_ring_type(T::Type{<:FreeModule}) = base_ring_type(T)
 
 coefficient_ring(M::FreeModule) = base_ring(M)
 

src/generic/QuotientModule.jl

@@ -20,7 +20,7 @@ base_ring_type(::Type{QuotientModule{T}}) where T <: RingElement = parent_type(T
 
 base_ring(N::QuotientModule{T}) where T <: RingElement = N.base_ring::parent_type(T)
 
-coefficient_ring_type(T::Type{QuotientModule}) = base_ring_type(T)
+coefficient_ring_type(T::Type{<:QuotientModule}) = base_ring_type(T)
 
 coefficient_ring(N::QuotientModule) = base_ring(N)