Rollup merge of #143346 - emmanuel-ferdman:master, r=tshepang

update coherence example

## PR Summary
Small PR - Commit 0533ff7 moved the `coherence_different_hidden_ty.rs` file. This PR adjusts sources to changes.

Author: jhpratt