将传播要求转换为 @OptIn。