Function solar_expr_ty_to_dyn 

fn solar_expr_ty_to_dyn<'gcx>(
    gcx: Gcx<'gcx>,
    ty: Ty<'gcx>,
    expr: &Expr<'_>,
) -> Option<DynSolType>

Maps a solar [Ty] to a [DynSolType].