fn get_deref_type_and_refs(ty: Ty<'_>) -> (Ty<'_>, Vec<Mutability>)