error[E0277]: the trait bound `No: CanSplitInto<Mut, Mut>` is not satisfied --> $DIR/autobad-split-no-mut-mut.rs:16:43 | 16 | &mut partial!(X mut a)) = i.into(); | ^^^^ the trait `CanSplitInto<Mut, Mut>` is not implemented for `No` | = help: the trait `CanSplitInto<No, No>` is implemented for `No` note: required because of the requirements on the impl of `From<&mut X__Partial<No>>` for `(&mut X__Partial<Mut>, &mut X__Partial<Mut>)` --> $DIR/autobad-split-no-mut-mut.rs:9:10 | 9 | #[derive(PartialBorrow,Default)] | ^^^^^^^^^^^^^ = note: required because of the requirements on the impl of `Into<(&mut X__Partial<Mut>, &mut X__Partial<Mut>)>` for `&mut X__Partial<No>` = note: this error originates in the derive macro `PartialBorrow` (in Nightly builds, run with -Z macro-backtrace for more info)