@check failed with ERROR: LoadError: type UnionAll has no field parameters

[MrVPlusOne]

Hi,

I encountered the error when running the code below:

import Distributions: rand, logpdf

"""
Generalized distributions that support sampling (and evaluating the probability of) 
structured data. 
"""
abstract type GDistr end

@trait GDistr prefix Is, IsNot
@implement Is{GDistr} by rand(rng::AbstractRNG, _)
@implement Is{GDistr} by logpdf(_, x)

@assign Distribution with Is{GDistr}
@check Distribution

Is this the expected behavior? Or am I doing something wrong? (My Julia version is 1.7)

The stack trace:

ERROR: LoadError: type UnionAll has no field parameters
Stacktrace:
 [1] getproperty
   @ ./Base.jl:37 [inlined]
 [2] check_method(m::Method, sig::Type{Tuple{typeof(Distributions.logpdf), Distributions.Distribution, Union{}}}, kwnames::Tuple{})
   @ BinaryTraits ~/.julia/packages/BinaryTraits/58m13/src/interface.jl:256
 [3] has_method(f::Any, t::Any, kwnames::Tuple{})
   @ BinaryTraits ~/.julia/packages/BinaryTraits/58m13/src/interface.jl:244
 [4] check(m::Module, T::UnionAll)
   @ BinaryTraits ~/.julia/packages/BinaryTraits/58m13/src/interface.jl:56
 [5] top-level scope
   @ ~/.julia/dev/SEDL/src/distributions_utils.jl:17