Pointing out trivial casts