// RUN: %clang_cc1 -std=c++2a -triple x86_64-elf-gnu %s -emit-llvm -o - | FileCheck %s

struct S {
    consteval void operator()() {}
};

template <class Fn>
constexpr void dispatch(Fn fn) {
    fn();
}

template <class Visitor>
struct value_visitor {
    constexpr void operator()() { visitor(); }
    Visitor&& visitor;
};

template <class Visitor>
constexpr auto make_dispatch() {
    return dispatch<value_visitor<S>>;
}

template <class Visitor>
constexpr void visit(Visitor&&) {
    make_dispatch<Visitor>();
}

void f() { visit(S{}); }

// CHECK: define {{.*}} @_Z1fv
// CHECK-NOT: define {{.*}} @_Z5visitI1SEvOT_
// CHECK-NOT: define {{.*}} @_Z13make_dispatchI1SEDav