public InterfaceMixinAttribute(Type @interface) { Contract.Requires(@interface != null); this.Interface = @interface; }