Function is_non_aggregate_primitive_type 

pub fn is_non_aggregate_primitive_type(ty: Ty<'_>) -> bool

Returns true if the given type is a non aggregate primitive (a bool or char, any integer or floating-point number type).

For checking aggregation of primitive types (e.g. tuples and slices of primitive type) see is_recursively_primitive_type