Enable arbitrary self types in ui tests

Author: LilyAcorn

tests/ui/abi3_inheritance.rs

@@ -1,3 +1,4 @@
+#![feature(arbitrary_self_types)]
 use pyo3::exceptions::PyException;
 use pyo3::prelude::*;
 

tests/ui/abi3_inheritance.stderr

@@ -1,7 +1,7 @@
 error[E0277]: pyclass `PyException` cannot be subclassed
- --> tests/ui/abi3_inheritance.rs:4:19
+ --> tests/ui/abi3_inheritance.rs:5:19
   |
-4 | #[pyclass(extends=PyException)]
+5 | #[pyclass(extends=PyException)]
   |                   ^^^^^^^^^^^ required for `#[pyclass(extends=PyException)]`
   |
   = help: the trait `PyClassBaseType` is not implemented for `PyException`
@@ -15,9 +15,9 @@ note: required by a bound in `PyClassImpl::BaseType`
   |                                 ^^^^^^^^^^^^^^^ required by this bound in `PyClassImpl::BaseType`
 
 error[E0277]: pyclass `PyException` cannot be subclassed
- --> tests/ui/abi3_inheritance.rs:4:1
+ --> tests/ui/abi3_inheritance.rs:5:1
   |
-4 | #[pyclass(extends=PyException)]
+5 | #[pyclass(extends=PyException)]
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required for `#[pyclass(extends=PyException)]`
   |
   = help: the trait `PyClassBaseType` is not implemented for `PyException`

tests/ui/abi3_nativetype_inheritance.rs

@@ -1,4 +1,5 @@
 //! With abi3, we cannot inherit native types.
+#![feature(arbitrary_self_types)]
 use pyo3::prelude::*;
 use pyo3::types::PyDict;
 

tests/ui/abi3_nativetype_inheritance.stderr

@@ -1,7 +1,7 @@
 error[E0277]: pyclass `PyDict` cannot be subclassed
- --> tests/ui/abi3_nativetype_inheritance.rs:5:19
+ --> tests/ui/abi3_nativetype_inheritance.rs:6:19
   |
-5 | #[pyclass(extends=PyDict)]
+6 | #[pyclass(extends=PyDict)]
   |                   ^^^^^^ required for `#[pyclass(extends=PyDict)]`
   |
   = help: the trait `PyClassBaseType` is not implemented for `PyDict`
@@ -15,9 +15,9 @@ note: required by a bound in `PyClassImpl::BaseType`
   |                                 ^^^^^^^^^^^^^^^ required by this bound in `PyClassImpl::BaseType`
 
 error[E0277]: pyclass `PyDict` cannot be subclassed
- --> tests/ui/abi3_nativetype_inheritance.rs:5:1
+ --> tests/ui/abi3_nativetype_inheritance.rs:6:1
   |
-5 | #[pyclass(extends=PyDict)]
+6 | #[pyclass(extends=PyDict)]
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^ required for `#[pyclass(extends=PyDict)]`
   |
   = help: the trait `PyClassBaseType` is not implemented for `PyDict`

tests/ui/ambiguous_associated_items.rs

@@ -1,3 +1,4 @@
+#![feature(arbitrary_self_types)]
 use pyo3::prelude::*;
 
 #[pyclass(eq)]

tests/ui/forbid_unsafe.rs

@@ -1,3 +1,4 @@
+#![feature(arbitrary_self_types)]
 #![forbid(unsafe_code)]
 #![forbid(unsafe_op_in_unsafe_fn)]
 

tests/ui/invalid_base_class.rs

@@ -1,3 +1,4 @@
+#![feature(arbitrary_self_types)]
 use pyo3::prelude::*;
 use pyo3::types::PyBool;
 

tests/ui/invalid_base_class.stderr

@@ -1,7 +1,7 @@
 error[E0277]: pyclass `PyBool` cannot be subclassed
- --> tests/ui/invalid_base_class.rs:4:19
+ --> tests/ui/invalid_base_class.rs:5:19
   |
