@typespec/compiler 0.45.0-dev.20 → 0.45.0-dev.24

package/dist/core/checker.d.ts

@@ -1,6 +1,6 @@
 import { TypeNameOptions } from "./helpers/index.js";
 import { Program, ProjectedProgram } from "./program.js";
-import { BooleanLiteral, BooleanLiteralNode, Diagnostic, DiagnosticTarget, ErrorType, FunctionType, IdentifierNode, IntrinsicScalarName, JsSourceFileNode, LiteralNode, LiteralType, Model, ModelProperty, Namespace, NamespaceStatementNode, NeverType, Node, NumericLiteral, NumericLiteralNode, ProjectionNode, ProjectionStatementNode, Scalar, StdTypeName, StdTypes, StringLiteral, StringLiteralNode, Sym, Type, TypeReferenceNode, TypeSpecScriptNode, UnknownType, VoidType } from "./types.js";
+import { BooleanLiteral, BooleanLiteralNode, Diagnostic, DiagnosticTarget, ErrorType, FunctionType, IdentifierNode, IntrinsicScalarName, JsSourceFileNode, LiteralNode, LiteralType, Model, ModelProperty, Namespace, NamespaceStatementNode, NeverType, Node, NumericLiteral, NumericLiteralNode, ProjectionNode, ProjectionStatementNode, Scalar, StdTypeName, StdTypes, StringLiteral, StringLiteralNode, Sym, Type, TypeReferenceNode, TypeSpecScriptNode, UnknownType, ValueType, VoidType } from "./types.js";
 export type CreateTypeProps = Omit<Type, "isFinished" | keyof TypePrototype>;
 export interface Checker {
     typePrototype: TypePrototype;
@@ -49,7 +49,7 @@ export interface Checker {
      * @param diagnosticTarget Target for the diagnostic, unless something better can be inferred.
      * @returns [related, list of diagnostics]
      */
-    isTypeAssignableTo(source: Type, target: Type, diagnosticTarget: DiagnosticTarget): [boolean, Diagnostic[]];
+    isTypeAssignableTo(source: Type | ValueType, target: Type | ValueType, diagnosticTarget: DiagnosticTarget): [boolean, readonly Diagnostic[]];
     /**
      * Check if the given type is one of the built-in standard TypeSpec Types.
      * @param type Type to check

package/dist/core/checker.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"checker.d.ts","sourceRoot":"","sources":["../../core/checker.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,eAAe,EAAqC,MAAM,oBAAoB,CAAC;AAGxF,OAAO,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAUzD,OAAO,EAIL,cAAc,EACd,kBAAkB,EAQlB,UAAU,EACV,gBAAgB,EAMhB,SAAS,EAKT,YAAY,EAEZ,cAAc,EAId,mBAAmB,EACnB,gBAAgB,EAChB,WAAW,EACX,WAAW,EAOX,KAAK,EAGL,aAAa,EAKb,SAAS,EACT,sBAAsB,EACtB,SAAS,EACT,IAAI,EAEJ,cAAc,EACd,kBAAkB,EAiBlB,cAAc,EAGd,uBAAuB,EAIvB,MAAM,EAEN,WAAW,EACX,QAAQ,EACR,aAAa,EACb,iBAAiB,EACjB,GAAG,EAYH,IAAI,EAIJ,iBAAiB,EACjB,kBAAkB,EAMlB,WAAW,EACX,QAAQ,EACT,MAAM,YAAY,CAAC;AAGpB,MAAM,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,aAAa,CAAC,CAAC;AAE7E,MAAM,WAAW,OAAO;IACtB,aAAa,EAAE,aAAa,CAAC;IAE7B,cAAc,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;IACjC,gBAAgB,CAAC,IAAI,EAAE,kBAAkB,GAAG,IAAI,CAAC;IACjD,YAAY,IAAI,IAAI,CAAC;IACrB,eAAe,CAAC,IAAI,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAChD,sBAAsB,IAAI,SAAS,CAAC;IACpC,sBAAsB,IAAI,sBAAsB,CAAC;IACjD,eAAe,CAAC,GAAG,EAAE,GAAG,GAAG,SAAS,GAAG,GAAG,GAAG,SAAS,CAAC;IACvD,eAAe,CAAC,IAAI,EAAE,kBAAkB,GAAG,gBAAgB,GAAG,IAAI,CAAC;IACnE,cAAc,CAAC,IAAI,EAAE,iBAAiB,GAAG,aAAa,CAAC;IACvD,cAAc,CAAC,IAAI,EAAE,kBAAkB,GAAG,cAAc,CAAC;IACzD,cAAc,CAAC,IAAI,EAAE,kBAAkB,GAAG,cAAc,CAAC;IACzD,cAAc,CAAC,IAAI,EAAE,WAAW,GAAG,WAAW,CAAC;IAE/C;;OAEG;IACH,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,eAAe,GAAG,MAAM,CAAC;IAE3D;;OAEG;IACH,kBAAkB,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,EAAE,OAAO,CAAC,EAAE,eAAe,GAAG,MAAM,CAAC;IACnF,SAAS,CAAC,CAAC,SAAS,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,eAAe,CAAC,EAAE;SAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;KAAE,GAAG,CAAC,CAAC;IACnF,cAAc,CAAC,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;IACvE,OAAO,CACL,MAAM,EAAE,IAAI,EACZ,UAAU,EAAE,cAAc,EAC1B,IAAI,CAAC,EAAE,CAAC,IAAI,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,EAAE,GAC1C,IAAI,CAAC;IACR,iBAAiB,CAAC,IAAI,EAAE,cAAc,GAAG,GAAG,GAAG,SAAS,CAAC;IACzD,kBAAkB,CAAC,IAAI,EAAE,cAAc,GAAG,GAAG,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;IAC9E,UAAU,CAAC,CAAC,SAAS,IAAI,SAAS,GAAG,GAAG,eAAe,GAAG,KAAK,EAC7D,OAAO,EAAE,CAAC,GACT,CAAC,GAAG,aAAa,GAAG;QAAE,UAAU,EAAE,OAAO,CAAA;KAAE,CAAC;IAC/C,mBAAmB,CAAC,CAAC,SAAS,IAAI,SAAS,GAAG,GAAG,eAAe,GAAG,KAAK,EACtE,OAAO,EAAE,CAAC,GACT,CAAC,GAAG,aAAa,CAAC;IACrB,UAAU,CAAC,CAAC,SAAS,IAAI,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC;IAC1C,kBAAkB,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,EAAE,KAAK,IAAI,GAAG,YAAY,CAAC;IAChE,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,iBAAiB,GAAG,aAAa,CAAC;IAC1E,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,kBAAkB,GAAG,cAAc,CAAC;IAC5E,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,kBAAkB,GAAG,cAAc,CAAC;IAC7E,iBAAiB,CACf,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,EAChC,IAAI,CAAC,EAAE,iBAAiB,GAAG,kBAAkB,GAAG,kBAAkB,GACjE,aAAa,GAAG,cAAc,GAAG,cAAc,CAAC;IACnD,iBAAiB,CACf,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,EAChC,IAAI,CAAC,EAAE,iBAAiB,GAAG,kBAAkB,GAAG,kBAAkB,GACjE,aAAa,GAAG,cAAc,GAAG,cAAc,CAAC;IAEnD;;;;;;OAMG;IACH,kBAAkB,CAChB,MAAM,EAAE,IAAI,EACZ,MAAM,EAAE,IAAI,EACZ,gBAAgB,EAAE,gBAAgB,GACjC,CAAC,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;IAE3B;;;;OAIG;IACH,SAAS,CACP,IAAI,EAAE,MAAM,EACZ,OAAO,CAAC,EAAE,mBAAmB,GAC5B,IAAI,IAAI,MAAM,GAAG;QAAE,IAAI,EAAE,mBAAmB,CAAA;KAAE,CAAC;IAClD,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,WAAW,GAAG,IAAI,IAAI,IAAI,GAAG;QAAE,IAAI,EAAE,WAAW,CAAA;KAAE,CAAC;IAEnF;;;OAGG;IACH,UAAU,CAAC,CAAC,SAAS,MAAM,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAE3D;;;;OAIG;IACH,oBAAoB,CAAC,IAAI,EAAE,iBAAiB,GAAG,CAAC,IAAI,GAAG,SAAS,EAAE,SAAS,UAAU,EAAE,CAAC,CAAC;IAEzF,SAAS,EAAE,SAAS,CAAC;IACrB,QAAQ,EAAE,QAAQ,CAAC;IACnB,SAAS,EAAE,SAAS,CAAC;IACrB,OAAO,EAAE,WAAW,CAAC;CACtB;AAED,UAAU,aAAa;IACrB,WAAW,EAAE,uBAAuB,EAAE,CAAC;IACvC,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,uBAAuB,EAAE,CAAC;CAC5D;AAED,6CAA6C;AAC7C,MAAM,MAAM,kBAAkB,GAAG,sBAAsB,CAAC;AAExD,MAAM,WAAW,sBAAsB;IACrC,GAAG,EAAE,GAAG,CAAC;IAET;;OAEG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAaD,wBAAgB,aAAa,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CA2oJvD;AAqFD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,KAAK,EACZ,MAAM,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,KAAK,OAAO,GAC5C,KAAK,CAyEP;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,OAAO,GAAG,gBAAgB,EACnC,KAAK,EAAE,KAAK,EACZ,MAAM,EAAE,CAAC,QAAQ,EAAE,aAAa,KAAK,OAAO,GAC3C,KAAK,CAmCP;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,aAAa,GAAG,aAAa,GAAG,SAAS,CAcxF;AAED;;;;;;;GAOG;AACH,wBAAiB,uBAAuB,CAAC,KAAK,EAAE,KAAK,2CAapD;AAYD,wBAAgB,oBAAoB,CAAC,CAAC,SAAS,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,CAEpF"}
+{"version":3,"file":"checker.d.ts","sourceRoot":"","sources":["../../core/checker.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,eAAe,EAAqC,MAAM,oBAAoB,CAAC;AAGxF,OAAO,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAUzD,OAAO,EAIL,cAAc,EACd,kBAAkB,EAQlB,UAAU,EACV,gBAAgB,EAMhB,SAAS,EAKT,YAAY,EAEZ,cAAc,EAId,mBAAmB,EACnB,gBAAgB,EAChB,WAAW,EACX,WAAW,EAOX,KAAK,EAGL,aAAa,EAKb,SAAS,EACT,sBAAsB,EACtB,SAAS,EACT,IAAI,EAEJ,cAAc,EACd,kBAAkB,EAiBlB,cAAc,EAGd,uBAAuB,EAIvB,MAAM,EAEN,WAAW,EACX,QAAQ,EACR,aAAa,EACb,iBAAiB,EACjB,GAAG,EAYH,IAAI,EAIJ,iBAAiB,EACjB,kBAAkB,EAMlB,WAAW,EAEX,SAAS,EACT,QAAQ,EACT,MAAM,YAAY,CAAC;AAGpB,MAAM,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,aAAa,CAAC,CAAC;AAE7E,MAAM,WAAW,OAAO;IACtB,aAAa,EAAE,aAAa,CAAC;IAE7B,cAAc,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;IACjC,gBAAgB,CAAC,IAAI,EAAE,kBAAkB,GAAG,IAAI,CAAC;IACjD,YAAY,IAAI,IAAI,CAAC;IACrB,eAAe,CAAC,IAAI,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAChD,sBAAsB,IAAI,SAAS,CAAC;IACpC,sBAAsB,IAAI,sBAAsB,CAAC;IACjD,eAAe,CAAC,GAAG,EAAE,GAAG,GAAG,SAAS,GAAG,GAAG,GAAG,SAAS,CAAC;IACvD,eAAe,CAAC,IAAI,EAAE,kBAAkB,GAAG,gBAAgB,GAAG,IAAI,CAAC;IACnE,cAAc,CAAC,IAAI,EAAE,iBAAiB,GAAG,aAAa,CAAC;IACvD,cAAc,CAAC,IAAI,EAAE,kBAAkB,GAAG,cAAc,CAAC;IACzD,cAAc,CAAC,IAAI,EAAE,kBAAkB,GAAG,cAAc,CAAC;IACzD,cAAc,CAAC,IAAI,EAAE,WAAW,GAAG,WAAW,CAAC;IAE/C;;OAEG;IACH,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,eAAe,GAAG,MAAM,CAAC;IAE3D;;OAEG;IACH,kBAAkB,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,EAAE,OAAO,CAAC,EAAE,eAAe,GAAG,MAAM,CAAC;IACnF,SAAS,CAAC,CAAC,SAAS,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,eAAe,CAAC,EAAE;SAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;KAAE,GAAG,CAAC,CAAC;IACnF,cAAc,CAAC,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;IACvE,OAAO,CACL,MAAM,EAAE,IAAI,EACZ,UAAU,EAAE,cAAc,EAC1B,IAAI,CAAC,EAAE,CAAC,IAAI,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,EAAE,GAC1C,IAAI,CAAC;IACR,iBAAiB,CAAC,IAAI,EAAE,cAAc,GAAG,GAAG,GAAG,SAAS,CAAC;IACzD,kBAAkB,CAAC,IAAI,EAAE,cAAc,GAAG,GAAG,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;IAC9E,UAAU,CAAC,CAAC,SAAS,IAAI,SAAS,GAAG,GAAG,eAAe,GAAG,KAAK,EAC7D,OAAO,EAAE,CAAC,GACT,CAAC,GAAG,aAAa,GAAG;QAAE,UAAU,EAAE,OAAO,CAAA;KAAE,CAAC;IAC/C,mBAAmB,CAAC,CAAC,SAAS,IAAI,SAAS,GAAG,GAAG,eAAe,GAAG,KAAK,EACtE,OAAO,EAAE,CAAC,GACT,CAAC,GAAG,aAAa,CAAC;IACrB,UAAU,CAAC,CAAC,SAAS,IAAI,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC;IAC1C,kBAAkB,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,EAAE,KAAK,IAAI,GAAG,YAAY,CAAC;IAChE,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,iBAAiB,GAAG,aAAa,CAAC;IAC1E,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,kBAAkB,GAAG,cAAc,CAAC;IAC5E,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,kBAAkB,GAAG,cAAc,CAAC;IAC7E,iBAAiB,CACf,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,EAChC,IAAI,CAAC,EAAE,iBAAiB,GAAG,kBAAkB,GAAG,kBAAkB,GACjE,aAAa,GAAG,cAAc,GAAG,cAAc,CAAC;IACnD,iBAAiB,CACf,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,EAChC,IAAI,CAAC,EAAE,iBAAiB,GAAG,kBAAkB,GAAG,kBAAkB,GACjE,aAAa,GAAG,cAAc,GAAG,cAAc,CAAC;IAEnD;;;;;;OAMG;IACH,kBAAkB,CAChB,MAAM,EAAE,IAAI,GAAG,SAAS,EACxB,MAAM,EAAE,IAAI,GAAG,SAAS,EACxB,gBAAgB,EAAE,gBAAgB,GACjC,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAC,CAAC;IAEpC;;;;OAIG;IACH,SAAS,CACP,IAAI,EAAE,MAAM,EACZ,OAAO,CAAC,EAAE,mBAAmB,GAC5B,IAAI,IAAI,MAAM,GAAG;QAAE,IAAI,EAAE,mBAAmB,CAAA;KAAE,CAAC;IAClD,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,WAAW,GAAG,IAAI,IAAI,IAAI,GAAG;QAAE,IAAI,EAAE,WAAW,CAAA;KAAE,CAAC;IAEnF;;;OAGG;IACH,UAAU,CAAC,CAAC,SAAS,MAAM,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAE3D;;;;OAIG;IACH,oBAAoB,CAAC,IAAI,EAAE,iBAAiB,GAAG,CAAC,IAAI,GAAG,SAAS,EAAE,SAAS,UAAU,EAAE,CAAC,CAAC;IAEzF,SAAS,EAAE,SAAS,CAAC;IACrB,QAAQ,EAAE,QAAQ,CAAC;IACnB,SAAS,EAAE,SAAS,CAAC;IACrB,OAAO,EAAE,WAAW,CAAC;CACtB;AAED,UAAU,aAAa;IACrB,WAAW,EAAE,uBAAuB,EAAE,CAAC;IACvC,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,uBAAuB,EAAE,CAAC;CAC5D;AAED,6CAA6C;AAC7C,MAAM,MAAM,kBAAkB,GAAG,sBAAsB,CAAC;AAExD,MAAM,WAAW,sBAAsB;IACrC,GAAG,EAAE,GAAG,CAAC;IAET;;OAEG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAaD,wBAAgB,aAAa,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CA+uJvD;AAqFD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,KAAK,EACZ,MAAM,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,KAAK,OAAO,GAC5C,KAAK,CAyEP;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,OAAO,GAAG,gBAAgB,EACnC,KAAK,EAAE,KAAK,EACZ,MAAM,EAAE,CAAC,QAAQ,EAAE,aAAa,KAAK,OAAO,GAC3C,KAAK,CAmCP;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,aAAa,GAAG,aAAa,GAAG,SAAS,CAcxF;AAED;;;;;;;GAOG;AACH,wBAAiB,uBAAuB,CAAC,KAAK,EAAE,KAAK,2CAapD;AAYD,wBAAgB,oBAAoB,CAAC,CAAC,SAAS,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,CAEpF"}

package/dist/core/checker.js

@@ -1,6 +1,6 @@
 import { $docFromComment, getDeprecated, getIndexer } from "../lib/decorators.js";
 import { createSymbol, createSymbolTable } from "./binder.js";
-import { ProjectionError, compilerAssert } from "./diagnostics.js";
+import { ProjectionError, compilerAssert, reportDeprecated } from "./diagnostics.js";
 import { validateInheritanceDiscriminatedUnions } from "./helpers/discriminator-utils.js";
 import { getNamespaceFullName, getTypeName } from "./helpers/index.js";
 import { createDiagnostic } from "./messages.js";
@@ -425,7 +425,7 @@ export function createChecker(program) {
                 node: node,
             });
             if (node.constraint) {
-                type.constraint = getTypeForNode(node.constraint);
+                type.constraint = getTypeOrValueTypeForNode(node.constraint);
             }
             if (node.default) {
                 type.default = checkTemplateParameterDefault(node.default, parentNode.templateParameters, index, type.constraint);
@@ -518,7 +518,7 @@ export function createChecker(program) {
         return args;
     }
     function checkTemplateInstantiationArgs(node, args, declarations) {
-        var _a;
+        var _a, _b, _c;
         if (args.length > declarations.length) {
             reportCheckerDiagnostic(createDiagnostic({
                 code: "invalid-template-args",
@@ -538,7 +538,9 @@ export function createChecker(program) {
                 let [valueNode, value] = args[i];
                 if (declaredType.constraint) {
                     if (!checkTypeAssignable(value, declaredType.constraint, valueNode)) {
-                        value = declaredType.constraint;
+                        // TODO-TIM check if we expose this below
+                        value =
+                            ((_a = declaredType.constraint) === null || _a === void 0 ? void 0 : _a.kind) === "Value" ? unknownType : declaredType.constraint;
                     }
                 }
                 values.push(value);
@@ -551,7 +553,11 @@ export function createChecker(program) {
                 }
                 else {
                     tooFew = true;
-                    values.push((_a = declaredType.constraint) !== null && _a !== void 0 ? _a : unknownType);
+                    values.push(
+                    // TODO-TIM check if we expose this below
+                    ((_b = declaredType.constraint) === null || _b === void 0 ? void 0 : _b.kind) === "Value"
+                        ? unknownType
+                        : (_c = declaredType.constraint) !== null && _c !== void 0 ? _c : unknownType);
                 }
             }
         }
@@ -783,6 +789,13 @@ export function createChecker(program) {
         }
         return unionType;
     }
+    function checkValueOfExpression(node, mapper) {
+        const target = getTypeForNode(node.target, mapper);
+        return {
+            kind: "Value",
+            target,
+        };
+    }
     /**
      * Intersection produces a model type from the properties of its operands.
      * So this doesn't work if we don't have a known set of properties (e.g.
@@ -857,10 +870,14 @@ export function createChecker(program) {
         if (links.declaredType) {
             return links.declaredType;
         }
-        if (node.rest && node.type && node.type.kind !== SyntaxKind.ArrayExpression) {
+        if (node.rest &&
+            node.type &&
+            !(node.type.kind === SyntaxKind.ArrayExpression ||
+                (node.type.kind === SyntaxKind.ValueOfExpression &&
+                    node.type.target.kind === SyntaxKind.ArrayExpression))) {
             reportCheckerDiagnostic(createDiagnostic({ code: "rest-parameter-array", target: node.type }));
         }
-        const type = node.type ? getTypeForNode(node.type) : unknownType;
+        const type = node.type ? getTypeOrValueTypeForNode(node.type) : unknownType;
         const parameterType = createType({
             kind: "FunctionParameter",
             node,
@@ -873,6 +890,12 @@ export function createChecker(program) {
         linkType(links, parameterType, mapper);
         return parameterType;
     }
+    function getTypeOrValueTypeForNode(node, mapper) {
+        if (node.kind === SyntaxKind.ValueOfExpression) {
+            return checkValueOfExpression(node, mapper);
+        }
+        return getTypeForNode(node, mapper);
+    }
     function mergeModelTypes(node, options, mapper) {
         const properties = createRekeyableMap();
         const intersection = createType({
@@ -2192,7 +2215,7 @@ export function createChecker(program) {
                 if (doc) {
                     type.decorators.unshift({
                         decorator: $docFromComment,
-                        args: [{ value: createLiteralType(doc) }],
+                        args: [{ value: createLiteralType(doc), jsValue: doc }],
                     });
                 }
             }
@@ -2245,7 +2268,7 @@ export function createChecker(program) {
             return undefined;
         }
         const symbolLinks = getSymbolLinks(sym);
-        const args = checkDecoratorArguments(decNode, mapper);
+        let args = checkDecoratorArguments(decNode, mapper);
         let hasError = false;
         if (symbolLinks.declaredType === undefined) {
             const decoratorDeclNode = sym.declarations.find((x) => x.kind === SyntaxKind.DecoratorDeclarationStatement);
@@ -2256,19 +2279,20 @@ export function createChecker(program) {
         if (symbolLinks.declaredType) {
             compilerAssert(symbolLinks.declaredType.kind === "Decorator", "Expected to find a decorator type.");
             // Means we have a decorator declaration.
-            hasError = checkDecoratorUsage(targetType, symbolLinks.declaredType, args, decNode);
+            [hasError, args] = checkDecoratorUsage(targetType, symbolLinks.declaredType, args, decNode);
         }
         if (hasError) {
             return undefined;
         }
         return {
+            definition: symbolLinks.declaredType,
             decorator: (_a = sym.value) !== null && _a !== void 0 ? _a : ((...args) => { }),
             node: decNode,
             args,
         };
     }
     function checkDecoratorUsage(targetType, declaration, args, decoratorNode) {
-        var _a, _b;
+        var _a;
         let hasError = false;
         const [targetValid] = isTypeAssignableTo(targetType, declaration.target.type, decoratorNode);
         if (!targetValid) {
@@ -2306,13 +2330,18 @@ export function createChecker(program) {
                 }));
             }
         }
+        const resolvedArgs = [];
         for (const [index, parameter] of declaration.parameters.entries()) {
             if (parameter.rest) {
-                const restType = parameter.type.kind === "Model" ? (_b = parameter.type.indexer) === null || _b === void 0 ? void 0 : _b.value : undefined;
+                const restType = getIndexType(parameter.type.kind === "Value" ? parameter.type.target : parameter.type);
                 if (restType) {
                     for (let i = index; i < args.length; i++) {
                         const arg = args[i];
                         if (arg && arg.value) {
+                            resolvedArgs.push({
+                                ...arg,
+                                jsValue: resolveDecoratorArgJsValue(arg.value, parameter.type.kind === "Value"),
+                            });
                             if (!checkArgumentAssignable(arg.value, restType, arg.node)) {
                                 hasError = true;
                             }
@@ -2323,12 +2352,28 @@ export function createChecker(program) {
             }
             const arg = args[index];
             if (arg && arg.value) {
+                resolvedArgs.push({
+                    ...arg,
+                    jsValue: resolveDecoratorArgJsValue(arg.value, parameter.type.kind === "Value"),
+                });
                 if (!checkArgumentAssignable(arg.value, parameter.type, arg.node)) {
                     hasError = true;
                 }
             }
         }
-        return hasError;
+        return [hasError, resolvedArgs];
+    }
+    function getIndexType(type) {
+        var _a;
+        return type.kind === "Model" ? (_a = type.indexer) === null || _a === void 0 ? void 0 : _a.value : undefined;
+    }
+    function resolveDecoratorArgJsValue(value, valueOf) {
+        if (valueOf) {
+            if (value.kind === "Boolean" || value.kind === "String" || value.kind === "Number") {
+                return literalTypeToValue(value);
+            }
+        }
+        return value;
     }
     function checkArgumentAssignable(argumentType, parameterType, diagnosticTarget) {
         const [valid] = isTypeAssignableTo(argumentType, parameterType, diagnosticTarget);
@@ -2366,6 +2411,7 @@ export function createChecker(program) {
             const type = getTypeForNode(argNode, mapper);
             return {
                 value: type,
+                jsValue: type,
                 node: argNode,
             };
         });
@@ -3574,11 +3620,26 @@ export function createChecker(program) {
      */
     function isTypeAssignableTo(source, target, diagnosticTarget) {
         var _a;
+        // BACKCOMPAT: Added May 2023 sprint, to be removed by June 2023 sprint
+        if (source.kind === "TemplateParameter" && source.constraint && target.kind === "Value") {
+            const [assignable] = isTypeAssignableTo(source.constraint, target.target, diagnosticTarget);
+            if (assignable) {
+                const constraint = getTypeName(source.constraint);
+                reportDeprecated(program, `Template constrainted to '${constraint}' will not be assignable to '${getTypeName(target)}' in the future. Update the constraint to be 'valueof ${constraint}'`, diagnosticTarget);
+                return [true, []];
+            }
+        }
         if (source.kind === "TemplateParameter") {
             source = (_a = source.constraint) !== null && _a !== void 0 ? _a : unknownType;
         }
         if (source === target)
             return [true, []];
+        if (target.kind === "Value") {
+            return isAssignableToValueType(source, target, diagnosticTarget);
+        }
+        if (source.kind === "Value") {
+            return [false, [createUnassignableDiagnostic(source, target, diagnosticTarget)]];
+        }
         const isSimpleTypeRelated = isSimpleTypeAssignableTo(source, target);
         if (isSimpleTypeRelated === true) {
             return [true, []];
@@ -3641,6 +3702,19 @@ export function createChecker(program) {
         }
         return [false, [createUnassignableDiagnostic(source, target, diagnosticTarget)]];
     }
+    function isAssignableToValueType(source, target, diagnosticTarget) {
+        if (source.kind === "Value") {
+            return isTypeAssignableTo(source.target, target.target, diagnosticTarget);
+        }
+        const [assignable, diagnostics] = isTypeAssignableTo(source, target.target, diagnosticTarget);
+        if (!assignable) {
+            return [assignable, diagnostics];
+        }
+        if (!isValueType(source)) {
+            return [false, [createUnassignableDiagnostic(source, target, diagnosticTarget)]];
+        }
+        return [true, []];
+    }
     function isReflectionType(type) {
         var _a, _b, _c;
         return (type.kind === "Model" &&
@@ -4160,7 +4234,7 @@ function finishTypeForProgramAndChecker(program, typePrototype, typeDef) {
         if (docComment) {
             typeDef.decorators.unshift({
                 decorator: $docFromComment,
-                args: [{ value: program.checker.createLiteralType(docComment) }],
+                args: [{ value: program.checker.createLiteralType(docComment), jsValue: docComment }],
             });
         }
         for (const decApp of typeDef.decorators) {
@@ -4182,7 +4256,7 @@ function applyDecoratorToType(program, decApp, target) {
     }
     // peel `fn` off to avoid setting `this`.
     try {
-        const args = marshalArgumentsForJS(decApp.args.map((x) => x.value));
+        const args = decApp.args.map((x) => x.jsValue);
         const fn = decApp.decorator;
         const context = createDecoratorContext(program, decApp);
         fn(context, target, ...args);