Function hir_ty_to_dyn 

fn hir_ty_to_dyn(gcx: Gcx<'_>, ty: &Type<'_>) -> Option<DynSolType>

Converts a [HirType] to a [DynSolType].