-4 | #[pyclass(extends=PyBool)]
+5 | #[pyclass(extends=PyBool)]
   |                   ^^^^^^ required for `#[pyclass(extends=PyBool)]`
   |
   = help: the trait `PyClassBaseType` is not implemented for `PyBool`
@@ -23,9 +23,9 @@ note: required by a bound in `PyClassImpl::BaseType`
   |                                 ^^^^^^^^^^^^^^^ required by this bound in `PyClassImpl::BaseType`
 
 error[E0277]: pyclass `PyBool` cannot be subclassed
- --> tests/ui/invalid_base_class.rs:4:1
+ --> tests/ui/invalid_base_class.rs:5:1
   |
-4 | #[pyclass(extends=PyBool)]
+5 | #[pyclass(extends=PyBool)]
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^ required for `#[pyclass(extends=PyBool)]`
   |
   = help: the trait `PyClassBaseType` is not implemented for `PyBool`

tests/ui/invalid_cancel_handle.stderr

@@ -42,7 +42,7 @@ error[E0277]: the trait bound `CancelHandle: PyFunctionArgument<'_, '_>` is not
   --> 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`
    |
    = help: the trait `PyClass` is implemented for `pyo3::coroutine::Coroutine`
    = note: required for `CancelHandle` to implement `FromPyObject<'_>`
@@ -61,7 +61,7 @@ error[E0277]: the trait bound `CancelHandle: PyFunctionArgument<'_, '_>` is not
   --> 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`
    |
    = help: the following other types implement trait `PyFunctionArgument<'a, 'py>`:
              &'a mut pyo3::coroutine::Coroutine

tests/ui/invalid_frozen_pyclass_borrow.rs

@@ -1,3 +1,4 @@
+#![feature(arbitrary_self_types)]
 use pyo3::prelude::*;
 
 #[pyclass(frozen)]

tests/ui/invalid_frozen_pyclass_borrow.stderr

@@ -1,13 +1,13 @@
 error: cannot use `#[pyo3(set)]` on a `frozen` class
-  --> tests/ui/invalid_frozen_pyclass_borrow.rs:38:12
+  --> tests/ui/invalid_frozen_pyclass_borrow.rs:39:12
    |
-38 |     #[pyo3(set)]
+39 |     #[pyo3(set)]
    |            ^^^
 
 error[E0271]: type mismatch resolving `<Foo as PyClass>::Frozen == False`
-  --> tests/ui/invalid_frozen_pyclass_borrow.rs:11:19
+  --> tests/ui/invalid_frozen_pyclass_borrow.rs:12:19
    |
-11 |     fn mut_method(&mut self) {}
+12 |     fn mut_method(&mut self) {}
    |                   ^^^^^^^^^ expected `False`, found `True`
    |
 note: required by a bound in `extract_pyclass_ref_mut`
@@ -17,22 +17,22 @@ note: required by a bound in `extract_pyclass_ref_mut`
    |                                                        ^^^^^^^^^^^^^^ required by this bound in `extract_pyclass_ref_mut`
 
 error[E0271]: type mismatch resolving `<Foo as PyClass>::Frozen == False`
- --> tests/ui/invalid_frozen_pyclass_borrow.rs:9:1
-  |
-9 | #[pymethods]
-  | ^^^^^^^^^^^^ expected `False`, found `True`
-  |
+  --> tests/ui/invalid_frozen_pyclass_borrow.rs:10:1
+   |
+10 | #[pymethods]
+   | ^^^^^^^^^^^^ expected `False`, found `True`
+   |
 note: required by a bound in `PyRefMut`
- --> src/pycell.rs
-  |
-  | pub struct PyRefMut<'p, T: PyClass<Frozen = False>> {
-  |                                    ^^^^^^^^^^^^^^ required by this bound in `PyRefMut`
-  = note: this error originates in the attribute macro `pymethods` (in Nightly builds, run with -Z macro-backtrace for more info)
+  --> src/pycell.rs
+   |
+   | pub struct PyRefMut<'p, T: PyClass<Frozen = False>> {
+   |                                    ^^^^^^^^^^^^^^ required by this bound in `PyRefMut`
+   = note: this error originates in the attribute macro `pymethods` (in Nightly builds, run with -Z macro-backtrace for more info)
 
 error[E0271]: type mismatch resolving `<Foo as PyClass>::Frozen == False`
