Skip to main content

## Def

# Trait Def

Source

    pub(crate) trait Def:
        Debug
        + Hash
        + Eq
        + PartialEq
        + Copy
        + Clone {
        // Required method
        fn has_safety_invariants(&self) -> bool;
    }

## Required Methods§

Source

#### fn has_safety_invariants(&self) -> bool

## 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 Def for !

Source§

#### fn has_safety_invariants(&self) -> bool

## Implementors§

Source§

### impl<'tcx> Def for Def<'tcx>