pub fn op_foo<SP>(state: &mut OpState)
where
  SP: SomePermission + 'static,
{
}