-  --> tests/ui/invalid_frozen_pyclass_borrow.rs:15:31
+  --> tests/ui/invalid_frozen_pyclass_borrow.rs:16:31
    |
-15 |     let borrow = foo.bind(py).borrow_mut();
+16 |     let borrow = foo.bind(py).borrow_mut();
    |                               ^^^^^^^^^^ expected `False`, found `True`
    |
 note: required by a bound in `pyo3::Bound::<'py, T>::borrow_mut`
@@ -45,9 +45,9 @@ note: required by a bound in `pyo3::Bound::<'py, T>::borrow_mut`
    |                    ^^^^^^^^^^^^^^ required by this bound in `Bound::<'py, T>::borrow_mut`
 
 error[E0271]: type mismatch resolving `<ImmutableChild as PyClass>::Frozen == False`
-  --> tests/ui/invalid_frozen_pyclass_borrow.rs:25:33
+  --> tests/ui/invalid_frozen_pyclass_borrow.rs:26:33
    |
-25 |     let borrow = child.bind(py).borrow_mut();
+26 |     let borrow = child.bind(py).borrow_mut();
    |                                 ^^^^^^^^^^ expected `False`, found `True`
    |
 note: required by a bound in `pyo3::Bound::<'py, T>::borrow_mut`
@@ -60,9 +60,9 @@ note: required by a bound in `pyo3::Bound::<'py, T>::borrow_mut`
    |                    ^^^^^^^^^^^^^^ required by this bound in `Bound::<'py, T>::borrow_mut`
 
 error[E0271]: type mismatch resolving `<MutableBase as PyClass>::Frozen == True`
-  --> tests/ui/invalid_frozen_pyclass_borrow.rs:29:11
+  --> tests/ui/invalid_frozen_pyclass_borrow.rs:30:11
    |
-29 |     class.get();
+30 |     class.get();
    |           ^^^ expected `True`, found `False`
    |
 note: required by a bound in `pyo3::Py::<T>::get`
@@ -75,9 +75,9 @@ note: required by a bound in `pyo3::Py::<T>::get`
    |                    ^^^^^^^^^^^^^ required by this bound in `Py::<T>::get`
 
 error[E0271]: type mismatch resolving `<MutableBase as PyClass>::Frozen == True`
-  --> tests/ui/invalid_frozen_pyclass_borrow.rs:33:11
+  --> tests/ui/invalid_frozen_pyclass_borrow.rs:34:11
    |
-33 |     class.get();
+34 |     class.get();
    |           ^^^ expected `True`, found `False`
    |
 note: required by a bound in `pyo3::Bound::<'py, T>::get`

tests/ui/invalid_property_args.rs

@@ -1,3 +1,4 @@
+#![feature(arbitrary_self_types)]
 use pyo3::prelude::*;
 
 #[pyclass]

tests/ui/invalid_property_args.stderr

@@ -1,55 +1,55 @@
 error: getter function can only have one argument (of type pyo3::Python)
