Satisfies operator in Typescript - Practice Problems & Coding Challenges

Challenge - 5 Problems

❓ Predict Output

intermediate

What is the output of this code using satisfies operator?

Consider the following TypeScript code using the satisfies operator. What will be logged to the console?

Typescript

const config = {
  host: "localhost",
  port: 8080,
  secure: false
} satisfies { host: string; port: number; secure: boolean };

console.log(config.port);

A 8080

B TypeError at runtime

C "localhost"

D Compilation error

💡 Hint

The satisfies operator checks type compatibility but does not change runtime values.

The satisfies operator ensures the object matches the specified type but does not affect the actual value. The code logs the port number 8080.

❓ Predict Output

intermediate

What error does this code raise?

What error will this TypeScript code produce when using the satisfies operator incorrectly?

Typescript

const user = {
  name: "Alice",
  age: "25"
} satisfies { name: string; age: number };

console.log(user);

A Type error: Type 'string' is not assignable to type 'number'.

B Runtime error: Cannot read property 'name' of undefined

C No error, logs the user object

D Syntax error: Unexpected token 'satisfies'

💡 Hint

Check the type of the age property compared to the expected type.

The satisfies operator enforces that the object matches the type. Here, age is a string but expected to be a number, causing a type error.

🔧 Debug

advanced

Why does this code fail to compile?

This TypeScript code uses the satisfies operator but fails to compile. What is the reason?

Typescript

const settings = {
  theme: "dark",
  notifications: true
} satisfies { theme: string; notifications: boolean; language: string };

console.log(settings);

A Type mismatch: 'notifications' should be a string.

B Missing property 'language' in object but required by type.

C Runtime error: 'settings' is undefined.

D No error, code compiles and logs the object.

💡 Hint

Check if all required properties in the type are present in the object.

The satisfies operator requires the object to have all properties of the type. 'language' is missing, causing a compile error.

🧠 Conceptual

advanced

What is the main benefit of the satisfies operator?

Which statement best describes the main benefit of using the satisfies operator in TypeScript?

A It removes properties from an object at compile time.

B It converts a variable to a different type at runtime.

C It narrows the type of a variable without changing its runtime value.

D It forces a variable to be readonly at runtime.

💡 Hint

Think about how satisfies affects type checking versus runtime behavior.

The satisfies operator checks that a value matches a type but does not change the value or its runtime behavior.

❓ Predict Output

expert

What is the type of 'data' after this assignment?

Given the following TypeScript code using the satisfies operator, what is the inferred type of the variable data?

Typescript

const data = {
  id: 1,
  name: "Item",
  tags: ["a", "b"]
} satisfies Readonly<{ id: number; name: string; tags: string[] }>;

// What is the type of 'data' here?

A "data" is a mutable object with no type constraints.

B "data" is of type Readonly<{ id: number; name: string; tags: string[] }> with all properties readonly.

C "data" is of type any because satisfies removes type information.

D "data" is of type { id: number; name: string; tags: string[] } but readonly properties are not enforced.

💡 Hint

The satisfies operator checks compatibility but does not change the inferred type or readonly status.

The satisfies operator ensures the object matches the type but does not make the variable readonly. The inferred type is the object literal type, not readonly.

Practice

1.

What does the satisfies operator do in TypeScript?

easy

A. Creates a new type from existing types

B. Converts a value to a different type

C. Removes properties from an object

D. Checks if a value matches a type without changing the value

Solution

1. Step 1: Understand the purpose of satisfies

   The satisfies operator checks if a value fits a type but keeps the original value unchanged.

2. Step 2: Compare with other type operations

   Unlike type conversion or creating new types, satisfies only verifies compatibility without altering the value.

3. Final Answer:

   Checks if a value matches a type without changing the value -> Option D

4. Quick Check:

   satisfies = type check only [OK]

Hint: Remember: satisfies checks type but keeps original value [OK]

Common Mistakes:

• Thinking it converts or changes the value
• Confusing it with type casting
• Assuming it removes object properties

2.

Which of the following is the correct syntax to use the satisfies operator in TypeScript?

const data = { name: "Alice", age: 30 } ___ Person;

