Function is_string_ty 

fn is_string_ty(ty: &Type) -> bool

True if ty’s last path segment is the bare ident String (path-identity check, same convention as classify_field_type).