/// Map a term to a resolution indication.
Map a term to a resolution indication.
Map a term to a resolution indication .
pub fn term_to_resolution_indication(&self, term: Spanned<Term>) -> Result<Spanned<()>> {
        self.emit(
            DiagBuilder2::bug(format!(
                "interpretation of `{}` as a resolution indication not implemented",
                term.span.extract()
            ))
            .span(term.span),
        );
        Err(())
    }
pub fn term_to_resolution_indication ( & self , term : Spanned < Term > ) -> Result < Spanned < ( ) > > { self . emit ( DiagBuilder2 :: bug ( format ! ( " " term span extract ( ) ) ) . span ( term . span ) , ) ; Err ( ( ) ) }
Map a term to a resolution indication.
Map a term to a resolution indication .
&self
term
Spanned<Term>