pub fn is_vtable_safe_method(self,
                                 trait_def_id: DefId,
                                 method: &ty::AssociatedItem)
                                 -> bool
    {
        // Any method that has a `Self : Sized` requisite can't be called.
        if self.generics_require_sized_self(method.def_id) {
            return false;
        }

        self.virtual_call_violation_for_method(trait_def_id, method).is_none()
    }
/// We say a method is *vtable safe* if it can be invoked on a trait
/// object.  Note that object-safe traits can have some
/// non-vtable-safe methods, so long as they require `Self:Sized` or
/// otherwise ensure that they cannot be used when `Self=Trait`.
We say a method is *vtable safe* if it can be invoked on a trait
object.  Note that object-safe traits can have some
non-vtable-safe methods, so long as they require `Self:Sized` or
otherwise ensure that they cannot be used when `Self=Trait`.
We say a method is * vtable safe * if it can be invoked on a trait object . Note that object - safe traits can have some non - vtable - safe methods so long as they require ` Self : Sized ` or otherwise ensure that they cannot be used when ` Self = Trait ` .
pub fn is_vtable_safe_method(self,
                                 trait_def_id: DefId,
                                 method: &ty::AssociatedItem)
                                 -> bool
    {
        // Any method that has a `Self : Sized` requisite can't be called.
        if self.generics_require_sized_self(method.def_id) {
            return false;
        }
        self.virtual_call_violation_for_method(trait_def_id, method).is_none()
    }
pub fn is_vtable_safe_method ( self , trait_def_id : DefId , method : & ty :: AssociatedItem ) -> bool { // Any method that has a `Self : Sized` requisite can't be called. if self . generics_require_sized_self ( method . def_id ) { return false ; } self . virtual_call_violation_for_method ( trait_def_id , method ) . is_none ( ) }
We say a method is *vtable safe* if it can be invoked on a trait
object.
We say a method is * vtable safe * if it can be invoked on a trait object .
self
trait_def_id
DefId
method
&ty::AssociatedItem
self
trait_def_id
DefId
method
&ty::AssociatedItem