pub trait DefIdGetter<I>:
Copy
+ Hash
+ PartialEq
+ Eq
+ Debugwhere
I: Interner,{
// Required method
fn get_def_id(self) -> Option<<I as Interner>::DefId>;
}Required Methods§
fn get_def_id(self) -> Option<<I as Interner>::DefId>
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".