Trait Def

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

Required Methods

fn has_safety_invariants(&self) -> bool

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl Def for !

fn has_safety_invariants(&self) -> bool

Implementors

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