Ownership analysis doesn't mark params if return is move

[TheDan64]

fn test(a: *mut u32, b: *mut u32) -> *mut u32 {
    *b = 1;

    a
}

In this example the return type should be marked move, and neither param is getting marked at all (even though b isn't involved in the move at all). Works fine if you change return of a to 0 as *mut u32, in which case the return is no longer a move.