Function print_type 

pub(crate) fn print_type(type_: &Type, cx: &Context<'_>) -> impl Display