ci: updates for Rust 1.77 (#3978)

* ci: updates for Rust 1.77 * move `SendablePtr` inside of test which uses it
PyO3 · Mar 22, 2024 · d0f5b6a · d0f5b6a
1 parent 351c6a0
commit d0f5b6a
Show file tree

Hide file tree

Showing 11 changed files with 36 additions and 36 deletions.
diff --git a/tests/test_gc.rs b/tests/test_gc.rs
@@ -528,6 +528,11 @@ impl UnsendableTraversal {
 #[test]
 #[cfg(not(target_arch = "wasm32"))] // We are building wasm Python with pthreads disabled
 fn unsendable_are_not_traversed_on_foreign_thread() {
+ #[derive(Clone, Copy)]
+ struct SendablePtr(*mut pyo3::ffi::PyObject);
+
+ unsafe impl Send for SendablePtr {}
+
  Python::with_gil(|py| unsafe {
  let ty = py.get_type_bound::<UnsendableTraversal>();
  let traverse = get_type_traverse(ty.as_type_ptr()).unwrap();
@@ -579,8 +584,3 @@ extern "C" fn visit_error(
 ) -> std::os::raw::c_int {
  -1
 }
-
-#[derive(Clone, Copy)]
-struct SendablePtr(*mut pyo3::ffi::PyObject);
-
-unsafe impl Send for SendablePtr {}
diff --git a/tests/ui/abi3_nativetype_inheritance.stderr b/tests/ui/abi3_nativetype_inheritance.stderr
@@ -1,27 +1,27 @@
 error[E0277]: the trait bound `PyDict: PyClass` is not satisfied
- --> tests/ui/abi3_nativetype_inheritance.rs:5:1
+ --> tests/ui/abi3_nativetype_inheritance.rs:5:19
  |
 5 | #[pyclass(extends=PyDict)]
- | ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PyClass` is not implemented for `PyDict`
+ |  ^^^^^^ the trait `PyClass` is not implemented for `PyDict`, which is required by `PyDict: PyClassBaseType`
  |
  = help: the following other types implement trait `PyClass`:
  TestClass
  pyo3::coroutine::Coroutine
  = note: required for `PyDict` to implement `PyClassBaseType`
- = note: this error originates in the attribute macro `pyclass` (in Nightly builds, run with -Z macro-backtrace for more info)
+note: required by a bound in `PyClassImpl::BaseType`
+ --> src/impl_/pyclass.rs
+ |
+ | type BaseType: PyTypeInfo + PyClassBaseType;
+ | ^^^^^^^^^^^^^^^ required by this bound in `PyClassImpl::BaseType`
 
 error[E0277]: the trait bound `PyDict: PyClass` is not satisfied
- --> tests/ui/abi3_nativetype_inheritance.rs:5:19
+ --> tests/ui/abi3_nativetype_inheritance.rs:5:1
  |
 5 | #[pyclass(extends=PyDict)]
- |  ^^^^^^ the trait `PyClass` is not implemented for `PyDict`
+ | ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PyClass` is not implemented for `PyDict`, which is required by `PyDict: PyClassBaseType`
  |
  = help: the following other types implement trait `PyClass`:
  TestClass
  pyo3::coroutine::Coroutine
  = note: required for `PyDict` to implement `PyClassBaseType`
-note: required by a bound in `PyClassImpl::BaseType`
- --> src/impl_/pyclass.rs
- |
- | type BaseType: PyTypeInfo + PyClassBaseType;
- | ^^^^^^^^^^^^^^^ required by this bound in `PyClassImpl::BaseType`
+ = note: this error originates in the attribute macro `pyclass` (in Nightly builds, run with -Z macro-backtrace for more info)
diff --git a/tests/ui/invalid_cancel_handle.stderr b/tests/ui/invalid_cancel_handle.stderr
@@ -36,7 +36,7 @@ error[E0277]: the trait bound `CancelHandle: PyClass` is not satisfied
  --> tests/ui/invalid_cancel_handle.rs:20:50
  |
 20 | async fn missing_cancel_handle_attribute(_param: pyo3::coroutine::CancelHandle) {}
- | ^^^^ the trait `PyClass` is not implemented for `CancelHandle`
+ | ^^^^ the trait `PyClass` is not implemented for `CancelHandle`, which is required by `CancelHandle: PyFunctionArgument<'_, '_>`
  |
  = help: the trait `PyClass` is implemented for `pyo3::coroutine::Coroutine`
  = note: required for `CancelHandle` to implement `FromPyObject<'_>`
@@ -55,7 +55,7 @@ error[E0277]: the trait bound `CancelHandle: Clone` is not satisfied
  --> tests/ui/invalid_cancel_handle.rs:20:50
  |
 20 | async fn missing_cancel_handle_attribute(_param: pyo3::coroutine::CancelHandle) {}
- | ^^^^ the trait `Clone` is not implemented for `CancelHandle`
+ | ^^^^ the trait `Clone` is not implemented for `CancelHandle`, which is required by `CancelHandle: PyFunctionArgument<'_, '_>`
  |
  = help: the following other types implement trait `PyFunctionArgument<'a, 'py>`:
  Option<&'a pyo3::Bound<'py, T>>

diff --git a/tests/ui/invalid_pyfunctions.stderr b/tests/ui/invalid_pyfunctions.stderr
@@ -39,7 +39,7 @@ error[E0277]: the trait bound `&str: From<BoundRef<'_, '_, pyo3::prelude::PyModu
  --> tests/ui/invalid_pyfunctions.rs:24:13
  |
 24 | string: &str,
- | ^ the trait `From<BoundRef<'_, '_, pyo3::prelude::PyModule>>` is not implemented for `&str`
+ | ^ the trait `From<BoundRef<'_, '_, pyo3::prelude::PyModule>>` is not implemented for `&str`, which is required by `BoundRef<'_, '_, pyo3::prelude::PyModule>: Into<_>`
  |
  = help: the following other types implement trait `From<T>`:
  <String as From<char>>

diff --git a/tests/ui/invalid_pymethod_receiver.stderr b/tests/ui/invalid_pymethod_receiver.stderr
@@ -2,14 +2,14 @@ error[E0277]: the trait bound `i32: From<BoundRef<'_, '_, MyClass>>` is not sati
  --> tests/ui/invalid_pymethod_receiver.rs:8:43
  |
 8 | fn method_with_invalid_self_type(slf: i32, py: Python<'_>, index: u32) {}
- | ^^^ the trait `From<BoundRef<'_, '_, MyClass>>` is not implemented for `i32`
+ | ^^^ the trait `From<BoundRef<'_, '_, MyClass>>` is not implemented for `i32`, which is required by `i32: TryFrom<BoundRef<'_, '_, MyClass>>`
  |
  = help: the following other types implement trait `From<T>`:
  <i32 as From<bool>>
  <i32 as From<i8>>
  <i32 as From<i16>>
  <i32 as From<u8>>
  <i32 as From<u16>>
- <i32 as From<NonZeroI32>>
+ <i32 as From<NonZero<i32>>>
  = note: required for `BoundRef<'_, '_, MyClass>` to implement `Into<i32>`
  = note: required for `i32` to implement `TryFrom<BoundRef<'_, '_, MyClass>>`
diff --git a/tests/ui/invalid_pymethods.stderr b/tests/ui/invalid_pymethods.stderr
@@ -183,13 +183,13 @@ error[E0277]: the trait bound `i32: From<BoundRef<'_, '_, PyType>>` is not satis
  --> tests/ui/invalid_pymethods.rs:46:45
  |
 46 | fn classmethod_wrong_first_argument(_x: i32) -> Self {
- | ^^^ the trait `From<BoundRef<'_, '_, PyType>>` is not implemented for `i32`
+ | ^^^ the trait `From<BoundRef<'_, '_, PyType>>` is not implemented for `i32`, which is required by `BoundRef<'_, '_, PyType>: Into<_>`
  |
  = help: the following other types implement trait `From<T>`:
  <i32 as From<bool>>
  <i32 as From<i8>>
  <i32 as From<i16>>
  <i32 as From<u8>>
  <i32 as From<u16>>
- <i32 as From<NonZeroI32>>
+ <i32 as From<NonZero<i32>>>
  = note: required for `BoundRef<'_, '_, PyType>` to implement `Into<i32>`
diff --git a/tests/ui/invalid_result_conversion.stderr b/tests/ui/invalid_result_conversion.stderr
@@ -2,7 +2,7 @@ error[E0277]: the trait bound `PyErr: From<MyError>` is not satisfied
  --> tests/ui/invalid_result_conversion.rs:21:1
  |
 21 | #[pyfunction]
- | ^^^^^^^^^^^^^ the trait `From<MyError>` is not implemented for `PyErr`
+ | ^^^^^^^^^^^^^ the trait `From<MyError>` is not implemented for `PyErr`, which is required by `MyError: Into<PyErr>`
  |
  = help: the following other types implement trait `From<T>`:
  <PyErr as From<pyo3::Bound<'py, T>>>

diff --git a/tests/ui/missing_intopy.stderr b/tests/ui/missing_intopy.stderr
@@ -2,7 +2,7 @@ error[E0277]: the trait bound `Blah: IntoPy<Py<PyAny>>` is not satisfied
  --> tests/ui/missing_intopy.rs:3:1
  |
 3 | #[pyo3::pyfunction]
- | ^^^^^^^^^^^^^^^^^^^ the trait `IntoPy<Py<PyAny>>` is not implemented for `Blah`
+ | ^^^^^^^^^^^^^^^^^^^ the trait `IntoPy<Py<PyAny>>` is not implemented for `Blah`, which is required by `Blah: OkWrap<_>`
  |
  = help: the following other types implement trait `IntoPy<T>`:
  <bool as IntoPy<Py<PyAny>>>

diff --git a/tests/ui/not_send.stderr b/tests/ui/not_send.stderr
@@ -6,7 +6,7 @@ error[E0277]: `*mut pyo3::Python<'static>` cannot be shared between threads safe
  | |
  | required by a bound introduced by this call
  |
- = help: within `pyo3::Python<'_>`, the trait `Sync` is not implemented for `*mut pyo3::Python<'static>`
+ = help: within `pyo3::Python<'_>`, the trait `Sync` is not implemented for `*mut pyo3::Python<'static>`, which is required by `{closure@$DIR/tests/ui/not_send.rs:4:22: 4:24}: Ungil`
 note: required because it appears within the type `PhantomData<*mut pyo3::Python<'static>>`
  --> $RUST/core/src/marker.rs
  |

diff --git a/tests/ui/not_send2.stderr b/tests/ui/not_send2.stderr
@@ -9,7 +9,7 @@ error[E0277]: `*mut pyo3::Python<'static>` cannot be shared between threads safe
 10 | | });
  | |_________^ `*mut pyo3::Python<'static>` cannot be shared between threads safely
  |
- = help: within `pyo3::Bound<'_, PyString>`, the trait `Sync` is not implemented for `*mut pyo3::Python<'static>`
+ = help: within `pyo3::Bound<'_, PyString>`, the trait `Sync` is not implemented for `*mut pyo3::Python<'static>`, which is required by `{closure@$DIR/tests/ui/not_send2.rs:8:26: 8:28}: Ungil`
 note: required because it appears within the type `PhantomData<*mut pyo3::Python<'static>>`
  --> $RUST/core/src/marker.rs
  |

diff --git a/tests/ui/pyclass_send.stderr b/tests/ui/pyclass_send.stderr
@@ -4,17 +4,19 @@ error[E0277]: `Rc<i32>` cannot be sent between threads safely
 4 | #[pyclass]
  | ^^^^^^^^^^ `Rc<i32>` cannot be sent between threads safely
  |
- = help: within `NotThreadSafe`, the trait `Send` is not implemented for `Rc<i32>`
+ = help: within `NotThreadSafe`, the trait `Send` is not implemented for `Rc<i32>`, which is required by `SendablePyClass<NotThreadSafe>: pyo3::impl_::pyclass::PyClassThreadChecker<NotThreadSafe>`
+ = help: the trait `pyo3::impl_::pyclass::PyClassThreadChecker<T>` is implemented for `SendablePyClass<T>`
 note: required because it appears within the type `NotThreadSafe`
  --> tests/ui/pyclass_send.rs:5:8
  |
 5 | struct NotThreadSafe {
  | ^^^^^^^^^^^^^
-note: required by a bound in `SendablePyClass`
+ = note: required for `SendablePyClass<NotThreadSafe>` to implement `pyo3::impl_::pyclass::PyClassThreadChecker<NotThreadSafe>`
+note: required by a bound in `PyClassImpl::ThreadChecker`
  --> src/impl_/pyclass.rs
  |
- | pub struct SendablePyClass<T: Send>(PhantomData<T>);
- |  ^^^^ required by this bound in `SendablePyClass`
+ |  type ThreadChecker: PyClassThreadChecker<Self>;
+ | ^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `PyClassImpl::ThreadChecker`
  = note: this error originates in the attribute macro `pyclass` (in Nightly builds, run with -Z macro-backtrace for more info)
 
 error[E0277]: `Rc<i32>` cannot be sent between threads safely
@@ -23,17 +25,15 @@ error[E0277]: `Rc<i32>` cannot be sent between threads safely
 4 | #[pyclass]
  | ^^^^^^^^^^ `Rc<i32>` cannot be sent between threads safely
  |
- = help: within `NotThreadSafe`, the trait `Send` is not implemented for `Rc<i32>`
- = help: the trait `pyo3::impl_::pyclass::PyClassThreadChecker<T>` is implemented for `SendablePyClass<T>`
+ = help: within `NotThreadSafe`, the trait `Send` is not implemented for `Rc<i32>`, which is required by `NotThreadSafe: Send`
 note: required because it appears within the type `NotThreadSafe`
  --> tests/ui/pyclass_send.rs:5:8
  |
 5 | struct NotThreadSafe {
  | ^^^^^^^^^^^^^
- = note: required for `SendablePyClass<NotThreadSafe>` to implement `pyo3::impl_::pyclass::PyClassThreadChecker<NotThreadSafe>`
-note: required by a bound in `PyClassImpl::ThreadChecker`
+note: required by a bound in `SendablePyClass`
  --> src/impl_/pyclass.rs
  |
- |  type ThreadChecker: PyClassThreadChecker<Self>;
- | ^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `PyClassImpl::ThreadChecker`
+ | pub struct SendablePyClass<T: Send>(PhantomData<T>);
+ |  ^^^^ required by this bound in `SendablePyClass`
  = note: this error originates in the attribute macro `pyclass` (in Nightly builds, run with -Z macro-backtrace for more info)