Function to_red_ty_with_runtime 

pub fn to_red_ty_with_runtime<'db>(
    ty: SymTy<'db>,
    runtime: &Runtime<'db>,
) -> (RedTy<'db>, SymPerm<'db>)

Convert ty to a red-ty given a runtime.

See ToRedTy.