blob: 75f2183b425df93ef3fecd6d56470fd1d65bb7eb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// slang-ir-augment-make-existential.h
#pragma once
#include "slang-ir.h"
namespace Slang
{
struct IRModule;
class DiagnosticSink;
/// Augment `MakeExistential(v, w)` insts to `MakeExistentialWithRTTI(v, w, t)`,
/// where v is a concrete typed value, w is a witness table, and t is the type of
/// v.
void augmentMakeExistentialInsts(IRModule* module);
} // namespace Slang
|
