Enum CertifiedSurfaceProjection3

pub enum CertifiedSurfaceProjection3 {
    Complete(SurfaceProjectionCertificate3),
    Unresolved {
        certificate: SurfaceProjectionCertificate3,
        reason: SurfaceProjectionUnresolvedReason,
    },
}

Exhaustive bounded outcome for spatial surface projection.

Variants

Complete(SurfaceProjectionCertificate3)

All global-distance and native-parameter proof obligations were met.

Unresolved

Bounds and candidates remain sound, but the configured depth or floating point parameter resolution prevented completion.

Fields

certificate: SurfaceProjectionCertificate3

Retained partial global certificate.

reason: SurfaceProjectionUnresolvedReason

Exact reason completion stopped.

Trait Implementations

impl Clone for CertifiedSurfaceProjection3

fn clone(&self) -> CertifiedSurfaceProjection3

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CertifiedSurfaceProjection3

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl PartialEq for CertifiedSurfaceProjection3

fn eq(&self, other: &CertifiedSurfaceProjection3) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for CertifiedSurfaceProjection3