case_1.h

//
// Created by belov on 14.07.2026.
//

#pragma once


namespace case_1 {
    template <typename>
    class SomeClass {};

    void case_1() {
        int a;

        // type
        constexpr auto aObjType = ^^decltype(a);
        typename[:aObjType:] b = 5;

        // value
        constexpr auto aObj = ^^a;

        static_assert(std::meta::dealias(aObjType) == ^^int);
        static_assert(std::meta::identifier_of(aObj) == "a");
        static_assert(std::meta::display_string_of(aObjType) == "int");

        SomeClass<int> c1;
        constexpr auto aObjTypeC1 = ^^decltype(c1);
        static_assert(std::meta::display_string_of(aObjTypeC1) == "case_1::SomeClass<int>");

        constexpr auto aObjTypeC2 = ^^SomeClass<char>;
        static_assert(std::meta::display_string_of(aObjTypeC2) == "case_1::SomeClass<char>");
    }
}