Type Alias NotAssignable<A, B, $O>

NotAssignable: $Special<
    B,
    {
        $any: $ResolveBranch<$O, [0 extends 1 & A ? $Any : unknown, $Else], A>;
        $else: $Special<
            A,
            {
                $any: $ResolveBranch<$O, [$Any, $Else], A>;
                $else: NotAssignable.$<A, B, $O>;
                $never: $ResolveBranch<$O, [$Never, $Else], A>;
                $unknown: $ResolveBranch<$O, [$Unknown, $Else], A>;
            },
        >;
        $never: $ResolveBranch<
            $O,
            [A, never] extends [never, A] ? [$Never, $Else] : [$Then],
            A,
        >;
        $unknown: $ResolveBranch<
            $O,
            [[A, unknown] extends [unknown, A] ? $Unknown : unknown, $Else],
            A,
        >;
    },
>

🎭 predicate

Validate if A is not assignable to B.]

Type Parameters

A
B
$O extends NotAssignable.$Options = {}

Example

type R = NotAssignable<any, any> // false
type R = NotAssignable<any, 1> // false
type R = NotAssignable<unknown, unknown> // false
type R = NotAssignable<never, never> // false
type R = NotAssignable<1, 1> // false
type R = NotAssignable<'a', 'a'> // false
type R = NotAssignable<'a', 'b'> // true
type R = NotAssignable<'a', string> // false

🔢 customize

Filter to ensure A is not assignable to B.

Example

type R = NotAssignable<any, any, { selection: 'filter' }> // never
type R = NotAssignable<string, number, { selection: 'filter' }> // string

🔢 customize

Use unique branch identifiers to allow precise processing of the result.

Example

type R = NotAssignable<any, any, NotAssignable.$Branch> // $Else

🔢 customize

Override special types branch.

Example

type R = NotAssignable<any, any, { $any: 1 }> // 1
type R = NotAssignable<unknown, any, { $unknown: 1 }> // 1
type R = NotAssignable<never, any, { $never: 1 }> // 1

Type Alias NotAssignable<A, B, $O>

Type Parameters

Example

Example

Example

Example

Settings