LinearTypeChecker.cpp File Reference

Implements linear type checking — enforces that heap-allocated ('ptr<T>) pointers are consumed exactly once before scope exit. More...

#include "typecheck/LinearTypeChecker.h"
#include "ast/Ast.h"
#include "fmt/format.h"
#include "typecheck/Types.h"

Include dependency graph for LinearTypeChecker.cpp:

Detailed Description

Implements linear type checking — enforces that heap-allocated ('ptr<T>) pointers are consumed exactly once before scope exit.