Description
There seems to be an issue with the @type extension_id definition in X509.Certificate.Extension. Specifically, the atom :crl_distribution_point is used in the type, but it should be :crl_distribution_points.
This causes Dialyzer to fail when calling:
X509.Certificate.Extension.find(cert_extensions, :crl_distribution_points)
The error reported by Dialyzer is as follows:
The function call will not succeed.
X509.Certificate.Extension.find(_cert_extensions :: [any()], :crl_distribution_points)
breaks the contract
([t()], extension_id() | :public_key.oid()) :: t() | nil
Proposed Solution
Update the @type extension_id in X509.Certificate.Extension to include :crl_distribution_points instead of :crl_distribution_point.
Description
There seems to be an issue with the
@type extension_iddefinition inX509.Certificate.Extension. Specifically, the atom:crl_distribution_pointis used in the type, but it should be:crl_distribution_points.This causes Dialyzer to fail when calling:
The error reported by Dialyzer is as follows:
Proposed Solution
Update the
@type extension_idinX509.Certificate.Extensionto include:crl_distribution_pointsinstead of:crl_distribution_point.