- --> tests/ui/invalid_property_args.rs:9:56
-  |
-9 |     fn getter_with_arg(&self, _py: Python<'_>, _index: u32) {}
-  |                                                        ^^^
+  --> tests/ui/invalid_property_args.rs:10:56
+   |
+10 |     fn getter_with_arg(&self, _py: Python<'_>, _index: u32) {}
+   |                                                        ^^^
 
 error: setter function expected to have one argument
-  --> tests/ui/invalid_property_args.rs:18:8
+  --> tests/ui/invalid_property_args.rs:19:8
    |
-18 |     fn setter_with_no_arg(&mut self, _py: Python<'_>) {}
+19 |     fn setter_with_no_arg(&mut self, _py: Python<'_>) {}
    |        ^^^^^^^^^^^^^^^^^^
 
 error: setter function can have at most two arguments ([pyo3::Python,] and value)
-  --> tests/ui/invalid_property_args.rs:24:79
+  --> tests/ui/invalid_property_args.rs:25:79
    |
-24 |     fn setter_with_too_many_args(&mut self, _py: Python<'_>, _foo: u32, _bar: u32) {}
+25 |     fn setter_with_too_many_args(&mut self, _py: Python<'_>, _foo: u32, _bar: u32) {}
    |                                                                               ^^^
 
 error: `get` and `set` with tuple struct fields require `name`
-  --> tests/ui/invalid_property_args.rs:28:50
+  --> tests/ui/invalid_property_args.rs:29:50
    |
-28 | struct TupleGetterSetterNoName(#[pyo3(get, set)] i32);
+29 | struct TupleGetterSetterNoName(#[pyo3(get, set)] i32);
    |                                                  ^^^
 
 error: `get` may only be specified once
-  --> tests/ui/invalid_property_args.rs:31:32
+  --> tests/ui/invalid_property_args.rs:32:32
    |
-31 | struct MultipleGet(#[pyo3(get, get)] i32);
+32 | struct MultipleGet(#[pyo3(get, get)] i32);
    |                                ^^^
 
 error: `set` may only be specified once
-  --> tests/ui/invalid_property_args.rs:34:32
+  --> tests/ui/invalid_property_args.rs:35:32
    |
-34 | struct MultipleSet(#[pyo3(set, set)] i32);
+35 | struct MultipleSet(#[pyo3(set, set)] i32);
    |                                ^^^
 
 error: `name` may only be specified once
-  --> tests/ui/invalid_property_args.rs:37:42
+  --> tests/ui/invalid_property_args.rs:38:42
    |
-37 | struct MultipleName(#[pyo3(name = "foo", name = "bar")] i32);
+38 | struct MultipleName(#[pyo3(name = "foo", name = "bar")] i32);
    |                                          ^^^^^^^^^^^^
 
 error: `name` is useless without `get` or `set`
-  --> tests/ui/invalid_property_args.rs:40:33
+  --> tests/ui/invalid_property_args.rs:41:33
    |
-40 | struct NameWithoutGetSet(#[pyo3(name = "value")] i32);
+41 | struct NameWithoutGetSet(#[pyo3(name = "value")] i32);
    |                                 ^^^^^^^^^^^^^^
 
 error[E0277]: `PhantomData<i32>` cannot be converted to a Python object
-  --> tests/ui/invalid_property_args.rs:45:12
+  --> tests/ui/invalid_property_args.rs:46:12
    |
-45 |     value: ::std::marker::PhantomData<i32>,
+46 |     value: ::std::marker::PhantomData<i32>,
    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by `#[pyo3(get)]` to create a readable property from a field of type `PhantomData<i32>`
    |
    = help: the trait `IntoPyObject<'_>` is not implemented for `PhantomData<i32>`

tests/ui/invalid_proto_pymethods.rs

@@ -3,6 +3,7 @@
 //! For convenience use #[pyo3(name = "__some_dunder__")] to create the methods,
 //! so that the function names can describe the edge case to be rejected.
 
+#![feature(arbitrary_self_types)]
 use pyo3::prelude::*;
 use pyo3::pyclass::CompareOp;
 

tests/ui/invalid_proto_pymethods.stderr

@@ -1,49 +1,49 @@
 error: Expected 1 arguments, got 0
-  --> tests/ui/invalid_proto_pymethods.rs:19:8
+  --> tests/ui/invalid_proto_pymethods.rs:20:8
    |
-19 |     fn truediv_expects_one_argument(&self) -> PyResult<()> {
+20 |     fn truediv_expects_one_argument(&self) -> PyResult<()> {
    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
 error: Expected 1 arguments, got 0
-  --> tests/ui/invalid_proto_pymethods.rs:27:8
+  --> tests/ui/invalid_proto_pymethods.rs:28:8
    |
-27 |     fn truediv_expects_one_argument_py(&self, _py: Python<'_>) -> PyResult<()> {
+28 |     fn truediv_expects_one_argument_py(&self, _py: Python<'_>) -> PyResult<()> {
    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
 error: `signature` cannot be used with magic method `__bool__`
-  --> tests/ui/invalid_proto_pymethods.rs:38:31
+  --> tests/ui/invalid_proto_pymethods.rs:39:31
    |
-38 |     #[pyo3(name = "__bool__", signature = ())]
+39 |     #[pyo3(name = "__bool__", signature = ())]
    |                               ^^^^^^^^^
 
 error: `text_signature` cannot be used with magic method `__bool__`
-  --> tests/ui/invalid_proto_pymethods.rs:46:31
+  --> tests/ui/invalid_proto_pymethods.rs:47:31
    |
-46 |     #[pyo3(name = "__bool__", text_signature = "")]
+47 |     #[pyo3(name = "__bool__", text_signature = "")]
    |                               ^^^^^^^^^^^^^^
 
 error[E0034]: multiple applicable items in scope
-  --> tests/ui/invalid_proto_pymethods.rs:55:1
+  --> tests/ui/invalid_proto_pymethods.rs:56:1
    |
-55 | #[pymethods]
+56 | #[pymethods]
    | ^^^^^^^^^^^^ multiple `__pymethod___richcmp____` found
    |
 note: candidate #1 is defined in an impl for the type `EqAndRichcmp`
-  --> tests/ui/invalid_proto_pymethods.rs:55:1
+  --> tests/ui/invalid_proto_pymethods.rs:56:1
    |
-55 | #[pymethods]
+56 | #[pymethods]
    | ^^^^^^^^^^^^
 note: candidate #2 is defined in an impl for the type `EqAndRichcmp`
-  --> tests/ui/invalid_proto_pymethods.rs:55:1
+  --> tests/ui/invalid_proto_pymethods.rs:56:1
    |
-55 | #[pymethods]
+56 | #[pymethods]
    | ^^^^^^^^^^^^
    = note: this error originates in the macro `::pyo3::impl_::pyclass::generate_pyclass_richcompare_slot` which comes from the expansion of the attribute macro `pymethods` (in Nightly builds, run with -Z macro-backtrace for more info)
 
 error[E0592]: duplicate definitions with name `__pymethod___richcmp____`
-  --> tests/ui/invalid_proto_pymethods.rs:55:1
+  --> tests/ui/invalid_proto_pymethods.rs:56:1
    |
-55 | #[pymethods]
+56 | #[pymethods]
    | ^^^^^^^^^^^^
    | |
    | duplicate definitions for `__pymethod___richcmp____`
@@ -52,19 +52,19 @@ error[E0592]: duplicate definitions with name `__pymethod___richcmp____`
    = note: this error originates in the macro `::pyo3::impl_::pyclass::generate_pyclass_richcompare_slot` which comes from the expansion of the attribute macro `pymethods` (in Nightly builds, run with -Z macro-backtrace for more info)
 
 error[E0034]: multiple applicable items in scope
-  --> tests/ui/invalid_proto_pymethods.rs:55:1
+  --> tests/ui/invalid_proto_pymethods.rs:56:1
    |
-55 | #[pymethods]
+56 | #[pymethods]
    | ^^^^^^^^^^^^ multiple `__pymethod___richcmp____` found
    |
 note: candidate #1 is defined in an impl for the type `EqAndRichcmp`
-  --> tests/ui/invalid_proto_pymethods.rs:55:1
+  --> tests/ui/invalid_proto_pymethods.rs:56:1
    |
-55 | #[pymethods]
+56 | #[pymethods]
    | ^^^^^^^^^^^^
 note: candidate #2 is defined in an impl for the type `EqAndRichcmp`
-  --> tests/ui/invalid_proto_pymethods.rs:55:1
+  --> tests/ui/invalid_proto_pymethods.rs:56:1
    |
-55 | #[pymethods]
+56 | #[pymethods]
    | ^^^^^^^^^^^^
    = note: this error originates in the attribute macro `pymethods` (in Nightly builds, run with -Z macro-backtrace for more info)

tests/ui/invalid_pyclass_args.rs

@@ -1,3 +1,4 @@
+#![feature(arbitrary_self_types)]
 use pyo3::prelude::*;
 use std::fmt::{Display, Formatter};