Why does the borrow checker fail to realize that conditional borrow did not occur?

Question

I have some Rust code that takes a reference and returns a Result that holds a reference in the Ok case and doesn\'t in the Err case.