std::meta::is_implicit_lifetime_type

#include <cstddef>
#include <meta>

enum E { e };

struct S
{
    int x, y;
};

struct X
{
    X() {}
    ~X() = delete;
};

static_assert
(""
    and is_implicit_lifetime_type(^^int)            // arithmetic type is a scalar type
    and is_implicit_lifetime_type(^^const int)      // cv-qualified scalar type
    and is_implicit_lifetime_type(^^E)              // enumeration type is a scalar type
    and is_implicit_lifetime_type(^^int*)           // pointer type is a scalar type
    and is_implicit_lifetime_type(^^std::nullptr_t) // scalar type
    
    // S is an implicit-lifetime class: an aggregate without user-provided destructor
    and is_implicit_lifetime_type(^^S)
    
    and is_implicit_lifetime_type(^^int S::*) // pointer-to-member

    // X is not implicit-lifetime class due to deleted destructor
    and not is_implicit_lifetime_type(^^X)

    and is_implicit_lifetime_type(^^int[8])          // array type
    and is_implicit_lifetime_type(^^volatile int[8]) // cv-qualified array type
);

int main() {}