Skip to main content

## Value

# Trait Value

Source

    pub trait Value<'tcx>: Sized {
        // Required method
        fn from_cycle_error(
            tcx: TyCtxt<'tcx>,
            cycle_error: &CycleError,
            guar: ErrorGuaranteed,
        ) -> Self;
    }

## Required Methods§

Source

#### fn from_cycle_error( tcx: TyCtxt<'tcx>, cycle_error: &CycleError, guar: ErrorGuaranteed, ) -> Self

## Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

## Implementations on Foreign Types§

Source§

### impl<'tcx> Value<'tcx> for &[Variance]

Source§

#### fn from_cycle_error( tcx: TyCtxt<'tcx>, cycle_error: &CycleError, _guar: ErrorGuaranteed, ) -> Self

Source§

### impl<'tcx> Value<'tcx> for Result<EarlyBinder<'_, Ty<'_>>, CyclePlaceholder>

Source§

#### fn from_cycle_error( _tcx: TyCtxt<'tcx>, _: &CycleError, guar: ErrorGuaranteed, ) -> Self

Source§

### impl<'tcx, T> Value<'tcx> for Result<T, &LayoutError<'_>>

Source§

#### fn from_cycle_error( tcx: TyCtxt<'tcx>, cycle_error: &CycleError, _guar: ErrorGuaranteed, ) -> Self

## Implementors§

Source§

### impl<'tcx> Value<'tcx> for Representability

Source§

### impl<'tcx> Value<'tcx> for SymbolName<'_>

Source§

### impl<'tcx> Value<'tcx> for Ty<'_>

Source§

### impl<'tcx> Value<'tcx> for Binder<'_, FnSig<'_>>

Source§

### impl<'tcx> Value<'tcx> for EarlyBinder<'_, Ty<'_>>

Source§

### impl<'tcx> Value<'tcx> for EarlyBinder<'_, Binder<'_, FnSig<'_>>>

Source§

### impl<'tcx, T> Value<'tcx> for T