Struct IncompatibleRefinement

pub(super) struct IncompatibleRefinement<'tcx> {
    span: Span,
    expected_span: Option<Span>,
    expected_ty: Ty<'tcx>,
    def_descr: &'static str,
}

Fields

span: Span

expected_span: Option<Span>

expected_ty: Ty<'tcx>

def_descr: &'static str

Implementations

impl<'tcx> IncompatibleRefinement<'tcx>

pub(super) fn type_alias( genv: GlobalEnv<'_, 'tcx>, def_id: MaybeExternId, type_alias: &TyAlias<'_>, ) -> Self

pub(super) fn fn_input( genv: GlobalEnv<'_, 'tcx>, fn_id: MaybeExternId, decl: &FnDecl<'_>, pos: usize, ) -> Self

pub(super) fn fn_output( genv: GlobalEnv<'_, 'tcx>, fn_id: MaybeExternId, decl: &FnDecl<'_>, ) -> Self

pub(super) fn ensures( genv: GlobalEnv<'_, 'tcx>, fn_id: MaybeExternId, decl: &FnDecl<'_>, expected: &Ty, i: usize, ) -> Self

pub(super) fn field( genv: GlobalEnv<'_, 'tcx>, adt_id: MaybeExternId, variant_idx: VariantIdx, field_idx: FieldIdx, ) -> Self

Trait Implementations

impl<'_sess, 'tcx, G> Diagnostic<'_sess, G> for IncompatibleRefinement<'tcx>

where G: EmissionGuarantee,

fn into_diag(self, dcx: DiagCtxtHandle<'_sess>, level: Level) -> Diag<'_sess, G>

Write out as a diagnostic out of DiagCtxt.