Struct Ambiguity 

struct Ambiguity {
    span: Span,
    name: Symbol,
    first: Span,
    second: Span,
}

A name that two competing glob imports bind to different items:

mod a { pub struct S; }
mod b { pub struct S; }

use a::*;
use b::*;

#[flux::spec(fn(x: S))]
fn f(x: a::S) {}

Fields

span: Span

The use site that hit the ambiguity: the S inside the signature.

name: Symbol

The contested name: S.

first: Span

Where the first candidate was brought into scope: the use a::*; statement.

second: Span

Same for the second candidate: use b::*;. It can coincide with first when a single glob imports a module that is itself ambiguously re-exporting the name.

Trait Implementations

impl Clone for Ambiguity

fn clone(&self) -> Ambiguity

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Ambiguity

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

Formats the value using the given formatter.

impl Copy for Ambiguity