Runtime mismatch with Intersection & Extends

[jonasi]

Extend at runtime doesn't seem to match its inferred type (nor typescript).

Here's a simple example:

import { Type, type Static } from '@sinclair/typebox';

const T = Type.Intersect([
    Type.Object({
        str: Type.String(),
    }),
    Type.Object({
        num: Type.Number(),
    }),
]);

type T = Static<typeof T>;
type R1 = T extends T ? true : false;

const R2 = Type.Extends(T, T, Type.Literal(true), Type.Literal(false));
type R2 = Static<typeof R2>;

const assertTrue1: R1 = true; // passes
const assertTrue2: R2 = true; // passes
if (!R2.const) {
    throw new Error(`oh no ${ R2.const.toString() }`);
}