Rules use OpaqueRefs too