error[E0277]: the trait bound `Mut: CanSplitInto<Mut, Const>` is not satisfied
  --> $DIR/autobad-split-mut-mut-const.rs:16:45
   |
16 |               &mut partial!(X const a)) = i.into();
   |                                             ^^^^ the trait `CanSplitInto<Mut, Const>` is not implemented for `Mut`
   |
   = help: the following other types implement trait `CanSplitInto<R, S>`:
             <Mut as CanSplitInto<Const, Const>>
             <Mut as CanSplitInto<Const, No>>
             <Mut as CanSplitInto<Mut, No>>
             <Mut as CanSplitInto<No, Const>>
             <Mut as CanSplitInto<No, Mut>>
             <Mut as CanSplitInto<No, No>>
note: required because of the requirements on the impl of `From<&mut X__Partial<Mut>>` for `(&mut X__Partial<Mut>, &mut X__Partial<Const>)`
  --> $DIR/autobad-split-mut-mut-const.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<Const>)>` for `&mut X__Partial<Mut>`
   = note: this error originates in the derive macro `PartialBorrow` (in Nightly builds, run with -Z macro-backtrace for more info)