Types and aliases

AG1001 — Type parameter '{param}' (no default) must come before parameters that have defaults in '{alias}'.

Default severity: error.

A type alias lists its type parameters left to right, and — like default function arguments — every parameter with a default must come after the parameters that have none. Otherwise a caller who omits a middle argument leaves a later, required one with no way to be positioned.

How to fix: reorder the type parameters so all defaulted ones are last.

AG1002 — Type '{alias}' is not a value-parameterized type but was given {count} value {argumentWord} (referenced in '{context}').

Default severity: error.

Some type aliases take value arguments in parentheses (like a validated length), and some take none. This fires when you passed value arguments to an alias that accepts none.

How to fix: drop the parenthesized arguments, or point at the alias you actually meant to parameterize.

AG1003 — {alias} expects at most {max} value {argumentWord}, got {count} (referenced in '{context}').

Default severity: error.

A value-parameterized alias accepts a fixed maximum number of value arguments, and you supplied more than it declares.

How to fix: remove the extra arguments, or check whether you meant a different alias with more parameters.

AG1004 — '{alias}' is a value-parameterized type and requires value arguments — write '{alias}({formals})' (referenced in '{context}').

Default severity: error.

This alias is value-parameterized: it needs its value arguments supplied in parentheses before it can be used as a type. Writing the bare name leaves those parameters unfilled.

How to fix: call it with its arguments, following the form the message shows for that alias.

AG1005 — {alias} requires at least {min} value {argumentWord} (referenced in '{context}').

Default severity: error.

A value-parameterized alias requires at least some minimum number of value arguments, and you supplied fewer.

How to fix: add the missing arguments; the message names how many the alias needs.

AG1006 — Type alias '{alias}' is not defined (referenced in '{context}').

Default severity: error.

A type name was used that has no type declaration in scope and is not a built-in type. The checker resolves every type name against the aliases visible in the file plus its imports.

How to fix: declare the alias, import it from the module that defines it, or fix a typo in the name.

AG1007 — Generic type '{alias}' requires type arguments (referenced in '{context}').

Default severity: error.

This is a generic type — it is parameterized by other types (like the element type of a list) — and it cannot be used bare. The type arguments are required.

How to fix: supply the type arguments in angle brackets, e.g. write the element type the generic wraps.

AG1008 — {alias} expects {expected} type {argumentWord}, got {count} (referenced in '{context}').

Default severity: error.

A built-in generic type (such as an array or Record) was given the wrong number of type arguments. Each built-in generic takes an exact count.

How to fix: supply exactly the number of type arguments the message names.

AG1009 — Unknown generic type '{alias}' (referenced in '{context}').

Default severity: error.

A generic type name was used with type arguments, but no generic type by that name is defined or imported.

How to fix: define or import the generic, or fix the name.

AG1010 — Type '{alias}' is not a generic type (referenced in '{context}').

Default severity: error.

Type arguments in angle brackets were applied to a name that is not a generic type, so it has no parameters to fill.

How to fix: remove the type arguments, or reference the generic type you meant.

AG1011 — {alias} expects at most {max} type {argumentWord}, got {count} (referenced in '{context}').

Default severity: error.

A generic type accepts a fixed maximum number of type arguments, and you supplied more than it declares.

How to fix: remove the extra type arguments.

AG1012 — {alias} requires at least {min} type {argumentWord} (referenced in '{context}').

Default severity: error.

A generic type requires at least some minimum number of type arguments, and you supplied fewer.

How to fix: add the missing type arguments; the message names how many are needed.

AG1013 — {name} is not a type; {hint}

Default severity: error.

A type pattern (x is T, or a match arm p: T) named something that is not a type. After is, a bare identifier is always read as a type reference — the old always-true binder form was retired — so a variable name or a JavaScript class name (like Date) in that position is an error rather than a silent match-anything.

How to fix: if you meant a type, declare or import it. If you meant to bind the value, write const name = x instead. For JavaScript classes, use is object or a helper function — type patterns only test Agency types.

AG1014 — Cannot cast {from} to {to} because neither type fits the other. If this is intentional, write {expr} as unknown as {to}.

Default severity: error.

A cast x as T is allowed when the type of x fits T, or T fits the type of x. A cast between two unrelated types, like 5 as string, is almost always a mistake, so it is refused. A cast changes only what the type checker believes. It does not convert the value.

How to fix: if you mean it, go through unknown: x as unknown as T.

AG1015 — A checked cast validates the value at runtime, and {type} has no schema to validate against. Remove the ! to cast without checking.

Default severity: error.

x as T! checks the value against the schema of T at runtime and gives a Result. Function types have no schema, so they cannot be checked.

How to fix: use the unchecked form, x as T.

AG1016 — A cast is not allowed in this position. Add parentheses: ({left} {op} {right}) as {type} or {left} {op} ({right} as {type}).

Default severity: error.

In TypeScript, as binds looser than arithmetic and comparison: a + b as T means (a + b) as T. In Agency today a cast binds tighter, so the same text would mean a + (b as T). To keep the two from silently disagreeing, Agency refuses a cast on the right of **, *, /, %, +, -, <, >, <=, >=, in, and instanceof.

How to fix: add parentheses to say which grouping you mean. Issue #1088 tracks removing this rule.

AG1017 — This checked cast runs validators that can pause the program, and it cannot be resumed safely in this position. Move it to its own line: const value = {cast}.

Default severity: error.

A checked cast to a type with @validate tags runs validator functions, and a validator can raise an interrupt that pauses the program. When a paused program resumes, the statement it paused in runs again, so Agency lifts anything that can pause onto its own line first. It cannot lift out of the right side of &&, || or ??, a catch or try expression, an if-expression branch, a pipe stage, or a statement under with or static. A checked cast to a type with no @validate tags cannot pause and is allowed in these positions.

How to fix: write the cast on its own line and use the variable.

AG1018 — {expr} is a {from}. A cast does not unwrap it. Unwrap the Result first, with match or catch, then cast the value if you still need to.

Default severity: error.

A cast changes only what the type checker believes. It does not change the value, so casting a Result<Person> to Person would leave a Result in a variable typed as Person. Writing as unknown as Person would compile and be wrong at runtime.

How to fix: unwrap the Result first: match on it, or use catch to supply a fallback.

AG1019 — {cast} runs validators that can pause the program, and a module-level initializer or a parameter default cannot pause. Do the cast inside a node or a def.

Default severity: error.

A checked cast to a type with @validate tags runs validator functions, and a validator can raise an interrupt that pauses the program. Code at the top level of a file, and a parameter's default value, run where the program cannot pause and resume. There is no line to move the cast to. A checked cast to a type with no @validate tags is allowed here.

How to fix: do the cast inside a node or a def, and pass the result in.

AG1020 — {cast} runs validators that can pause the program, and a handler body cannot pause. Do the cast before the handle block and use the value here.

Default severity: error.

A checked cast to a type with @validate tags runs validator functions, and a validator can raise an interrupt that pauses the program. A handler body compiles to plain JavaScript with no steps, so it cannot pause, and the hoist pass never rewrites one. Moving the cast to its own line inside the handler does not help. Handlers are how a user rejects an action, so a cast that would pause there is refused rather than compiled. A checked cast to a type with no @validate tags is allowed here.

How to fix: do the cast before the handle block and use the value inside the handler.