pub fn is_str_lit_or_union(t: &Type) -> bool