easy

A. :

B. as

C. satisfies

D. implements

Solution

1. Step 1: Recall the syntax of satisfies

   The satisfies operator is used between the value and the type like: value satisfies Type.

2. Step 2: Identify the correct operator in the code

   In the example, the blank should be filled with satisfies to check the type without changing data.

3. Final Answer:

   satisfies -> Option C

4. Quick Check:

   Syntax uses satisfies keyword [OK]

Hint: Use 'satisfies' keyword between value and type [OK]

Common Mistakes:

• Using ':' which is for type annotations
• Using 'as' which is for type assertions
• Using 'implements' which is for classes

3.

What will be the output of this TypeScript code?

type Person = { name: string; age: number };

const user = {
  name: "Bob",
  age: 25,
  city: "Paris"
} satisfies Person;

console.log(user.city);

medium

A. "Paris"

B. Error: Property 'city' does not exist on type 'Person'

C. undefined

D. null

Solution

1. Step 1: Understand what satisfies does to the object

   The satisfies operator checks that user matches Person type but keeps all original properties, including city.

2. Step 2: Check the console.log output

   Since user still has city, logging user.city prints "Paris" without error.

3. Final Answer:

   "Paris" -> Option A

4. Quick Check:

   satisfies keeps extra properties [OK]

Hint: Extra properties stay accessible with satisfies [OK]

Common Mistakes:

• Assuming satisfies removes extra properties
• Expecting a type error on extra properties
• Confusing satisfies with type assertion

4.

Identify the error in this TypeScript code using satisfies:

type Config = { port: number; host: string };

const serverConfig = {
  port: "8080",
  host: "localhost"
} satisfies Config;

medium

A. Type error: 'port' should be a number, not a string

B. No error, code is correct

C. Syntax error: 'satisfies' cannot be used here

D. Runtime error: 'host' is missing

Solution

1. Step 1: Check the type of each property in serverConfig

   The port property is a string "8080" but Config expects a number.

2. Step 2: Understand what satisfies checks

   satisfies verifies type compatibility and will raise a type error because of the wrong type for port.

3. Final Answer:

   Type error: 'port' should be a number, not a string -> Option A

4. Quick Check:

   Type mismatch causes error with satisfies [OK]

Hint: Check property types carefully with satisfies [OK]

Common Mistakes:

• Ignoring type mismatch on properties
• Thinking satisfies changes the value type
• Assuming no error if extra properties exist

5.

You want to create a constant object settings that must have theme as a string and notifications as a boolean. You also want to keep extra properties without losing their types. Which code correctly uses satisfies to achieve this?

hard

A. const settings = { theme: "dark", notifications: true, version: 2 } as { theme: string; notifications: boolean };

B. const settings = { theme: "dark", notifications: true, version: 2 } satisfies { theme: string; notifications: boolean };

C. const settings: { theme: string; notifications: boolean } = { theme: "dark", notifications: true, version: 2 };

D. const settings = { theme: "dark", notifications: true, version: 2 };

Solution

1. Step 1: Understand the goal

   You want settings to be checked against a type but keep extra properties like version with their types intact.

2. Step 2: Compare options

   const settings = { theme: "dark", notifications: true, version: 2 } satisfies { theme: string; notifications: boolean }; uses satisfies which checks the required properties but keeps extra ones with full types. const settings: { theme: string; notifications: boolean } = { theme: "dark", notifications: true, version: 2 }; uses type annotation which drops extra properties. const settings = { theme: "dark", notifications: true, version: 2 } as { theme: string; notifications: boolean }; uses type assertion which forces the type and may lose extra property types. const settings = { theme: "dark", notifications: true, version: 2 }; has no type checking.

3. Final Answer:

   const settings = { theme: "dark", notifications: true, version: 2 } satisfies { theme: string; notifications: boolean }; -> Option B

4. Quick Check:

   satisfies keeps extra properties typed [OK]

Hint: Use satisfies to keep extra properties typed safely [OK]

Common Mistakes:

• Using type annotation and losing extra properties
• Using type assertion and ignoring type safety
• Not checking required properties at all