Minimal ci and extra

.github/workflows/ci.yml

@@ -10,5 +10,5 @@ jobs:
     runs-on: ${{ matrix.os }}
     steps:
       - uses: actions/checkout@v2
-      - name: Test
+      - name: Run tests
         run: cargo test

Cargo.toml

@@ -1,5 +1,6 @@
 [workspace]
 members = ["enum-ptr*", "playground"]
+resolver = "2"
 
 [workspace.package]
 version = "0.2.0-beta.0"

enum-ptr-derive/Cargo.toml

@@ -14,6 +14,6 @@ edition.workspace = true
 proc-macro = true
 
 [dependencies]
-syn = { version = "2.0.23", features = ["extra-traits"] }
-quote = "1.0.26"
-darling = "0.20.1"
+syn = { version = "2.0.79", features = ["extra-traits"] }
+quote = "1.0.37"
+darling = "0.20.10"

enum-ptr-test/Cargo.toml

@@ -19,4 +19,4 @@ alloc = ["enum-ptr/alloc"]
 enum-ptr = { path = "../enum-ptr", default-features = false }
 
 [dev-dependencies]
-trybuild = { version = "1.0.71", features = ["diff"] }
+trybuild = { version = "1.0.99", features = ["diff"] }

enum-ptr-test/tests/fail/compact_copy.stderr

@@ -1,3 +1,23 @@
+error[E0277]: the trait bound `Foo<'a, 'b>: Copy` is not satisfied
+ --> tests/fail/compact_copy.rs:5:10
+  |
+5 | #[derive(EnumPtr)]
+  |          ^^^^^^^ the trait `Copy` is not implemented for `Foo<'a, 'b>`, which is required by `CompactInnerCopy<Foo<'a, 'b>>: enum_ptr::base::convert::private::Sealed`
+  |
+  = help: the trait `enum_ptr::base::convert::private::Sealed` is implemented for `CompactInnerCopy<T>`
+  = note: required for `CompactInnerCopy<Foo<'a, 'b>>` to implement `enum_ptr::base::convert::private::Sealed`
+note: required by a bound in `enum_ptr::Compactable::Inner`
+ --> $WORKSPACE/enum-ptr/src/base/convert.rs
+  |
+  |     type Inner: private::Sealed;
+  |                 ^^^^^^^^^^^^^^^ required by this bound in `Compactable::Inner`
+  = note: this error originates in the derive macro `EnumPtr` (in Nightly builds, run with -Z macro-backtrace for more info)
+help: consider annotating `Foo<'a, 'b>` with `#[derive(Copy)]`
+  |
+8  + #[derive(Copy)]
+9  | enum Foo<'a, 'b> {
+   |
+
 error[E0277]: the trait bound `Foo<'a, 'b>: Copy` is not satisfied
  --> tests/fail/compact_copy.rs:5:10
   |
@@ -11,6 +31,7 @@ note: required by a bound in `CompactInnerCopy`
   |                                                            ^^^^ required by this bound in `CompactInnerCopy`
   = note: this error originates in the derive macro `EnumPtr` (in Nightly builds, run with -Z macro-backtrace for more info)
 help: consider annotating `Foo<'a, 'b>` with `#[derive(Copy)]`
-   |
-8  | #[derive(Copy)]
+  |
+8  + #[derive(Copy)]
+9  | enum Foo<'a, 'b> {
    |

enum-ptr-test/tests/fail/lifetime_borrow.stderr

@@ -4,7 +4,7 @@ error[E0505]: cannot move out of `foo` because it is borrowed
 14 |     let foo: Compact<_> = Foo::A(None).into();
    |         --- binding `foo` declared here
 15 |     let foo_ref = foo.borrow();
-   |                   ------------ borrow of `foo` occurs here
+   |                   --- borrow of `foo` occurs here
 16 |     drop(foo);
    |          ^^^ move out of `foo` occurs here
 17 |     drop(foo_ref);
@@ -16,7 +16,7 @@ error[E0505]: cannot move out of `foo` because it is borrowed
 21 |     let mut foo: Compact<_> = Foo::A(None).into();
    |         ------- binding `foo` declared here
 22 |     let foo_mut = foo.borrow_mut();
-   |                   ---------------- borrow of `foo` occurs here
+   |                   --- borrow of `foo` occurs here
 23 |     drop(foo);
    |          ^^^ move out of `foo` occurs here
 24 |     drop(foo_mut);

enum-ptr-test/tests/fail/lifetime_map.stderr

@@ -7,6 +7,11 @@ error: lifetime may not live long enough
    |                  has type `&'1 Foo<'_, '_>`
 15 |         Foo::A(r) | Foo::B(r) => r,
    |                                  ^ returning this value requires that `'1` must outlive `'2`
+   |
+help: dereference the return value
+   |
+14 |     foo.map_ref(|f| **match f {
+   |                     ++
 
 error: lifetime may not live long enough
   --> tests/fail/lifetime_map.rs:22:34
@@ -17,3 +22,8 @@ error: lifetime may not live long enough
    |                  has type `&'1 mut Foo<'_, '_>`
 22 |         Foo::A(r) | Foo::B(r) => r,
    |                                  ^ returning this value requires that `'1` must outlive `'2`
+   |
+help: dereference the return value
+   |
+21 |     foo.map_mut(|f| **match f {
+   |                     ++