Compiler Explorer

Source code

#include<format>
#include<string_view>
#include <print>
#include<tuple>

using namespace std::literals;

template<typename T> consteval auto __name_of() {
    constexpr static std::string_view fname = __PRETTY_FUNCTION__;
    return fname.substr(37, fname.size() - 37 - 1);
}

constexpr auto type_name(auto && x) {
    return __name_of<decltype(auto{x})>();
}

auto wexpr = [](auto a, auto b, auto c) { return add(mul(add(add(a, b), c), c), mul(b, a)); };

int iexpr(int a, int b, int c) { return (a + b + c) * c + b * a; }

struct i0{};
struct i1{};
struct i2{};
struct i3{};
struct i4{};
struct i5{};
struct i6{};
struct i7{};
struct i8{};
struct i9{};
struct i10{};
struct i11{};
struct i12{};
struct i13{};
struct i14{};
struct i15{};
struct i16{};
struct i17{};
struct i18{};
struct i19{};
struct i20{};
struct i21{};
struct i22{};
struct i23{};
struct i24{};
struct i25{};
struct i26{};
struct i27{};
struct i28{};
struct i29{};
struct i30{};
struct i31{};
struct i32{};
struct i33{};
struct i34{};
struct i35{};
struct i36{};
struct i37{};
struct i38{};
struct i39{};
struct i40{};
struct i41{};
struct i42{};
struct i43{};
struct i44{};
struct i45{};
struct i46{};
struct i47{};
struct i48{};
struct i49{};
struct i50{};
struct i51{};
struct i52{};
struct i53{};
struct i54{};
struct i55{};
struct i56{};
struct i57{};
struct i58{};
struct i59{};
struct i60{};
struct i61{};
struct i62{};
struct i63{};
i0 add(i0, i0) { return i0{}; }
i1 add(i0, i1) { return i1{}; }
i2 add(i0, i2) { return i2{}; }
i3 add(i0, i3) { return i3{}; }
i4 add(i0, i4) { return i4{}; }
i5 add(i0, i5) { return i5{}; }
i6 add(i0, i6) { return i6{}; }
i7 add(i0, i7) { return i7{}; }
i1 add(i1, i0) { return i1{}; }
i2 add(i1, i1) { return i2{}; }
i3 add(i1, i2) { return i3{}; }
i4 add(i1, i3) { return i4{}; }
i5 add(i1, i4) { return i5{}; }
i6 add(i1, i5) { return i6{}; }
i7 add(i1, i6) { return i7{}; }
i8 add(i1, i7) { return i8{}; }
i2 add(i2, i0) { return i2{}; }
i3 add(i2, i1) { return i3{}; }
i4 add(i2, i2) { return i4{}; }
i5 add(i2, i3) { return i5{}; }
i6 add(i2, i4) { return i6{}; }
i7 add(i2, i5) { return i7{}; }
i8 add(i2, i6) { return i8{}; }
i9 add(i2, i7) { return i9{}; }
i3 add(i3, i0) { return i3{}; }
i4 add(i3, i1) { return i4{}; }
i5 add(i3, i2) { return i5{}; }
i6 add(i3, i3) { return i6{}; }
i7 add(i3, i4) { return i7{}; }
i8 add(i3, i5) { return i8{}; }
i9 add(i3, i6) { return i9{}; }
i10 add(i3, i7) { return i10{}; }
i4 add(i4, i0) { return i4{}; }
i5 add(i4, i1) { return i5{}; }
i6 add(i4, i2) { return i6{}; }
i7 add(i4, i3) { return i7{}; }
i8 add(i4, i4) { return i8{}; }
i9 add(i4, i5) { return i9{}; }
i10 add(i4, i6) { return i10{}; }
i11 add(i4, i7) { return i11{}; }
i5 add(i5, i0) { return i5{}; }
i6 add(i5, i1) { return i6{}; }
i7 add(i5, i2) { return i7{}; }
i8 add(i5, i3) { return i8{}; }
i9 add(i5, i4) { return i9{}; }
i10 add(i5, i5) { return i10{}; }
i11 add(i5, i6) { return i11{}; }
i12 add(i5, i7) { return i12{}; }
i6 add(i6, i0) { return i6{}; }
i7 add(i6, i1) { return i7{}; }
i8 add(i6, i2) { return i8{}; }
i9 add(i6, i3) { return i9{}; }
i10 add(i6, i4) { return i10{}; }
i11 add(i6, i5) { return i11{}; }
i12 add(i6, i6) { return i12{}; }
i13 add(i6, i7) { return i13{}; }
i7 add(i7, i0) { return i7{}; }
i8 add(i7, i1) { return i8{}; }
i9 add(i7, i2) { return i9{}; }
i10 add(i7, i3) { return i10{}; }
i11 add(i7, i4) { return i11{}; }
i12 add(i7, i5) { return i12{}; }
i13 add(i7, i6) { return i13{}; }
i14 add(i7, i7) { return i14{}; }
i0 mul(i0, i0) { return i0{}; }
i0 mul(i0, i1) { return i0{}; }
i0 mul(i0, i2) { return i0{}; }
i0 mul(i0, i3) { return i0{}; }
i0 mul(i0, i4) { return i0{}; }
i0 mul(i0, i5) { return i0{}; }
i0 mul(i0, i6) { return i0{}; }
i0 mul(i0, i7) { return i0{}; }
i0 mul(i1, i0) { return i0{}; }
i1 mul(i1, i1) { return i1{}; }
i2 mul(i1, i2) { return i2{}; }
i3 mul(i1, i3) { return i3{}; }
i4 mul(i1, i4) { return i4{}; }
i5 mul(i1, i5) { return i5{}; }
i6 mul(i1, i6) { return i6{}; }
i7 mul(i1, i7) { return i7{}; }
i0 mul(i2, i0) { return i0{}; }
i2 mul(i2, i1) { return i2{}; }
i4 mul(i2, i2) { return i4{}; }
i6 mul(i2, i3) { return i6{}; }
i8 mul(i2, i4) { return i8{}; }
i10 mul(i2, i5) { return i10{}; }
i12 mul(i2, i6) { return i12{}; }
i14 mul(i2, i7) { return i14{}; }
i0 mul(i3, i0) { return i0{}; }
i3 mul(i3, i1) { return i3{}; }
i6 mul(i3, i2) { return i6{}; }
i9 mul(i3, i3) { return i9{}; }
i12 mul(i3, i4) { return i12{}; }
i15 mul(i3, i5) { return i15{}; }
i18 mul(i3, i6) { return i18{}; }
i21 mul(i3, i7) { return i21{}; }
i0 mul(i4, i0) { return i0{}; }
i4 mul(i4, i1) { return i4{}; }
i8 mul(i4, i2) { return i8{}; }
i12 mul(i4, i3) { return i12{}; }
i16 mul(i4, i4) { return i16{}; }
i20 mul(i4, i5) { return i20{}; }
i24 mul(i4, i6) { return i24{}; }
i28 mul(i4, i7) { return i28{}; }
i0 mul(i5, i0) { return i0{}; }
i5 mul(i5, i1) { return i5{}; }
i10 mul(i5, i2) { return i10{}; }
i15 mul(i5, i3) { return i15{}; }
i20 mul(i5, i4) { return i20{}; }
i25 mul(i5, i5) { return i25{}; }
i30 mul(i5, i6) { return i30{}; }
i35 mul(i5, i7) { return i35{}; }
i0 mul(i6, i0) { return i0{}; }
i6 mul(i6, i1) { return i6{}; }
i12 mul(i6, i2) { return i12{}; }
i18 mul(i6, i3) { return i18{}; }
i24 mul(i6, i4) { return i24{}; }
i30 mul(i6, i5) { return i30{}; }
i36 mul(i6, i6) { return i36{}; }
i42 mul(i6, i7) { return i42{}; }
i0 mul(i7, i0) { return i0{}; }
i7 mul(i7, i1) { return i7{}; }
i14 mul(i7, i2) { return i14{}; }
i21 mul(i7, i3) { return i21{}; }
i28 mul(i7, i4) { return i28{}; }
i35 mul(i7, i5) { return i35{}; }
i42 mul(i7, i6) { return i42{}; }
i49 mul(i7, i7) { return i49{}; }

int main() {
  auto foos = {wexpr, wexpr, wexpr};

std::println("{} == {}", type_name((*foos.begin())(i3{}, i2{}, i1{})), iexpr(3, 2, 1));

}