Make type narrowing work even if testing was done for dereferenced (^) in-place variable.