add more requires

include/luisa/xir/function.h

@@ -56,6 +56,7 @@ class LC_XIR_API Function : public IntrusiveForwardNode<Function, DerivedGlobalV
 using FunctionList = IntrusiveForwardList<Function>;
 
 template<typename Derived, DerivedFunctionTag tag, typename Base = Function>
+    requires std::derived_from<Base, Function>
 class DerivedFunction : public Base {
 public:
     using derived_function_type = Derived;

include/luisa/xir/instruction.h

@@ -209,6 +209,7 @@ class LC_XIR_API ConditionalBranchTerminatorInstruction : public TerminatorInstr
 };
 
 template<typename Derived, DerivedInstructionTag tag, typename Base = Instruction>
+    requires std::derived_from<Base, Instruction>
 class DerivedInstruction : public Base {
 public:
     using derived_instruction_type = Derived;

include/luisa/xir/metadata.h

@@ -26,6 +26,7 @@ class LC_XIR_API Metadata : public IntrusiveForwardNode<Metadata> {
 };
 
 template<typename Derived, DerivedMetadataTag tag, typename Base = Metadata>
+    requires std::derived_from<Base, Metadata>
 class LC_XIR_API DerivedMetadata : public Base {
 public:
     using derived_metadata_type = Derived;

include/luisa/xir/value.h

@@ -86,6 +86,7 @@ class DerivedGlobalValue : public DerivedValue<Derived, tag, Base>,
     explicit DerivedGlobalValue(Module *module, Args &&...args) noexcept
         : DerivedValue<Derived, tag, Base>{std::forward<Args>(args)...},
           GlobalValueModuleMixin{module} {}
+    [[nodiscard]] bool is_global() const noexcept final { return true; }
     [[nodiscard]] Pool *pool() noexcept final { return _pool_from_parent_module(); }
 };
 

src/xir/basic_block.cpp

@@ -1,5 +1,4 @@
 #include <luisa/core/logging.h>
-#include <luisa/xir/function.h>
 #include <luisa/xir/basic_block.h>
 
 namespace luisa::compute::xir {