Struct rustc_infer::traits::query::DropckOutlivesResult

pub struct DropckOutlivesResult<'tcx> {
    pub kinds: Vec<GenericArg<'tcx>>,
    pub overflows: Vec<&'tcx TyS<'tcx>>,
}

Fields

kinds: Vec<GenericArg<'tcx>>

overflows: Vec<&'tcx TyS<'tcx>>

Implementations

impl<'tcx> DropckOutlivesResult<'tcx>

pub fn report_overflows(
    &self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    ty: &'tcx TyS<'tcx>
)

pub fn into_kinds_reporting_overflows(
    self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    ty: &'tcx TyS<'tcx>
) -> Vec<GenericArg<'tcx>>

Trait Implementations

impl<'tcx> Clone for DropckOutlivesResult<'tcx>

fn clone(&self) -> DropckOutlivesResult<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for DropckOutlivesResult<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> Default for DropckOutlivesResult<'tcx>

fn default() -> DropckOutlivesResult<'tcx>

Returns the "default value" for a type.