Function deref_ty_if_possible 

fn deref_ty_if_possible(ty: Ty<'_>) -> Ty<'_>

Dereferences a single level of immutable referencing.