diff --git a/src/librustc/middle/typeck/check/vtable.rs b/src/librustc/middle/typeck/check/vtable.rs index a17194f008565..87b0aed4ac49c 100644 --- a/src/librustc/middle/typeck/check/vtable.rs +++ b/src/librustc/middle/typeck/check/vtable.rs @@ -187,7 +187,11 @@ pub fn check_object_safety(tcx: &ty::ctxt, object_trait: &ty::TyTrait, span: Spa receiver through a trait object", method_name)) } - ty::StaticExplicitSelfCategory | + ty::StaticExplicitSelfCategory => { + // Static methods are always object-safe since they + // can't be called through a trait object + return msgs + } ty::ByReferenceExplicitSelfCategory(..) | ty::ByBoxExplicitSelfCategory => {} }