error: value of type `M::Box<M::Box<M::R>>` does not have the `drop` ability
   ┌─ tests/ability-check/v1-typing/conditional_drop_invalid.move:20:26
   │
20 │         Box<Box<T>> { f: Box { f: t } } == Box<Box<T>> { f: Box { f: t} };
   │                          ^^^^^^^^^^^^ operator drops value here (consider borrowing the argument)

error: value of type `M::Box<M::R>` does not have the `drop` ability
   ┌─ tests/ability-check/v1-typing/conditional_drop_invalid.move:20:26
   │
20 │         Box<Box<T>> { f: Box { f: t } } == Box<Box<T>> { f: Box { f: t} };
   │                          ^^^^^^^^^^^^ operator drops value here (consider borrowing the argument)

error: value of type `M::Box<T>` does not have the `drop` ability
   ┌─ tests/ability-check/v1-typing/conditional_drop_invalid.move:20:26
   │
20 │         Box<Box<T>> { f: Box { f: t } } == Box<Box<T>> { f: Box { f: t} };
   │                          ^^^^^^^^^^^^ operator drops value here (consider borrowing the argument)

error: value of type `M::Box<M::Box<M::R>>` does not have the `drop` ability
   ┌─ tests/ability-check/v1-typing/conditional_drop_invalid.move:20:9
   │
20 │         Box<Box<T>> { f: Box { f: t } } == Box<Box<T>> { f: Box { f: t} };
   │         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ operator drops value here (consider borrowing the argument)

error: value of type `M::Box<M::R>` does not have the `drop` ability
   ┌─ tests/ability-check/v1-typing/conditional_drop_invalid.move:20:9
   │
20 │         Box<Box<T>> { f: Box { f: t } } == Box<Box<T>> { f: Box { f: t} };
   │         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ operator drops value here (consider borrowing the argument)

error: value of type `M::Box<T>` does not have the `drop` ability
   ┌─ tests/ability-check/v1-typing/conditional_drop_invalid.move:20:9
   │
20 │         Box<Box<T>> { f: Box { f: t } } == Box<Box<T>> { f: Box { f: t} };
   │         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ operator drops value here (consider borrowing the argument)

error: value of type `M::Box<M::Box<M::R>>` does not have the `drop` ability
   ┌─ tests/ability-check/v1-typing/conditional_drop_invalid.move:20:61
   │
20 │         Box<Box<T>> { f: Box { f: t } } == Box<Box<T>> { f: Box { f: t} };
   │                                                             ^^^^^^^^^^^ operator drops value here (consider borrowing the argument)

error: value of type `M::Box<M::R>` does not have the `drop` ability
   ┌─ tests/ability-check/v1-typing/conditional_drop_invalid.move:20:61
   │
20 │         Box<Box<T>> { f: Box { f: t } } == Box<Box<T>> { f: Box { f: t} };
   │                                                             ^^^^^^^^^^^ operator drops value here (consider borrowing the argument)

error: value of type `M::Box<T>` does not have the `drop` ability
   ┌─ tests/ability-check/v1-typing/conditional_drop_invalid.move:20:61
   │
20 │         Box<Box<T>> { f: Box { f: t } } == Box<Box<T>> { f: Box { f: t} };
   │                                                             ^^^^^^^^^^^ operator drops value here (consider borrowing the argument)

error: value of type `M::Box<M::Box<M::R>>` does not have the `drop` ability
   ┌─ tests/ability-check/v1-typing/conditional_drop_invalid.move:20:44
   │
20 │         Box<Box<T>> { f: Box { f: t } } == Box<Box<T>> { f: Box { f: t} };
   │                                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ operator drops value here (consider borrowing the argument)

error: value of type `M::Box<M::R>` does not have the `drop` ability
   ┌─ tests/ability-check/v1-typing/conditional_drop_invalid.move:20:44
   │
20 │         Box<Box<T>> { f: Box { f: t } } == Box<Box<T>> { f: Box { f: t} };
   │                                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ operator drops value here (consider borrowing the argument)

error: value of type `M::Box<T>` does not have the `drop` ability
   ┌─ tests/ability-check/v1-typing/conditional_drop_invalid.move:20:44
   │
20 │         Box<Box<T>> { f: Box { f: t } } == Box<Box<T>> { f: Box { f: t} };
   │                                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ operator drops value here (consider borrowing the argument)

error: value of type `M::Box<M::Box<M::R>>` does not have the `drop` ability
   ┌─ tests/ability-check/v1-typing/conditional_drop_invalid.move:20:9
   │
20 │         Box<Box<T>> { f: Box { f: t } } == Box<Box<T>> { f: Box { f: t} };
   │         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ operator drops value here (consider borrowing the argument)

error: value of type `M::Box<M::Box<T>>` does not have the `drop` ability
   ┌─ tests/ability-check/v1-typing/conditional_drop_invalid.move:20:9
   │
20 │         Box<Box<T>> { f: Box { f: t } } == Box<Box<T>> { f: Box { f: t} };
   │         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ operator drops value here (consider borrowing the argument)

error: value of type `M::Box<M::R>` does not have the `drop` ability
   ┌─ tests/ability-check/v1-typing/conditional_drop_invalid.move:20:9
   │
20 │         Box<Box<T>> { f: Box { f: t } } == Box<Box<T>> { f: Box { f: t} };
   │         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ operator drops value here (consider borrowing the argument)

error: value of type `M::Box<T>` does not have the `drop` ability
   ┌─ tests/ability-check/v1-typing/conditional_drop_invalid.move:20:9
   │
20 │         Box<Box<T>> { f: Box { f: t } } == Box<Box<T>> { f: Box { f: t} };
   │         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ operator drops value here (consider borrowing the argument)