Enum rustc_trait_selection::solve::SolverMode

enum SolverMode {
    Normal,
    Coherence,
}

Variants

Normal

Ordinary trait solving, using everywhere except for coherence.

Coherence

Trait solving during coherence. There are a few notable differences between coherence and ordinary trait solving.

Most importantly, trait solving during coherence must not be incomplete, i.e. return Err(NoSolution) for goals for which a solution exists. This means that we must not make any guesses or arbitrary choices.

Trait Implementations

impl Clone for SolverMode

fn clone(&self) -> SolverMode

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SolverMode

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

Formats the value using the given formatter.

impl Copy for SolverMode

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 1 byte

Size for each variant:

• Normal: 0 bytes
• Coherence: 0 bytes